浅谈C语言中的联合体

联合体union

当多个数据须要共享内存或者多个数据每次仅仅取其一时。能够利用联合体(union)。在C Programming Language 一书中对于联合体是这么描写叙述的：

1)联合体是一个结构；

2)它的全部成员相对于基地址的偏移量都为0；

3)此结构空间要大到足够容纳最"宽"的成员；

4)其对齐方式要适合当中全部的成员；

以下解释这四条描写叙述：

因为联合体中的全部成员是共享一段内存的。因此每一个成员的存放首地址相对于于联合体变量的基地址的偏移量为0。即全部成员的首地址都是一样的。

为了使得全部成员可以共享一段内存，因此该空间必须足够容纳这些成员中最宽的成员。对于这句“对齐方式要适合当中全部的成员”是指其必须符合全部成员的自身对齐方式。

以下举例说明：

如联合体

union U
{
    char s[9];
    int n;
    double d;
};

s占9字节，n占4字节，d占8字节。因此其至少需9字节的空间。然而事实上际大小并非9，用运算符sizeof測试其大小为16.这是由于这里存在字节对齐的问题，9既不能被4整除。也不能被8整除。因此补充字节到16，这样就符合全部成员的自身对齐了。

从这里能够看出联合体所占的空间不仅取决于最宽成员。还跟全部成员有关系。即其大小必须满足两个条件：1)大小足够容纳最宽的成员；2)大小能被其包括的全部基本数据类型的大小所整除。

測试程序：

/*測试联合体  2011.10.3*/

#include <iostream>
using namespace std;

union U1
{
    char s[9];
    int n;
    double d;
};

union U2
{
    char s[5];
    int n;
    double d;
};

int main(int argc, char *argv[])
{
    U1 u1;
    U2 u2;
    printf("%d\n",sizeof(u1));
    printf("%d\n",sizeof(u2));
    printf("0x%x\n",&u1);
    printf("0x%x\n",&u1.s);
    printf("0x%x\n",&u1.n);
    printf("0x%x\n",&u1.d);
    u1.n=1;
    printf("%d\n",u1.s[0]);
    printf("%lf\n",u1.d);
    unsigned char *p=(unsigned char *)&u1;
    printf("%d\n",*p);
    printf("%d\n",*(p+1));
    printf("%d\n",*(p+2));
    printf("%d\n",*(p+3));
    printf("%d\n",*(p+4));
    printf("%d\n",*(p+5));
    printf("%d\n",*(p+6));
    printf("%d\n",*(p+7));
    return 0;
}

输出结果为：

16

8

0x22ff60

0x22ff60

0x22ff60

0x22ff60

1

0.000000

1

0

0

0

48

204

64

0

请按随意键继续. . .

对于sizeof(u1)=16。由于u1中s占9字节。n占4字节。d占8字节，因此至少须要9字节。其包括的基本数据类型为char。int，double分别占1。4，8字节，为了使u1所占空间的大小能被1，4，8整除。则需填充字节以到16。因此sizeof(u1)=16.

对于sizeof(u2)=8。由于u2中s占5字节。n占4字节，d占8字节，因此至少须要8字节。其包括的基本数据类型为char，int，double分别占1，4，8字节。为了使u2所占空间的大小能被1，4，8整除，不需填充字节，由于8本身就能满足要求。因此sizeof(u2)=8。

从打印出的每一个成员的基地址能够看出。联合体中每一个成员的基地址都同样。等于联合体变量的首地址。

对u1.n=1，将u1的n赋值为1后，则该段内存的前4个字节存储的数据为00000001 00000000 00000000 00000000

因此取s[0]的数据表示取第一个单元的数据，其整型值为1。所以打印出的结果为1.

至于打印出的d为0.000000愿意例如以下。因为已知该段内存前4字节的单元存储的数据为00000001 00000000 00000000 00000000，从上面打印结果48，204，64，0能够知道后面4个字节单元中的数据为00110000 11001100 01000000 00000000。因此其表示的二进 制浮点数为

00000000 01000000 11001100 00110000 00000000 00000000 00000000 00000001

对于double型数据，第63位0为符号位，62-52 00000000100为阶码，0000 11001100 00110000 00000000 00000000 00000000 00000001为尾数，依据其值知道尾数值约为0，而阶码为4-1023=-1019。因此其表示的浮点数为1.0*2^(-1019)=0.00000000000......。因此输出结果为0.000000。

作者：海子

　　　　

出处：http://www.cnblogs.com/dolphin0520/