1. 结构体类型的声明
1.1 结构体回顾
结构是⼀些值的集合,这些值称为成员变量。结构的每个成员可以是不同类型的变量。
1.1.1 结构的声明
例如创建一个学生结构体
struct s
{
int yeaar;
char name[10];
char sex[20];
};
1.1.2 结构体变量的创建和初始化
1.2 结构的特殊声明
有一种结构体叫做匿名结构体,这种结构体只能使用一次,匿名结构体没有结构体标签
struct
{
int a;
char b;
float c;
}x;
struct
{
int a;
char b;
float c;
}a[20], *p;
在上⾯代码的基础上,下⾯的代码合法吗?
p = &x;
1.3 结构的⾃引⽤
在结构中包含⼀个类型为该结构本⾝的成员是否可以呢?
⽐如,定义⼀个链表的节点:
struct Node
{
int data;
struct Node next;
};
上述代码正确吗?如果正确,那 sizeof(struct Node) 是多少?仔细分析,其实是不⾏的,因为⼀个结构体中再包含⼀个同类型的结构体变量,这样结构体变量的⼤
⼩就会⽆穷的⼤,是不合理的。
但是如果想从上一个节点找到下一个节点,我们可以使用指针,想一下,指针的大小是有限的,并且可以指向下一个节点,获取到下一个节点的信息,从而大大提高了简洁性。
struct Node
{
int data;
struct Node* next;
};
在结构体⾃引⽤使⽤的过程中,夹杂了 typedef 对匿名结构体类型重命名,也容易引⼊问题,看看下⾯的代码,可⾏吗?
typedef struct
{
int data;
Node* next;
}Node;
答案是不行的,在这段代码中先引用node是不正确的,因为node是在定义完这段代码后定义的
解决⽅案如下:定义结构体不要使⽤匿名结构体了
typedef struct Node
{
int data;
struct Node* next;
}Node;
2. 结构体内存对⻬
我们已经掌握了结构体的基本使⽤了。
现在我们深⼊讨论⼀个问题:计算结构体的⼤⼩。
这也是⼀个特别热⻔的考点: 结构体内存对⻬
2.1 对⻬规则
⾸先得掌握结构体的对⻬规则:
1.结构体的第⼀个成员对⻬到和结构体变量起始位置偏移量为0的地址处
2.其他成员变量要对⻬到某个数字(对⻬数)的整数倍的地址处。
对⻬数=编译器默认的⼀个对⻬数与该成员变量⼤⼩的较⼩值。
VS 中默认的值为 8
-Linuxgcc没有默认对⻬数,对⻬数就是成员⾃⾝的⼤⼩
3.结构体总⼤⼩为最⼤对⻬数(结构体中每个成员变量都有⼀个对⻬数,所有对⻬数中最⼤的)的整数倍。
4.如果嵌套了结构体的情况,嵌套的结构体成员对⻬到⾃⼰的成员中最⼤对⻬数的整数倍处,结构体的整体⼤⼩就是所有最⼤对⻬数(含嵌套结构体中成员的对⻬数)的整数倍。
2.2 为什么存在内存对⻬?
⼤部分的参考资料都是这样说的:
1. 平台原因(移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
2. 性能原因:
数据结构(尤其是栈)应该尽可能地在⾃然边界上对⻬。原因在于,为了访问未对⻬的内存,处理器需要作两次内存访问;⽽对⻬的内存访问仅需要⼀次访问。假设⼀个处理器总是从内存中取8个字节,则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对⻬成8的倍数,那么就可以⽤⼀个内存操作来读或者写值了。否则,我们可能需要执⾏两次内存访问,因为对象可能被分放在两个8字节内存块中。
总体来说:结构体的内存对⻬是拿空间来换取时间的做法。
那在设计结构体的时候,我们既要满⾜对⻬,⼜要节省空间,如何做到:
//例如:
struct S1
{
char c1;
int i;
char c2;
};
struct S2
{
char c1;
char c2;
int i;
};
S1 和 S2 类型的成员⼀模⼀样,但是 S1 和 S2 所占空间的⼤⼩有了⼀些区别。
2.3 修改默认对⻬数
#pragma 这个预处理指令,可以改变编译器的默认对⻬数。
#include <stdio.h>
#pragma pack(1)//设置默认对⻬数为1
struct S
{
char c1;
int i;
char c2;
};
#pragma pack()//取消设置的对⻬数,还原为默认
int main()
{
//输出的结果是什么?
printf("%d\n", sizeof(struct S));
return 0;
}
显而易见输出结果是6,为什么呢,设置默认对齐数为1之后,那么int自身大小是4和1比较,较小值是1,这些数据就会紧密存放在一起,因此大小是1+4+1=6。
3. 结构体传参
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哪个更好一些呢,通过简单分析,一定是2更好一些,为什么呢,之前我们在学习函数的时候,学习过这样一句话,形参是实参的一份拷贝,如果将整个结构体传过去,可想而知会浪费大量的内村,而传地址就没有这样的困扰,有人会提出疑问,如果传地址之后,修改了原来的值怎么办,此时可以在*前面加上const来控制原先的值,保证他不会发生任何变化。
4. 结构体实现位段
4.1 什么是位段
1. 位段的成员必须是 int、unsigned int 或signed int ,在C99中位段成员的类型也可以
选择其他类型。
2. 位段的成员名后边有⼀个冒号和⼀个数字。
struct A
{
int a :2;
int b :4;
};
A就是⼀个位段类型。
那位段A所占内存的⼤⼩是多少?
这是为什么呢,通过前面学习的知识,我们可能会想,一个int型是4个字节,那么两个int型至少应该是8个字节,为什么在这里两个int型却只占了4个字节呢,在位段中,引号后面的数字代表的就是该类型占的比特位大小,从而可以解释,为什么两个int型只占据了4个字节的原因。
4.3 位段的跨平台问题
1. int位段被当成有符号数还是⽆符号数是不确定的。
2. 位段中最⼤位的数⽬不能确定。(16位机器最⼤16,32位机器最⼤32,写成27,在16位机器会
出问题。
3. 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。4. 当⼀个结构包含两个位段,第⼆个位段成员⽐较⼤,⽆法容纳于第⼀个位段剩余的位时,是舍弃
剩余的位还是利⽤,这是不确定的。
4.4 位段的应⽤
下图是⽹络协议中,IP数据报的格式,我们可以看到其中很多的属性只需要⼏个bit位就能描述,这⾥使⽤位段,能够实现想要的效果,也节省了空间,这样⽹络传输的数据报⼤⼩也会较⼩⼀些,对⽹络的畅通是有帮助的。
如果正常按结构体来开辟内存,每个int型就开辟4个字节,极为浪费空间,并且在网络传输中的数据是大量的,因此大大浪费了空间,减少了有用数据的传输,因此使用位段可以很好的解决这一问题,
4.5 位段使⽤的注意事项
位段的⼏个成员共有同⼀个字节,这样有些成员的起始位置并不是某个字节的起始位置,那么这些位置处是没有地址的。内存中每个字节分配⼀个地址,⼀个字节内部的bit位是没有地址的。
所以不能对位段的成员使⽤&操作符,这样就不能使⽤scanf直接给位段的成员输⼊值,只能是先输⼊放在⼀个变量中,然后赋值给位段的成员。