C语言--第十章 结构和联合
10.1 结构体基础知识
聚合数据类型能够同时存储一个以上的单独数据。C语言提供了两种聚合数据类型:数组和结构。数组是一些相同类型元素的集合。结构也是一些值的集合,这些值统称为成员,但一个集合的各个成员可能具有不同的类型。
10.1.1 结构声明
在声明结构时,必须列出它包含的所有成员,这个列表包括每个成员的类型和名字。
struct tag
{
member-list;
}variable-list;
例如:
struct Peo
{
int a;
char b;
float c;
}x;
这个声明创建了x变量,它包含三个成员:a,b,c。
但是我们更多的是用以下方式创建结构体变量:
struct Peo
{
int a;
char b;
float c;
};
int mian()
{
struct Peo p1;
struct Peo p2;
}
声明结构体还可以用typedef创建一种新的类型,例如:
typedef struct
{
int a;
char b;
float c;
}Simple;
则后续变量的创建可以写成下面的样子,而不需要再写完整的结构体声明。:
Simple p1;
Simple p2;
10.1.2 结构成员
在结构体中,结构成员可以是标量,数组,指针或者其他结构体。
struct COMPLEX
{
float f;
int a[20];
long *lp;
struct Peo p;
struct Peo sa[10];
}
一个结构的成员名字可以和其他结构的成员名字相同,并不会产生冲突。
10.1.3 结构成员的直接访问
结构变量的成员是通过点操作符(.)访问的。点操作符接受两个操作数左操作数就是结构变量的名字;右操作数就是需要访问的成员的名字。例如:
struct COMPLEX comp;
comp.a结果就是a这个数组名,comp.s的结果就是结构名;comp.s.a就是结构comp的成员s的成员a。comp.sa[4].c,sa是个数组名,所以comp.sa就是个数组名,comp.sa[4]选择一个数组元素,但该元素本身也是一个结构,comp.sa[4].c就是取该结构元素的成员之一。
10.1.4 结构成员的间接访问
如果你拥有一个指向结构的指针,该如何访问这个结构的成员呢?首先就是对指针执间接访问操作,从而获得这个结构。然后再使用点操作符访问它的成员。但是,点操作符的优先级高于间接访问操作符,所以必须在表达式中使用括号,确误间接访问首先执行。举个例子,假定一个函数的参数是个指向结构的指针,如下面的原型所示:
void func(struct COMPLEX *cp);
函数可以使用下面的表达式来访问该变量所指向的结构的成员:
(*cp).f
对指针执行间接访问将访问结构,然后点操作符访问一个成员。
由于这个概念有点惹人厌,因此C语言提供了一个更为方便的操作符来完成这项工作——箭头操作符。和点操作符一样,简头操作符接受两个操作数,但左操作数必须是一个向结构的指针。箭头操作符对左操作数执行间接访问取得指针所指向的结构,然后和点操作符一样。根据右操作数选择一个指定的结构成员。但是,问接访问操作内建于箭头操作符中,所以不需要是式地执行间接访问或使用括号。这里有一些例子,它们像前面一样使用同一个指针。
cp->f
cp->a
cp->s
第1个表达式访问结构的浮点数成员,第2个表达式访问一个数组名,第3个表达式则访问一个结构。
10.1.5 结构自引用
struct SELF_REF1
{
int a;
struct SELF_REF1 b;
int c;
}
这种类型的自引用是非法的,成员b是另一个完整的结构,其内部还包含它自己的成员b,第二个成员又是另一个完整的结构,它还将包括自己的成员b,如此周而复始,所以是不合法的。但下面的这个却是合法的:
struct SELF_REF2
{
int a;
struct SELF_REF2 *b;
int c;
}
这个和之前的声明区别在于b现在是一个指针而不是结构,编译器在知道结构的长度之前就知道了指针的长度。
10.1.6 结构的初始化
结构的初始化方式和数组的初始化很相似。一个位于一对花括号内部、由逗号分隔的初始值列表可用于结构中各个成员的初始化。这些值根据结构成员列表的顺序写出。如果初始列表的值不够,剩余的结构成员将使用缺省值进行初始化。
结构中如果包含数组或结构成员,其初始化方式类似于多维数组的初始化。一个完整的聚合类型成员的初始值列表可以嵌套于结构的初始值列表内部。这里有一个例子:
struct INIT_EX
{
int a;
short b[10];
Simple c;
}x={10,{1,2,3,4,5},{25,'x',1.9}}
10.2 作为函数参数的结构
直接上代码:
struct S
{
int data[1000];
int num;
};
struct S s = {{1,2,3,4}, 1000};
//结构体传参
void print1(struct S s)
{
printf("%d\n", s.num);
}
//结构体地址传参
void print2(struct S* ps)
{
printf("%d\n", ps->num);
}
int main()
{
print1(s); //传结构体
print2(&s); //传地址
return 0;
}
上面的 print1 和 print2 函数哪个好些?
答案是:首选print2函数。
原因:
函数传参的时候,参数是需要压栈的。如果传递一个结构体对象的时候,结构体过大,参数压栈的的系统开销比较大,所以会导致性能的下降。如果传递给函数的是一个指向结构的指针,指针比整个结构要小的多,压栈上效率会提高很多。另外,传递指针必须在函数中使用间接访问来访问结构成员。所以,结构体传参时,传递结构体的地址更好。
向函数传递指针的缺陷在于函数现在可以对调用程序的结构变量进行修改。如果不想,可以在函数中使用const关键字来防止这类修改。
10.3 位段
10.3.1 什么是位段
关于结构,我们必须还要提到位段。位段的声明和结构是类似的,有两个不同:1.位段的成员必须是 int、unsigned int 或signed int 或char(属于整型家族)。2.位段的成员名后边有一个冒号和一个数字。
比如:
struct A
{
int _a:2;
int _b:5;
int _c:10;
int _d:30;
};
A就是一个位段类型,那那位段A的大小是多少?
printf("%d\n", sizeof(struct A));
结果是8个字节。
10.3.2 位段的内存分配
- 位段的成员可以是 int unsigned int signed int 或者是 char (属于整形家族)类型
- 位段的空间上是按照需要以4个字节( int )或者1个字节( char )的方式来开辟的。
- 位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。
//一个例子
struct S
{
char a:3;
char b:4;
char c:5;
char d:4;
};
struct S s = {0};
s.a = 10;
s.b = 12;
s.c = 3;
s.d = 4;
//空间是如何开辟的?
以上分析结果仅在VS2013环境下测试得到,其他平台不一定。
10.3.3 位段的跨平台问题
- int 位段被当成有符号数还是无符号数是不确定的。
- 位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32写成27,在16位机器会出问题。
- 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
- 当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的。
总结:
跟结构相比,位段可以达到同样的效果,但是可以很好的节省空间,但是有跨平台的问题存在。
10.4 联合
联合也是一种特殊的自定义类型。这种类型定义的变量也包含一系列的成员,特征是这些成员公用同一块空间(所以联合也叫共用体)。比如:
//联合类型的声明
union Un
{
char c;
int i;
};
//联合变量的定义
union Un un;
联合的成员是共用同一块内存空间的,这样一个联合变量的大小,至少是最大成员的大小(因为联合至少得有能力保存最大的那个成员)。
union Un
{
int i;
char c;
};
union Un un;
// 下面输出的结果是一样的吗?
printf("%d\n", &(un.i));
printf("%d\n", &(un.c));
答案是一样的。
联合大小的计算:
1.联合的大小至少是最大成员的大小。
2.当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍。
比如:
union Un1
{
char c[5];
int i;
};
union Un2
{
short c[7];
int i;
};
//下面输出的结果是什么?
printf("%d\n", sizeof(union Un1));
printf("%d\n", sizeof(union Un2));
第一个输出结果是8,第二个输出结果是16。
联合的初始化
联合变量可以被初始化,但初始值必须是联合第一个成员的类型,而且必须位于一对花括号内。例如:
union Un
{
int a;
float b;
char c[4];
}
union Un x = {5};
把x.a初始化为5.如果给出的初始值是任何其他类型,它就会转换(如果可以)为一个整数并赋值给x.a。