C语言sizeof陷阱

执行以下程序，查看输出：

#include <stdio.h>

#define TOTAL_ELEMENTS (sizeof(array) / sizeof(array[0]))

int array[] = {23,34,12,17,204,99,16};

int main()

{

    int d;

 

    for(d=-1;d <= (TOTAL_ELEMENTS-2);d++)

        printf("%d\n",array[d+1]);

 

    return 0;

}

执行结果：

根据运行的结果显示可以看出，没有任何信息输出。

原因：

这里得注意一点的是，sizeof操作符的返回值。

sizeof乃C/C++中的一个操作符（operator）是也，简单的说其作用就是返回一个对象或者类型所占的内存字节数。
MSDN上的解释为：
The sizeof keyword gives the amount of storage, in bytes, associated with a variable or a type (including aggregate types). 
This keyword returns a value of type size_t.
其返回值类型为size_t，在头文件stddef.h中定义。这是一个依赖于编译系统的值，一般定义为
     typedef unsigned int size_t;

所以sizeof返回的是一个无符号整型数。在该题中，d = -1 在和一个无符号整型数进行比较的时候，d会被转换为一个无符号整型数，然后在进行比较。我们知道，-1转换为无符号整型数之后（0xffffffff）会是一个非常大的整数，所以当和数组大小（TOTAL_ELEMENTS-2）进行比较时，-1比较“大”。不满足循环条件，所以没有输出。

 

sizeof的一些基本知识：

sizeof计算对象的大小也是转换成对对象类型的计算，也就是说，同种类型的不同对象其sizeof值都是一致的。这里，对象可以进一步延伸至表达式，即sizeof可以对一个表达式求值，编译器根据表达式的最终结果类型来确定大小，一般不会对表达式进行计算。如：
sizeof( 2 );// 2的类型为int，所以等价于 sizeof( int );
sizeof( 2 + 3.14 ); // 3.14的类型为double，2也会被提升成double类型，所以等价于 sizeof( double );

 

详细的资料请查看：http://www.cnblogs.com/Robotke1/archive/2013/05/14/3077419.html