c对同时包含有符号和无符号数表达式的处理是将有符号参数强制转换为无符号数,并假设两个数都是非负的来执行这个运算。
先看一个简单的例子:
-1<0U;
对int型的-1来说,其二进制编码为32个1,转换为unsigned型则表示十进制4294967295所以最后的结果是0,这就跟直觉不符。
有符号数到无符号数的隐式强制类型转换会导致与直觉不相符的行为,这样的错误很难被发现,主要是隐式转换是看不到的。
我们再来看看书上给的另外一个例子:
float sum_elements(float a[],unsigned length)
{
int i;
float result = 0;
for(i=0;i<=length-1;i++)
result +=a[i];
return result;
}
这段程序存在一个bug,当运行参数等于0,这段代码应该返回0.0.但实际上会遇到存储器错误。
实际运行时会得到Access Violation错误,意味着你的程式正在试图访问一块不再有效的内存。
因为unsigned为0时,再减去1得到的是unsigned类型的最大值,那么i就要遍历0到1....1显然我们数组并没有那么多元素,所以程序就会去访问根本不存在的数组元素,这样一来就会报错。
所以为避免类似的错误,养成不使用unsigned变量的习惯即可。这也是很多语言不支持无符号数的原因。