关于有符号数到无符号数的强制转换导致的一些问题

有符号数到无符号数的隐式类型强制转换导致了某些非直观性的行为。这些非直观性的行为经常导致程序错误。

并且这种错误很难被发现。

比如下列代码

    // 1020.2.cpp : 定义控制台应用程序的入口点。

//


#include "stdafx.h"
#include<stdio.h>


float sun_elements(float a[],unsigned length)
{
int i;
float result=0;
for(i=0;i<=length-1;i++)
result+=a[i];
return result;
}
int main()
{
float a[]={1,2};
float x=sun_elements(a,0);
printf("%f",x);

}

在vs中运行，程序报错

float x=sun_elements(a,0);这一行调用了我们定义的函数

由于0是无符号类型的数据，0-1那么无符号数减去有符号数，系统会隐式地转换为无符号类型

-1=0xff ff ff ff

0-1=0xff ff ff ff=4294967295.

这产生了数组越界，访问不该访问的内存空间

产生了段错误

这是gdb调试的结果