深入理解计算机系统 练习题2.26-无符号计算产生的问题

现在给你一个任务,写一个函数用来判定一个字符串是否比另一个更长。前提是你要用字符串库函数strlen(),它的声明如下:

size_t strlen(const char *s);

 

int strlonger(char * s, char * t)

{

  return strlen(s)-strlen(t)>0;

}

 

当你在一些示例上测试这个函数时,一切似乎都是正确的。进一步研究发现在头文件stdio.h中数据类型size_t是定义成unsigned int的。

A.在什么情况下,这个函数会产生不正确的结果?

B.解释为什么会出现这样不正确的结果?

C.说明如何修改这段代码好让它能可靠地工作。

+++++++++++++++++++++++++++++++++++++++++++++++++++

分析:

size_t 被解释成了unsigned int时,在进行无符号计算时就要特别小心,尤其是当出现负数结果时,无符号计算可不这么觉得。

对于无符号计算来说,世上可没有负数的结果,它会把任何得到的位模式解释成无符号数。

 

所以很明显,当s字符串的长度strlen1小于t字符串的长度strlen2时。

strlen1-strlen2应当是负数,这来人看来是理所当然的事;

但是无符号计算可不这么觉得;如果结果是负数,那么就会根据无符号数的方式解释器补码,是一个很大的正数。然后正数是大于0,不等式成立,函数就会返回逻辑True。

这就导致函数结果出错。

修改一下return表达式即可,原则就是避免无符号计算

修改后的表达式:return strlen(s)>strlen(t);

 

总结:

可以发现,有符号数到无符号数隐式强制转换导致了一些非直观的行为。

这些非直观的特性经常导致程序错误,并且这种包含隐式强制类型转换的细微差别的错误很难被发现。

所以我们要避免隐式强制类型转换,尽量不去用它,就不会犯错。

如果非要用到它时,更需要注意可能产生的一些非直观特性。

建议就是不使用无符号数计算。

当然无符号数还是有它的使用场景的,例如一些非数学计算场合。

往一个字里放入描述各种布尔条件的位标记时。

地址也是无符号数表示的。

原文地址:https://www.cnblogs.com/grooovvve/p/10324130.html