本章重点
- 结构体
- 结构体类型的声明
- 结构的自引用
- 结构体变量的定义和初始化
- 结构体内存对齐
- 结构体传参
1 结构的基础知识
结构是一些值的集合,这些值称为成员变量。结构的每个成员可以是不同类型的变量。
2 结构的声明
例如描述一个学生:
1 2 3 4 5 6 7 8 9 10 11 12
| struct tag { member-list; }variable-list;
struct Stu { char name[20]; int age; char sex[5]; char id[20]; };
|
3 特殊的声明
在声明结构的时候,可以不完全的声明。
1 2 3 4 5 6 7 8 9 10 11 12
| struct { int a; char b; float c; }x; struct { int a; char b; float c; }*p;
|
上面的两个结构在声明的时候省略掉了结构体标签(tag)。但是 p = &x; 是非法的,编译器会把上面的两个声明当成完全不同的两个类型。
4 结构的自引用
1 2 3 4 5 6 7 8
| struct Node { int data; struct Node next; };
|
正确的自引用方式:
1 2 3 4 5 6
| struct Node { int data; struct Node* next; };
|
注意:
1 2 3 4 5 6 7
| typedef struct { int data; Node* next; }Node;
|
不声明标签自引用是错误的,正确的引用方法为:
1 2 3 4 5
| typedef struct Node { int data; struct Node* next; }Node;
|
5 结构体变量的定义和初始化
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
| struct Point { int x; int y; }p1; struct Point p2;
struct Point p3 = { 1, 2 };
struct Stu //类型声明 { char name[15]; int age; };
struct Stu s = { "zhangsan", 20 };
struct Node { int data; struct Point p; struct Node* next; }n1 = { 10, {4,5}, NULL };
struct Node n2 = { 20, {5, 6}, NULL };
|
6 结构体内存对齐
计算结构体的大小:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
| struct S1 { char c1; int i; char c2; };
struct S2 { char c1; char c2; int i; };
int main() { printf("%d\n", sizeof(struct S2)); printf("%d\n", sizeof(struct S1)); return 0; }
|
如何计算大小?
首先得掌握结构体的对齐规则:
第一个成员在与结构体变量偏移量为0的地址处。
其他成员变量要对齐到对齐数的整数倍的地址处。对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。
- VS中默认的值为8
- Linux中没有默认对齐数,对齐数就是成员自身的大小
结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
为什么存在内存对齐?
- 平台原因(移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
性能原因:
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。
结构体的内存对齐是拿空间来换取时间的做法。
我们既要满足对齐,又要节省空间,那在设让占用空间小的成员尽量集中在一起。
1 2 3 4 5 6 7 8 9 10 11 12 13 14
| struct S1 { char c1; int i; char c2; };
struct S2 { char c1; char c2; int i; };
|
7 修改默认对齐数
使用#pragma 这个预处理指令,可以改变默认对齐数。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
| #include <stdio.h> #pragma pack(8) struct S1 { char c1; int i; char c2; }; #pragma pack()
#pragma pack(1) struct S2 { char c1; int i; char c2; }; #pragma pack()
int main() { printf("%d\n", sizeof(struct S1)); printf("%d\n", sizeof(struct S2)); return 0; }
|
结构在对齐方式不合适的时候,我们可以自己更改默认对齐数。
8 结构体传参
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
| 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; }
|
首选print2函数。
函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。
如果传递一个结构体对象的时候,结构体过大,参数压栈的的系统开销比较大,所以会导致性能的下降。
但是使用print2函数在可能会误修改结构体中的值,我们可以使用 const 来修饰 struct S* ps ,使之不可修改。