前言
C语言中结构体是一种用户自定义的数据类型,它相当于一个小型的数据结构,当我们在学数据结构阶段的时候,结构体的运用很常见,所以,基本的结构体的定义和使用,以及结构体大小的计算务必掌握。
结构体类型的声明
- 结构体的基础知识:
结构是一些值的集合,这些值称为成员变量。结构的每个成员可以是不同类型的变量。
- 声明的语法结构:
struct tag // 结构体类型名 { member-list; // 结构体成员 }variable-list; // 这里是可以直接在这里输入变量名,相当于创建了一个全局的结构体变量
例如定义一个学生变量(名字,年龄,学号):
struct stu { char Name[20]; // 名字以字符串的形式存储 int Age; char StuNum[20]; // 学号也以字符串的形式存储,因为可能学号很长,整型存储不下 }; // 分号必不可少
- 特殊的声明(结构体不完全声明):
匿名结构体声明:
struct // 省略了tag { int a; char b; }x; // 匿名结构体全局变量x struct // 省略了tag { int a; char b; }y; // 匿名结构体全局变量y
如果有这样一种操作:
y = &x;
- 这样合法么?
当然是不行的,编译器会将这两个结构体变量当作是两个完全不同的两个类型,所以是非法的。
结构的自引用
如果在一个结构体成员当中包含本身,这样是否可行呢?
- 假如这样写:
struct node { int a; struct node next; // 这样是否可行能????? };
上面这种写法,很容易看出问题,会形成一个死循环。
- 另外一种写法:
struct node { int a; struct node* next; // 一个结构体指针 };
如果是这样写,next
是一个指针,因此不会死循环,并且,next
还是一个结构体指针,也就是说,next
可以指向下一个自身类型的结构体(指向本身类型的结构体变量)。
例如:
struct node s1, s2; s1.next = &s2;
所以这种写法是可以的。
- 我们再来看这一种写法:
typedef struct node { int a; node* next; }node;
这样的写法是不行的,因为遵循从上到下的原则,typedef
结构体为node
,其名在定义next
之后,所以不行。
修正后:
typedef struct node { int a; struct node* next; }node; node s1;
结构体变量的定义和初始化
定义
#include <stdio.h> struct rand { int x; int y; }p1; //声明类型的同时定义全局结构体变量p1 struct rand p2; //定义全局结构体变量p2 int main() { struct rand p3; // 定义局部结构体变量p3 return 0; }
- 结构体嵌套:
struct tmp { char a; int b; }; struct rand { int x; int y; struct tmp z; // z为struct tmp类型,该类型有两个成员 }p1; //声明类型的同时定义全局结构体变量p1 struct rand p2; //定义全局结构体变量p2 int main() { struct rand p3; // 定义局部结构体变量p3 return 0; }
初始化
1.在main函数里初始化:
#include <stdio.h> struct rand { int x; int y; }p1; struct rand p2; int main() { p1.x = 5, p1.y = 2; p2.x = 5, p2.y = 2; struct rand p3 = { 5,2 }; return 0; }
2.创建变量时初始化:
#include <stdio.h> struct rand { int x; int y; }p1 = { 5,2 }; // 在定义结构体的同时定义结构体变量p1,同时初始化p1 struct rand p2 = { 5,2 }; // main函数外 int main() { struct rand p3 = { 5,2 }; return 0; }
3.结构体嵌套的初始化:
#include <stdio.h> struct tmp { char a; int b; }; struct rand { int x; int y; struct tmp z; }p1; struct rand p2; int main() { p1.x = 5; p1.y = 2; p1.z.a = 'i'; p1.z.b = 0; p2.x = 5; p2.y = 2; p2.z.a = 'i'; p2.z.b = 0; struct rand p3 = { 5,2,{'i', 0} }; return 0; }
#include <stdio.h> struct tmp { char a; int b; }; struct rand { int x; int y; struct tmp z; }p1 = { 5,2,{'i', 0} }; struct rand p2 = {5, 2,{'i', 0} }; int main() { struct rand p3 = { 5,2,{'i', 0} }; return 0; }
结构体内存对齐
- 我们已经掌握了结构体的基本使用了。
- 现在我们深入讨论一个问题:计算结构体的大小。
- 这也是一个特别热门的考点:
结构体内存对齐
。
我们先看下面一个例子:
#include <stdio.h> struct n1 { char a1; int x1; char b1; }; struct n2 { char a2; char b2; int x2; }; int main() { printf("%d %d\n", (int)sizeof(struct n1), (int)sizeof(struct n2)); return 0; }
运行结果为:12 8
为什么运行结果会不一样呢??????
这就与结构体在内存中的存储形式有关,而结构体在内存中的存储结构方式又与结构体的内存对齐有关。
那么什么是内存对齐呢?
- 第一个成员在与结构体变量偏移量为0的地址处。
- 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
- 对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。
- VS中默认的对齐数值为8
- 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
- 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
据此因为单个不同类型的成员的摆放位置不同,造成相同成员的两个结构体的大小不同,这是不是很奇妙呢?
- 那么为什么要有内存对齐呢???
大部分的参考资料都是如是说的:
平台原因(移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
性能原因:
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。
总体来说:
结构体的内存对齐是拿空间来换取时间的做法。
- 那在设计结构体的时候,我们既要满足对齐,又要节省空间,如何做到:
就拿上面的那个例子来说,n1
和 n2
,两个相同成员的结构体,一个大小为12
,一个大小为8
,那当然要选小的那个了,也就是n2
。
- 实际上我们可以在自己的编译器上修改默认对齐数
我们可以通过 #pragma 来修改默认对齐数
例如
#include <stdio.h> #pragma pack(8)//设置默认对齐数为8 struct n1 { char c1; int x; char c2; }; #pragma pack()//取消设置的默认对齐数,还原为默认 #pragma pack(1)//设置默认对齐数为1 struct n2 { char c1; int x; char c2; }; #pragma pack()//取消设置的默认对齐数,还原为默认 int main() { //输出的结果是什么? printf("%d\n", sizeof(struct n1)); printf("%d\n", sizeof(struct n2)); }
n1
的默认对齐数修改为8
,那也就跟之前一样,也就是12
;n2
的默认对齐数修改为1
,也就相当于没有内存对齐一样,直接在下一个位置就存放,因此大小为6
;如果结构体在对齐方式不合适的时候,那么我们可以自己更改默认对齐数。
结构体传参
对于下面的代码:
#include <stdio.h> struct S { double data[10000]; int num }; struct S s = { {1.0,2.0,3.0,4.0}, 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函数。
因为:
1.函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。
2.如果传递一个结构体对象的时候,结构体过大,参数压栈的的系统开销比较大, 所以会导致性能的下降。
所以:
当结构体传参的时候,要传递结构体的地址;
结构体实现位段
什么是位段?
位段的声明和结构是类似的,有两个不同:
1.位段的成员必须是 int、unsigned int 或signed int 。
2.位段的成员名后边有一个冒号和一个数字。
例如:
struct rand { char _a:2; char _b:5; char _c:4; char _d:6; // 这里的 _ 和 : 是位段定义的基本语法 // 这里的 2,5,4,6 是所占比特位的个数 };
rand
就是一个位段类型,那位段rand
的大小是多少?
printf("%d\n", sizeof(struct rand));
vs运行结果为4
位段的内存分配
位段的成员可以是 int unsigned int signed int 或者是 char (属于整形家族)类型
位段的空间上是按照需要以4个字节( int )或者1个字节( char )的方式来开辟的。
位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。
#include <stdio.h> typedef struct rand { char _a : 2; char _b : 5; char _c : 4; char _d : 6; }a; int main() { a a = { 4,4,10,5 }; printf("%d\n", (int)sizeof(a)); // 3 return 0; }
然int是以4字节开辟,存储方式与char差不多,按照上面方式去弄也是很容易自己弄出来的噢。
位段的跨平台问题
- int 位段被当成有符号数还是无符号数是不确定的。
- 位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机器会出问题。)
- 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
- 当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的。
所以:
跟结构相比,位段可以达到同样的效果,但是可以很好的节省空间,但是有跨平台的问题存在。
位段的应用
写在最后
结构体的知识虽然较为简单,但其在数据结构当中的作用还是很重要的,因为一个数据它里面要有什么内容还是要结构体来整合。
感谢阅读本小白的博客,错误的地方请严厉指出噢!