走马观花ANSI C标准-类型表示

八月 19, 2005

0 条评论

类型表示(representation of types)

1、一般规则
a) 除了位域(bit field)之外的对象都是由一个或多个相邻序列字节组成的，这些字节的个数(number)、次序(order)和编码方式或是显式说明的，或是实现定义的。

b) 存储在非符号位域(unsigned bit field)和unsigned char类型对象中的值应该用纯二进制表示(pure binary notation)。(这里就可以理解为符号位当作普通二进制位看)

c) 存储在非位域的其他类型对象的值由n字节组成，这个值可以被拷贝到一个unsigned char[n]类型的对象中去。[注1]

2、整型
a) 对于无符号整型(而不是unsigned char)，用于表示对象的位应分为两组：值位(value bits)和补充位(padding bits)。补充位的值是不确定的。

b) 对于有符号整型，用于表示对象的位应分为三组：值位(value bits)和补充位(padding bits)和符号位(sign bit)。这种类型应恰好有一位符号位，补充位不必要。

c) 整型的精度是指用来表示对象值所用的bit位数，不包括符号位和补充位。整型的宽度也是指用来表示对象值所用的bit位数，但它包含符号位。对于unsign整型来说其精度和宽度是相同的。

3、兼容类型(compatible type)和复合类型(composite type)
在平时的C语言使用中，我们几乎没提到过这两个概念，这里对这两个概念作简单解释：
兼容类型用来在不同翻译单元间检查类型兼容性；
复合类型产生的原因是由于这样的情况“在同一namespace和同一scope中，同一个标识符的声明不止一个”。

E.G.
void f();
void f(int p1[], const int p2, float * p3);
void f(int p1[2], int p2, float * p3);
Composite type is: void f(int p1[2], int p2, float *p3);

如果两个类型相同，则两个类型兼容。在这一规则背后隐藏着的含义是“兼容类型总是有着相同的表示(representation)和对齐(alignment)需求”。
关于兼容类型，标准中说了不少，不过觉得在使用时对之少有问津，所以到这就“浅尝辄止”了:)。

[注1]
也是由于这点，下面这个函数工作良好。
void dump_mem(const void *p, size_t size) {
unsigned char *c = (unsigned char*)p;
size_t i;

YOUR_ASSERT(p != NULL);

        for (i = 0; i < size; i++) {
                printf("%02X ", c[i]);
        }

printf("\t|");

        for (i = 0; i < size; i++) {
               if(isprint(c[i])) {
                    printf("%c ", c[i]);
               }
        }
        printf("\n");
}

用法：
int i = 0×45674142;
dump_mem(&i, sizeof(i));

输出：
42 41 67 45 |B A g E /* 在WinXP , MingW Gcc3.4.2 */
45 67 41 42 |E g A B /* 在Solaris, Gcc3.2 */