基本知识见和, 已经说得很清楚，不过是洋文，简单归纳一下：
(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。