C语言:(含大量图解)你真的了解结构体吗?

简介: C语言:(含大量图解)你真的了解结构体吗?

@[TOC]

结构体

结构体的定义

结构体是一些值的集合,这些值被称为成员变量

结构体大小计算

在计算机内部只要在内存中创建一个变量,那么在内存中就会开辟相应的内存空间,那么在开辟结构体的时候会在内存中开辟多大的空间?

==这就需要引出结构体大小究竟是怎么计算的==

结构体的对齐规则

在介绍结构体大小之前,必须知道结构体的对齐规则是什么样的:

1.第一个成员在结构体变量偏移为0处。
2.其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。


对齐数=编译器默认的对齐数和该成员变量大小的较小值
本篇利用vs进行演示,vs的默认对齐数为8


3.==结构体的总大小为最大对齐数的整数倍==
4.如果出现嵌套结构体的情况,那么嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数的整数倍。

关于对齐规则的解释

我们来举一个例子

#include <stdio.h>

struct s
{
   
   
    char a;
    int b;
    char c;
};

int main()
{
   
   
    struct s s1;
    printf("%d", (int)sizeof(s1));
    return 0;
}

这是一个计算结构体大小的例子,我们根据对齐规则进行分析

1.第一个成员在结构体变量偏移为0处
在这里插入图片描述
假设我们在内存中开辟了一段空间如右侧所示,那么第一个成员在内存中就存储在偏移为0的地方


2.其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处
==对齐数=编译器默认的对齐数和该成员变量大小的较小值==

关于这句话,第二个成员的类型是int,在内存中所占空间大小为4个字节,所以在这里对齐数就是4,因此第二个成员就存储在了整数倍的地址处,而4的整数倍就是4,因此是这样存储的,而第一步创建的空间后面的部分就被编译器浪费掉了

在这里插入图片描述

那么问题就来了,为什么编译器要这样进行内存的浪费?后面进行介绍


结构体的总大小为最大对齐数的整数倍
在这里插入图片描述

结构体的总大小为最大对齐数的整数倍,因此在这里关于char c进行创建时,虽然它本身只占用1个字节,但依旧会开辟4个字节,剩下的被浪费,于是整个结构体所占空间就是12个字节。


以上就是关于结构体大小的计算基本规则,还剩余嵌套规则

下面是关于嵌套规则的例子:

#include <stdio.h>

struct S3
{
   
   
    double d;
    char c;
    int i;
};

struct S4
{
   
   
    char c1;
    struct S3 s3;
    double d;
};

int main()
{
   
   
    printf("%d", (int)sizeof(struct S4));
    return 0;
}

前面规则略过,直接看嵌套规则

在这里插入图片描述
根据前面的规则,可以计算出S3所占的空间是16个字节,那么在S4中,c1所占一个字节,紧接着由嵌套规则:==嵌套的结构体对齐到自己的最大对齐数的整数倍处==,也就是说,这里的结构体的最大对齐数就是s3中的double类型,也就是8个字节,所以s3这个结构体的最齐数就是8,因此后面浪费了7个字节的内容,在偏移量为8的地方接上了嵌套的s3,于是总共占用的是32个字节。

为什么C语言要这样进行大小设定?

看完对齐规则,心中难免产生这样的疑惑,为什么要这样进行大小设定?难道总字节数等于每一个元素所占字节数相加不合适吗?为什么要浪费那些空间?

==在参考资料中给出了这样的回答==

平台移植原因

1.平台原因(移植原因):
不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。

追求高性能

2.性能原因:
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。

我们重点解释第二个原因:

假设结构体在内存中并不是按照这个规则对齐,而是挨着进行占用
那么在访问结构体内部成员时,会发生下面的情况:

在这里插入图片描述


假设我们要进行成员的访问,不管按照多少个字节进行访问,都无法顺利的一次访问一个成员,但如果我们按照对齐规则进行内存的分配,就显得顺利许多

在这里插入图片描述

从这里可以看出,采用对齐规则在访问时确实可以达到更加高效的访问效率,可以理解为用内存换取时间效率

修改默认对齐数

==#pragma==这个预处理指令,可以改变我们的默认对齐数

用法如下面的例子所示

#include <stdio.h>
#pragma pack(8)//设置默认对齐数为8
struct S1
{
   
   
    char c1;
    int i;
    char c2;
};
#pragma pack()//取消设置的默认对齐数,还原为默认

#pragma pack(1)//设置默认对齐数为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;
}

输出的结果是12和6,由此可见,用这样的宏预处理确实可以达到更改默认对齐数的效果

由此我们可以得出结论
==结构在对齐方式不合适的时候,我么可以自己更改默认对齐数==

结构体传参问题

先说结论,结构体传参最好用地址传参

#include <stdio.h>
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;
}

原因是什么?

由之前的函数栈帧的创建和销毁可以知道,函数进行传参时,参数会进行压栈,会有时间和空间上的系统开销

于是最好利用的是地址传参

相关文章
|
1天前
|
编译器 程序员 Linux
【C语言篇】结构体和位段详细介绍
跟结构相⽐,位段可以达到同样的效果,并且可以很好的节省空间,但是有跨平台的问题存在。
|
6天前
|
存储 C语言
C语言------结构体和共用体
这篇文章是关于C语言中结构体和共用体的实训,通过示例代码演示了结构体的定义、赋值、使用,以及如何使用结构体变量进行数据的组织和操作,包括输入、排序、求平均分和查找学生信息等功能。
C语言------结构体和共用体
|
2月前
|
编译器 测试技术 C语言
【C语言】:自定义类型:结构体的使用及其内存对齐
【C语言】:自定义类型:结构体的使用及其内存对齐
41 7
|
2月前
|
网络协议 编译器 Linux
结构体(C语言)
结构体(C语言)
|
2月前
|
算法 Java 程序员
面向对象编程(OOP)通过对象组合构建软件,C语言虽是过程式语言,但可通过结构体、函数指针模拟OOP特性
【6月更文挑战第15天】面向对象编程(OOP)通过对象组合构建软件,C语言虽是过程式语言,但可通过结构体、函数指针模拟OOP特性。封装可使用结构体封装数据和方法,如模拟矩形对象。继承则通过结构体嵌套实现静态继承。多态可通过函数指针模拟,但C不支持虚函数表,实现复杂。C语言能体现OOP思想,但不如C++、Java等语言原生支持。
43 7
|
1月前
|
存储 编译器 定位技术
结构体数组在C语言中的应用与优化策略
结构体数组在C语言中的应用与优化策略
|
2月前
|
编译器 C语言
【C语言基础】:自定义类型(一)--> 结构体-2
【C语言基础】:自定义类型(一)--> 结构体
|
2月前
|
编译器 Linux C语言
【C语言基础】:自定义类型(一)--> 结构体-1
【C语言基础】:自定义类型(一)--> 结构体
|
1月前
|
存储 编译器 数据库
结构体数组在C语言中的应用与优化技巧
结构体数组在C语言中的应用与优化技巧
|
2月前
|
C语言
C语言学习记录——枚举(定义、与结构体的区别、优点)
C语言学习记录——枚举(定义、与结构体的区别、优点)
30 3