【自定义类型:结构体,枚举,联合】内存对齐的原理和原因

简介: 【自定义类型:结构体,枚举,联合】内存对齐的原理和原因

一、结构体

1. 结构体类型的声明

首先,结构体关键字是struct,例如定义一个学生类型:struct Stu;Stu是结构体标签 ,struct Stu 整体就是结构体类型;

struct Stu
      {
       char name[20];//名字
       int age;//年龄
       char sex[5];//性别
       char id[20];//学号
      };

2. 结构体变量的定义和初始化

(1)第一种写法

struct Stu                //Stu 结构体标签     struct Stu - 结构体类型
      {
        //成员变量
        char name[20];
        short age;            //定义一个结构体类型 
        char tele[12];
        char sex[5];
      };//s1,s2,s3;       //s1,s2,s3是三个全局结构体变量(一般不用)
      int main()
      {
        struct Stu s;        //创建结构体变量(局部变量)        相当于int a ;
        return 0;
      }

(2)第二种写法(typedef的使用)

typedef是将结构体重新起别名为…;

typedef struct Stu       //把struct Stu重新起名字为Stu,在;前起新的名字
      {
        char name[20];
        short age;
        char tele[12];
        char sex[5];
      }Stu;                   //Stu:将struct Stu类型起别名为 Stu,创建变量直接使用Stu就行;
      int main()
      {
        Stu s1 = { "张三",30,"15236985412","男" };       //初始化变量,结构体初始化要用{} 
        Stu s2 = { "李四",20,"15421410451","男" };
        printf("%s %d ", s1.name, s1.age);              //结构体变量.成员
        printf("\n");
        Stu* ps = &s1;
        printf("%s %d ", ps->name, ps->age);           //结构体指针->成员
        return 0;
      }

(3)第三种写法(结构体的嵌套使用)

在结构体中初始化遇到另一个结构体,就应该再使用一个{}对这个嵌套的结构体初始化;

struct S
      {
        int a;
        char c;
        char arr[20];
        double d;
      };
      struct T
      {
        char ch[10];
        struct S s;
        char* pc;
      };
      int main()
      {
        char arr[] = "hello bit\n";
        struct T t = { "hehe",{220,'a',"hello,world",3.14},arr };   //在结构体中初始化遇到另一个结构体,就应该再使用一个{}对这个嵌套的结构体初始化
        printf("%s\n", t.ch);
        printf("%s\n", t.s.arr);
        printf("%lf\n", t.s.d);
        printf("%s\n", t.pc);
        return 0;
      }

3. 结构体的内存对齐

首先我们得了解结构体的对齐规则:

  1. 结构体的第一个成员永远都放在为0偏移处。
  2. 从第二个成员开始,以后每个成员都要对齐到某个对齐数的整数倍的地址处。
    这个对齐数 = 成员自身大小和默认对齐数的较小值。
    VS中默认的值为8
  3. 当全部成员存放进去后,结构体总大小必须为所有成员的对齐数中最大对齐数的整数倍;如果不够,则浪费空间对齐。
  4. 如果嵌套了结构体,嵌套的结构体成员要对齐到自己成员的最大对齐数的整数倍处;整个结构体的大小,必须是最大对齐数的整数倍,最大对齐数包含嵌套的结构体成员中的对齐数。

例如:

(1)计算S1结构体大小

struct S1
      {
        char c1;     //自身大小是1,默认对齐数是8,所以对齐数是1
        int i ;          //自身大小是4,默认对齐数是8,所以对齐数是4
        char c2;     //自身大小是1,默认对齐数是8,所以对齐数是1
      };
      printf("%d\n",sizeof(struct S1));

c2最后放进去后,结构体大小为9个字节,不是这三个类型中的最大对齐数的整数倍,所以还需要浪费3个空间,凑够12个字节,即是4的倍数。

(2)计算S3结构体的大小

struct S3
      {
        double d;   //自身大小是8,默认对齐数是8,所以对齐数是8
        char c;     //自身大小是1,默认对齐数是8,所以对齐数是1
        int i;      //自身大小是4,默认对齐数是8,所以对齐数是4
      }

(3)计算S4的结构体大小

struct S3
      {
        double d;
        char c;
        int i;
      }
      struct S4
      {
        char c1;
        struct S3 s3;
        double d;
      }

在计算嵌套S3结构体时,嵌套的结构体成员要对齐到自己成员的最大对齐数的整数倍处,即S3结构体成员中最大对齐数是double的对齐数8,所以S3要对齐到8的倍数。

4. 存在结构体内存对齐的原因

  1. 平台原因(移植原因):
    不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
  2. 性能原因:
    数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
    原因在于:为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。如下图,

未对齐:

对齐:

对齐后a的值只需要访问一次就可以得到;

结论:结构体的内存对齐是拿空间来换取时间的做法。

所以在设计结构体的时候,我们既要满足对齐,又要节省空间;让占用空间小的成员尽量集中在一起。

5. 结构体传参

Print2比Print1更优,传址更优,结构体传参尽量传结构体的地址;可在Print2中加const,使*ps的值更安全,不能被修改;

struct S
      {
        int a;
        char c;
        double d;
      };
      //给结构体中的成员初始化
      void Init(struct S* ps)
      {
        ps->a = 100;
        ps->c = 'w';
        ps->d = 3.14;
      }
      void Print1(struct S tmp)
      {
        printf("%d %c %lf\n", tmp.a, tmp.c, tmp.d);
      }
      void Print2(const struct S* ps)
      {
        printf("%d %c %lf\n", ps->a, ps->c, ps->d);
      }
      int main()
      {
        struct S s = { 0 };
        Init(&s);
        Print1(s);
        printf("\n");
        Print2(&s);
        return 0;
      }

6. 位段

(1)什么是位段

位段的声明和结构是类似的,有两个不同:

1.位段的成员必须是 int、unsigned int 或signed int 。(整形家族)

2.位段的成员名后边有一个冒号和一个数字

例如:

struct A
      {
       int _a:2;
       int _b:5;
       int _c:10;
       int _d:30;
      };

A就是一个位段类型;int_a:2的意思是,只给a开辟两个比特位的空间;以此类推。

(2) 位段的内存分配

  1. 位段的成员可以是 int unsigned int signed int 或者是 char (属于整形家族)类型
  2. 位段的空间上是按照需要以4个字节( int )或者1个字节( char )的方式来开辟的。
  3. 位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。

例如:

struct S
      {
       char a:3;
       char b:4;
       char c:5;
       char d:4;
      };

在分析struct S 的大小时,一共开辟了3个字节,所以计算出来是3个字节;

例如计算整型struct A的大小:

位段的内存分配具体图分析:

(3)位段的跨平台问题

  1. int 位段被当成有符号数还是无符号数是不确定的。
  2. 位段中最大位的数目不能确定.(16位机器最大16,32位机器最大32,写成27,在16位机器会出问题。)
  3. 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
  4. 当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的。

二、枚举

1. 什么是枚举

枚举就是一 一列举,把可能的取值一 一列举。

例如:

enum Sex
      {
        //枚举的可能取值,默认是从0开始,递增1的
        //枚举常量
        MALE,
        FEMALE,
        SECRET
      };
      int main()
      {
        enum Sex s = FEMALE;
        printf("%d\n", MALE);   //0
        printf("%d\n", FEMALE);   //1
        printf("%d\n", SECRET);   //2
        return 0;
      }

2. 枚举的优点

枚举的优点:

  1. 增加代码的可读性和可维护性
  2. 和#define定义的标识符比较枚举有类型检查,更加严谨。
  3. 防止了命名污染(封装)
  4. 便于调试
  5. 使用方便,一次可以定义多个常量

三、联合

1. 联合类型的定义

联合类型的声明:

union Un
      {
         char c;
         int i;
      };

此时i和c公用一个内存空间;

联合变量的定义

union Un un;

2. 联合大小的计算

(1)联合的大小至少是最大成员的大小。

(2)当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍。

union Un1
      {
       char c[5];
       int i;
      };
      union Un2
      {
       short c[7];
       int i;
      };
      printf("%d\n", sizeof(union Un1));  //8
      printf("%d\n", sizeof(union Un2));  //16
目录
相关文章
|
10月前
|
机器学习/深度学习 存储 算法
NoProp:无需反向传播,基于去噪原理的非全局梯度传播神经网络训练,可大幅降低内存消耗
反向传播算法虽是深度学习基石,但面临内存消耗大和并行扩展受限的问题。近期,牛津大学等机构提出NoProp方法,通过扩散模型概念,将训练重塑为分层去噪任务,无需全局前向或反向传播。NoProp包含三种变体(DT、CT、FM),具备低内存占用与高效训练优势,在CIFAR-10等数据集上达到与传统方法相当的性能。其层间解耦特性支持分布式并行训练,为无梯度深度学习提供了新方向。
506 1
NoProp:无需反向传播,基于去噪原理的非全局梯度传播神经网络训练,可大幅降低内存消耗
|
9月前
|
存储 缓存 Java
【高薪程序员必看】万字长文拆解Java并发编程!(5):深入理解JMM:Java内存模型的三大特性与volatile底层原理
JMM,Java Memory Model,Java内存模型,定义了主内存,工作内存,确保Java在不同平台上的正确运行主内存Main Memory:所有线程共享的内存区域,所有的变量都存储在主存中工作内存Working Memory:每个线程拥有自己的工作内存,用于保存变量的副本.线程执行过程中先将主内存中的变量读到工作内存中,对变量进行操作之后再将变量写入主内存,jvm概念说明主内存所有线程共享的内存区域,存储原始变量(堆内存中的对象实例和静态变量)工作内存。
291 0
|
算法 JavaScript 前端开发
新生代和老生代内存划分的原理是什么?
【10月更文挑战第29天】新生代和老生代内存划分是JavaScript引擎为了更高效地管理内存、提高垃圾回收效率而采用的一种重要策略,它充分考虑了不同类型对象的生命周期和内存使用特点,通过不同的垃圾回收算法和晋升机制,实现了对内存的有效管理和优化。
|
12月前
|
安全 C语言 C++
彻底摘明白 C++ 的动态内存分配原理
大家好,我是V哥。C++的动态内存分配允许程序在运行时请求和释放内存,主要通过`new`/`delete`(用于对象)及`malloc`/`calloc`/`realloc`/`free`(继承自C语言)实现。`new`分配并初始化对象内存,`delete`释放并调用析构函数;而`malloc`等函数仅处理裸内存,不涉及构造与析构。掌握这些可有效管理内存,避免泄漏和悬空指针问题。智能指针如`std::unique_ptr`和`std::shared_ptr`能自动管理内存,确保异常安全。关注威哥爱编程,了解更多全栈开发技巧。 先赞再看后评论,腰缠万贯财进门。
517 0
|
存储 C语言
C语言如何使用结构体和指针来操作动态分配的内存
在C语言中,通过定义结构体并使用指向该结构体的指针,可以对动态分配的内存进行操作。首先利用 `malloc` 或 `calloc` 分配内存,然后通过指针访问和修改结构体成员,最后用 `free` 释放内存,实现资源的有效管理。
1448 13
|
存储 编译器 数据处理
C 语言结构体与位域:高效数据组织与内存优化
C语言中的结构体与位域是实现高效数据组织和内存优化的重要工具。结构体允许将不同类型的数据组合成一个整体,而位域则进一步允许对结构体成员的位进行精细控制,以节省内存空间。两者结合使用,可在嵌入式系统等资源受限环境中发挥巨大作用。
488 12
|
编译器 Go
探索 Go 语言中的内存对齐:为什么结构体大小会有所不同?
在 Go 语言中,内存对齐是优化内存访问速度的重要概念。通过调整数据在内存中的位置,编译器确保不同类型的数据能够高效访问。本文通过示例代码展示了两个结构体 `A` 和 `B`,尽管字段相同但排列不同,导致内存占用分别为 40 字节和 48 字节。通过分析内存布局,解释了内存对齐的原因,并提供了优化结构体字段顺序的方法,以减少内存填充,提高性能。
179 3
|
存储 Java 程序员
结构体和类的内存管理方式在不同编程语言中的表现有何异同?
不同编程语言中结构体和类的内存管理方式既有相似之处,又有各自的特点。了解这些异同点有助于开发者在不同的编程语言中更有效地使用结构体和类来进行编程,合理地管理内存,提高程序的性能和可靠性。
302 3
|
存储 缓存 Java
结构体和类在内存管理方面的差异对程序性能有何影响?
【10月更文挑战第30天】结构体和类在内存管理方面的差异对程序性能有着重要的影响。在实际编程中,需要根据具体的应用场景和性能要求,合理地选择使用结构体或类,以优化程序的性能和内存使用效率。
|
存储 缓存 算法
结构体和类在内存管理方面有哪些具体差异?
【10月更文挑战第30天】结构体和类在内存管理方面的差异决定了它们在不同的应用场景下各有优劣。在实际编程中,需要根据具体的需求和性能要求来合理选择使用结构体还是类。