第10章 结构和联合

聚合数据类型（aggregate data type）能够同时存储超过一个的单独数据。C提供了两种类型的聚合数据类型：数组和结构。
和数组名不同，当一个结构变量在表达式中使用时，它并不被替换成一个指针。结构变量也无法使用下标来选择特定的成员。
结构变量属于标量类型，所以你可以像对待其他标量类型那样执行相同类型的操作。结构也可以作为传递给函数的参数，它们也可以作为返回值从函数返回，相同类型的结构变量相互之间可以赋值。你可以声明指向结构的指针，取一个结构变量的地址，也可以声明结构数组。

有两种定义和声明结构的方式：
（1）使用标签字段定义结构并声明，例如：

struct SIMPLE{
	int a;
	char b;
	float c;
}

struct SIMPLE x; // 声明时必须带有关键字struct
struct SIMPLE y[20], *z;

（2）使用typedef定义结构并声明，例如：

typedef struct{
	int a;
	char b;
	float c;
} Simple;
Simple x; // Simple现在是类型名 而不是结构体
Simple y[20], *z;

结构中可以包含自身结构的指针作为其成员，例如：

struct SELF_REF{
	int a;
	struct SELF_REF *b;
	int c;
}

更加高级的数据结构，如链表和树，都是用这种技巧实现的。每个结构指向链表的下一个元素或树的下一个分支。
而以上内容的typedef表达，则为：

typedef struct SELF_REF_TAG{
	int a;
	struct SELF_REF_TAG *b;
	int c;
} SELF_REF;

使用不完整声明，来表示两个有交互的结构，例如：

struct B;
struct A{
	struct B *partner;
	// 其他声明
};
struct B{
	struct A *partner;
	// 其他声明
};

具体相同成员列表的结构声明产生不同类型的变量。需要通过结构标签来区别结构类型。

结构的初始化方式和数组的初始化很相似。一个位于一对花括号内部、由逗号分隔的初始值列表可用于结构各个成员的初始化。如果初始列表的值不够，剩余的结构成员使用缺省值进行初始化。结构中如果包含数组或结构成员，其初始化方式类似于多维数组的初始化。例如：

struct INIT_EX{
	int a;
	short b[10];
	Simple c;
} x = {
	10,
	{1,2,3,4,5},
	{25, 'x', 1.9}
};

如果px是一个指向结构数组的元素，表达式px+1将指向该数组的下一个结构。但就算如此，这个表达式仍然是非法的，因为我们没办法分辨内存下一个位置所存储的是这些结构元素之一还是其他东西。
比较表达式px和px->a，其中px所保存的地址都用于寻找这个结构。但结构的第1个成员是啊，所以a的地址和结构的地址是一样的。这样px看上去是指向整个结构，同时指向结构的第1个成员。但是尽管两个的地址值是相等的，但它们的类型不同。变量px被声明为一个指向结构的指针，所以表达式px的结果是整个结构，而不是它的第1个成员。
正确的获得结构第一个元素的地址的表达方式为：

pi = &px->a; // ->操作符的优先级高于&

系统禁止编译器在一个结构的起始位置跳过几个字节来满足边界对齐要求，因此所有结构的起始存储位置必须是结构中边界要求最严格的数据类型所要求的位置。
你可以在声明中对结构的成员列表重新排列，让那些对边界要求最严格的成员首先出现，对边界要求最弱的成员最后出现。这种做法可以最大限度地减少因边界对齐而带来的空间损失。 例如：

struct ALIGN{
	int b;
	char a;
	char c;
}; 

当程序将创建几百个甚至几千个结构时，减少内存浪费的要求就比程序的可读性更为急迫。在这种情况下，在声明中增加注释可能避免可读性方面的损失。
sizeof操作符能够得出一个结构的整体长度，包括因边界对齐而跳过的那些字节。如果你必须确定结构某个成员的实际位置，应该考虑边界对齐因素，可以使用offsetof宏（定义于stddef.h），

offsetof(type, member)

type就是结构的类型，member就是你需要的那个成员名。表达式的结果是一个size_t值，表示这个指定成员开始存储的位置距离结构开始存储的位置偏移几个字节。例如

offsetof(struct ALIGN, a)

其返回值为4。

把结构作为参数传递给一个函数是合法的，但这种做法并不适宜。向函数传递一个结构的指针是更合适的方法。但向函数传递指针的缺陷在于函数现在可以对调用程序的结构变量进行修改。如果我们不希望如此，可以在函数中使用const关键字来防止这类修改。例如：

void print_receipt(Transaction const *trans);

位段的声明和结构类似，但它的成员是一个或多个位的字段。这些不同长度的字段实际上存储于一个或多个整型变量中。位段的声明和任何普通的结构成员声明相同，但有两个例外。首先，位段成员必须声明为int、signed int或unsigned int类型，其次，在成员名后面是一个冒号和一个整数，这个整数指定该位段所占用的位的数目。
注重可移植性的程序应该避免使用位段。

联合的声明和结构类似，但它的行为方式却和结构不同。联合的所有成员引用的是内存中的相同位置。当你想在不同的时刻把不同的东西存储于同一个位置时，就可以使用联合。
如果联合的各个成员具有不同的长度，联合的长度就是它最长成员的长度。