Ｃ 语言的一些细节

一. 关于数组名
    int a[10];
    数组名 a 的类型为"指向 int 的常量指针"，a 的值是一个指针常量。
    但有两种例外：
    1. 数组名作为 sizeof 操作符的操作数时，sizeof 返回整个数组的长度，而不是指向数组的指针的长度。

    2. 数组名作为单目运算符 & 的操作数时，也就是说取该数组名的地址，产生的是一个指向数组的指针，而不是指向一个指向某个指针常量值的指针。

    所以：

    int a[10];

    printf("%d\r\n", sizeof a);    /* 输出 40 */

    printf("%x\r\n", a);

    printf("%x\r\n", &a);             /* 与前一行的输出相同 */

二. 类型提升

    C 语言的类型提升众所周知，当操作符的操作数类型不一致时，会发生类型转换。其实，C 语言中的类型转换要更广泛。在涉及类型小于 int 或 double 的表达式中，都可能出现类型转换。以下述代码为例：

    printf("%d\r\n", sizeof 'A'); 

    输出的结果是 4!

    在 K&R C 中，有如下描述：

    "在表达式中，每个 char 都被转换为 int... 注意所有位于表达式中的 float 都被转换为 double... 由于函数参数也是一个表达式，所以当参数传递给函数时也会发生类型转换。具体的说，char 和 short 转换为 int，而 float 转换为 double。"

    这个特性被称为类型提升。而 ANSI C 延续了这一概念，但同时也表示，在计算表达式的结果时，如果编译器能够保证运算结果一致，也可以省略类型提升。

    另一个会发生隐式类型转换的地方就是参数传递。在 K&R C 中，由于函数的参数也是表达式，所以也会发生类型提升。在 ANSI C 中，如果使用了适当的函数原型，类型提升就不会发生，否则也会发生。在被调用函数的内部，提升后的参数被裁减为原先声明的大小。

    这就是为什么单个的 printf() 格式字符串 %d 能适用于几个不同类型，包括 short、char 和 int，而不管实际传递的是上述类型中的哪一个。printf() 从堆栈中(或者寄存器中)取出的参数总是 int 类型，并在 printf() 或其它被调用函数里按统一的格式处理。

    隐式类型转换 & 类型提升，起源于简化最初的编译器的想法。把所有的操作数转换为统一的长度可以极大简化代码的生成。这样，压到堆栈中的参数都是同一长度的，所以运行时系统只需知道参数的数目，而不需要知道它们的长度。