基本知识见和, 已经说得很清楚,不过是洋文,简单归纳一下:

(1), 定义语法:类型 标志符(optional) : 常量表达式

(2), 类型必须为unsigned, signed int 或者int, 常量表达式的值不能为负且不能超过类型能够表示的范围;

(3), 不允许出现位域数组,指向位域的指针(&运算符)和以位域为返回值的函数;

(4), 没有标志符的位域不能被引用,且长度为0时编译器保证下一个位域从下一个存储单元开始存放(一般为int的长度);

 

一些讨论:

1,类型

虽 然很多书上都说位域的类型只能为unsigned和int,但是在编译器里实践一下就会发现只要是整型(char, long)都可以作为位域的类型,只要冒号后面定义的常量数值不大于此类型能够表示的范围。从文档看这个是微软对ANSI C标准的扩充(Microsoft Specific),不过我还没有在Linux平台下面进一步实践以验证。

 

2,长度

看到很多博客上写道"位域的长度不能大于一个字节的长度,也就是说不能超过8位二进位"。如上所述,只要长度不超过类型可以表示的范围都是正确的。另外一点就是关于unsigned的问题,对于下面的代码,

typedef  struct  tag
{

        
 char  hour :  4 ;
        unsigned second : 
 6 ;
        unsigned minute : 
 6 ;
}Time;

printf(
 " %d\n "  sizeof (Time));

在gcc下的输出是4,在vc下的输出是8。

原 因是gcc把unsigned类型当成unsigned short来处理,Time.hour和Time.second共同占用一个unsigned short单元,minute独占一个unsigned short单元,再加上对其所需的空白,总共是2个unsigned short, 则sizeof为4。

而VC把位域的unsigned类型当做unsigned int,所以Time占用2个unsigned int,sizeof值为8。

 

3,示例

下面是一段在论坛上发现的代码,

union 
{
    
 struct  
    {
        
 char  a :  1 ;
        
 char  b :  2 ;
        
 char  c :  3 ;
    }d;

    
 char  e;
}f;

f.e 
=   1 ;
printf(
 " %d\n " , f.d.a);

Intel x86的机器是按little-endian的字节顺序存储数据(点击for详细),所以d中的位域在内存中放置顺序为 cccbba ,

当执行完 f.e = 1 这条语句后,d的最低有效位(及位域a)的值为1。

这时我就出现了疑问,为什么打印的最后结果是-1而不是1?

不过最后终于解决了这个问题,因为位域a定义的类型是signed char,是一个有符号数,所以尽管a只有1位,还是要进行符号扩展。1是做为补码存在,加一再取反就得到值-1。

如果将a的类型定义为unsigned char即可得到结果为1。