C语言之结构体详解
文章目录
- C语言之结构体详解
- 1. 结构体类型的声明
- 2. 结构体变量的创建和初始化
- 3. 结构体的特殊声明
- 4. 结构体的自引用
- 结构体的自引用
- 匿名结构体的自引用
- 5. 结构体内存对齐
- 5.1 练习一
- 5.2 练习三
- 6. 为什么存在内存对⻬?
1. 结构体类型的声明
struct tag
{member-list;
}variable-list;
结构体标签：tag
结构体类型：struct tag
成员列表：member-list
结构体变量列表：variable-list
例如：
struct Stu
{char name[20];int age;float score;
};//分号不能丢
2. 结构体变量的创建和初始化
#include <stdio.h>struct Stu
{char name[20];int age;float score;
}s1;int main()
{//按照顺序初始化struct Stu s2 = { "zhangsan",18,90.1f };printf("%s %d %.2f\n", s2.name, s2.age, s2.score);//按照指定顺序初始化struct Stu s3 = { .score = 82.4f,.name = "zhangsan",.age = 20 };printf("%s %d %.2f\n", s3.name, s3.age, s3.score);return 0;
}
在结构体创建的时候，在变量列表创建的变量是全局变量，s1也就是全局变量
struct Stu 为结构体类型，和int创建变量一样(int n = 0;)，struct Stu s2创建结构体变量
结构体变量在赋值的时候需要加上大括号，再根据成员列表的顺序，输入对应的值
结构体变量初始化的时候，也可以不按顺序初始化，这时候就需要用到 ( . )结构体访问操作符
3. 结构体的特殊声明
在声明结构体的时候，可以不完全声明
#include <stdio.h>struct
{char a;int b;
}x;struct
{char x;int y;
}*p;int main()
{p = &x;return 0;
}
上述两个结构体声明省去了结构体标签（tag）
在对第一个结构体变量取地址的时候，就会报警告
编译器会将上面声明的两个结构体当成两个不同类型的类型，所以是非法的 匿名的结构体，如果没有对结构体重命名的话，基本上只能使用一次
重命名如下：
#include <stdio.h>typedef struct
{char x;int y;
}S;int main()
{S s1 = { 1,2 };return 0;
}
使用typedef关键字将匿名结构体重命名为S
4. 结构体的自引用
结构体的自引用
代码一：
struct Node
{int data;struct Node next;
};
上述代码结构体的自引用是错误的，因为⼀个结构体中再包含⼀个同类型的结构体变量，这样结构体变量的⼤⼩就会⽆穷的⼤，是不合理的
正确的自引用：
struct Node
{int data;//数据域 存放数据struct Node *next;//指针域 存放下一个数据的地址
};
由于指针的大小是固定的，在32位平台下，为4字节，在64为平台下，为8字节，这样就确保了结构体变量的大小
在内存中，有些数据不是连续存放的，要想找到下一个数据，可以使用指针的方式
匿名结构体的自引用
typedef struct
{int data;Node* next;
}Node;
匿名结构体的自引用是不可行的，虽然使用typedef关键字重命名了匿名结构体，但是在重命名之前，Node是在重命名之后才产生的，但是在Node产生之前就已经使用Node创建了结构体指针变量，这是不行的
5. 结构体内存对齐
⾸先得掌握结构体的对⻬规则：
- 结构体的第⼀个成员对⻬到和结构体变量起始位置偏移量为0的地址处
- 其他成员变量要对⻬到某个数字（对⻬数）的整数倍的地址处。
对⻬数 = 编译器默认的⼀个对⻬数 与 该成员变量⼤⼩的较⼩值。
- VS 中默认的值为 8
- Linux中 gcc 没有默认对⻬数，对⻬数就是成员⾃⾝的⼤⼩
- 结构体总⼤⼩为最⼤对⻬数（结构体中每个成员变量都有⼀个对⻬数，所有对⻬数中最⼤的）的
整数倍。 - 如果嵌套了结构体的情况，嵌套的结构体成员对⻬到⾃⼰的成员中最⼤对⻬数的整数倍处，结构
体的整体⼤⼩就是所有最⼤对⻬数（含嵌套结构体中成员的对⻬数）的整数倍。
5.1 练习一
#include <stdio.h>struct s1
{char c1;char c2;int i;
};struct s2
{char c1;int i;char c2;
};
int main()
{printf("struct s1 = %zd\n", sizeof(struct s1));printf("struct s2 = %zd\n", sizeof(struct s2));return 0;
}
代码运行结果如下:>
struct s1 = 8
struct s2 = 12
解释：
struct s1 = 8
- 结构体的第一个成员是 char c1; 会放在偏移量为0的位置，第一个字节，当对于自己偏移量就是0，所以只占一格
- 结构体的第二个成员是 char c2; char 为1个字节，在VS中默认的对齐数为8，取较小值 1，同时在偏移量中找到1的整数倍，也就是偏移量为1的位置，所以占一个字节
- 结构体的第三个成员是 int i; int 为4个字节，相对于默认值8，取较小值4，同时在偏移量中找到4的整数倍，跳过偏移量2 3 找到4，同时int 占四个字节，所以占4个字节
- 总共占了8个字节，在结构体中的对齐数有1 1 4，取最大值4，判断现在是否为最大对齐数4的整数倍
- 最终struct s1的大小为8个字节
struct s2 = 12
- 结构体的第一个成员是 char c1; 会放在偏移量为0的位置，第一个字节，当对于自己偏移量就是0，所以只占一格
- 结构体中的第二个成员是 int i; int 为4个字节，和默认对齐数8相比，取较小值4，在偏移量中找到4的整数倍，跳过1 2 3 ，找到偏移量为4的位置，int 为4个字节，所以占4格
- 结构体中的第三个成员是char c2; char 为1个字节，和默认对齐数8相比，取较小值1，在偏移量中找到1的整数倍，也就是偏移量为8的位置，char占一格
- 总共占了9个字节，相比结构体中的对齐数，1 1 4，取最大对齐数4，判断是否为整数倍，不是则取整数倍，也就是12字节，所以结构体的大小为12字节
5.2 练习三
#include <stdio.h>
struct S3
{double d;char c;int i;
};
struct S4
{char c1;struct S3 s3;double d;
};
int main()
{printf("struct s4 = %zd\n", sizeof(struct S4));return 0;
}
代码运行结果:>
struct s4 = 32
解释：
按照练习一的方法得出struct S3 的大小为16
struct S4
结构体嵌套时，嵌套的结构体成员对⻬到⾃⼰的成员中最⼤对⻬数的整数倍处，上述代码中在S4中嵌套了一个S3，计算S3的偏移量使用的是S3中最大的对齐数，也就是8字节
- char会放在偏移量为0的位置，也就是一个字节
- 嵌套的结构体最大对齐数为8，和默认数一致，取偏移量为8的整数倍，也就是在8的位置，S3结构体的大小为16个字节，所以占16格
- double占8个字节，和默认对齐数一致，取偏移量为8的整数倍，也就是在24的位置，占8个字节
- 总共占了32个字节，S4中的最大对齐数为8字节，是8的整数倍
- 所以struct S4的大小为32个字节
6. 为什么存在内存对⻬?
- 平台原因 (移植原因)：
不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。 - 性能原因：
数据结构(尤其是栈)应该尽可能地在⾃然边界上对⻬。原因在于，为了访问未对⻬的内存，处理器需要作两次内存访问；⽽对⻬的内存访问仅需要⼀次访问。假设⼀个处理器总是从内存中取8个字节，则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对⻬成8的倍数，那么就可以⽤⼀个内存操作来读或者写值了。否则，我们可能需要执⾏两次内存访问，因为对象可能被分放在两个8字节内存块中。
平台原因：在C语言没有明确规定int类型的数据是无符号还是有符号的，这取决于编译器，不同的编译器会有不同的解释
性能原因：结构体的内存对⻬是拿空间来换取时间的做法
TIPS：在设计结构体的时候，我们既要满⾜对⻬，⼜要节省空间，可以将占用空间小的成员尽量聚集在一块
例如：
struct s1
{char c1;char c2;int i;
};struct s2
{char c1;int i;char c2;
};
相比较于s2，s1的占用空间较小一点
