首页 > 编程 > C > 正文

解析C语言中位字段内存分配的问题

2020-01-26 16:13:45
字体:
来源:转载
供稿:网友

C语言的位字段是个比较有意思的特性。它的目的是在一个机器字中保存多个对象(每个对象占据若干bit),从而节省内存资源,同时又避免复杂的位运算。在此不再讨论位字段的具体语法,下面将研究位字段的存储特性。

先说含有多个字段(field)的字(word)所占空间的规律――含有多个字段的字的大小是所有字段的类型中的最长的那个的倍数。但要确定究竟是最长类型的几倍则比较复杂,这要看是否需要考虑类型对齐问题(即一个字段能否跨越两个最长类型)。

例1:

struct word {
char  field1 : 1;
char  field2 : 2;
int     field3 : 4;
};

前两个字段都是char类型,第三个是int类型,所有类型中最长的是int类型。所以字的大小是int类型长度(即4字节)的倍数。而size of word的结果是4字节(即int的1倍),这是因为word的三个字段总共7位(1+2+4),小于int的32位,且不需 考虑类型对齐问题。

例2:

struct word {
char  field1 : 1;
char  field2 : 2;
int     field3 : 30;
};

与上例一样, 所有 类型中最长的是 int类型。所以字的大小是int类型长度(即4字节)的倍数。而size of word的结果是8字节(即int的2倍),这是因为word的三个字段总共33位(1+2+30),需要两个int的64位才能装下, 且不需 考虑类型对齐问题。

例3:

struct word {
char  field1 : 3;
char  field2 : 6;
char  field3 : 3;
};

所有 类型中最长的是 char类型。所以字的大小是char类型长度(即1字节)的倍数。在linux下size of word的结果是3字节(即char的3倍)。如果只考虑word的三个字段总共12位(3+6+3),需要两个char的16位即能装下,但是在linux的gcc实现下,第二个字段不能跨越两个char(为了对齐),所以三个字段各占一个字节。共3字节。但 一个字段能否跨越两个最长类型是由具体的实现决定的。

其次,我们讨论word内各个field的存储,这个和具体的实现有关。有的是从左向右分配的,有的是从右向左分配的。这个没有规律可言。

最后,对word中的field不能进行取地址操作,这是因为指针需要对齐。但可以对word进行取地址操作。

发表评论 共有条评论
用户名: 密码:
验证码: 匿名发表

图片精选