C/C++内存对齐规则(结构体、联合体、类)

简介: C/C++内存对齐规则(结构体、联合体、类)

前言


求结构体的大小是很热门的考点,无论你是学C还是C++,都会遇到这样的问题,在面试中也很受欢迎,所以我们先思考这样一个问题:计算结构体,联合体和类的大小应该怎么去计算呢?我们知道,在C语言中结构体内部可以包含很多变量,所以我们在没有学习这个知识之前,会固化地认为,结构体的大小就是内部变量的大小的总和,但是事实就是这样吗?显然并不是,那接下来我们就要去学习一下如何求结构体它们的大小

一、内存对齐规则(每一个都是重点

1. 第一个成员永远在与结构体变量偏移量为0的地址处。


2. 其他成员变量要对齐到 自身对齐数的整数倍 的地址处。


对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。


只有VS中默认对齐数值为8

其他编辑器(gcc,clang)的对齐数就是成员自身的大小


3. 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。


4. 如果一个结构体的成员有另一个结构体类型的变量,这个结构体类型的变量要对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数的整数倍。


5. 当结构体里有数组的时候,我们数组的对齐数是数组中一个元素的大小,之后在占整个数组大小的空间。5. 使用下面的代码可以设置默认对齐数:

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


二、求结构体大小的例题 (都按编辑器没有默认对齐数)

1. 例题1

#include <stdio.h>
struct S1
{
    char c1;
    int i;
    char c2;
};
int main()
{
    printf("%lu",sizeof(struct S1));
    return 0;
}

答案及解析 12

2. 例题2

#include <stdio.h>
struct S2
{
    char c1;
    char c2;
    int i;
};
int main()
{
    printf("%lu\n", sizeof(struct S2));
    return 0;
}


答案及解析 8

153. 例题3

#include <stdio.h>
struct S3
{
    double d;
    char c;
    int i;
};
int main()
{
    printf("%lu\n", sizeof(struct S3));
    return 0;
}


答案及解析 16

4. 例题4 (嵌套结构体)

#include <stdio.h>
struct S3
{
    double d;
    char c;
    int i;
};
struct S4
{
    char c1;
    struct S3 s3;
    double d;
};
int main()
{
    printf("%lu\n", sizeof(struct S4));
    return 0;
}


答案及解析 32

5. 例题5(结构体内部有数组)

#include <stdio.h>
struct S1
{
    char c1;
    int arr[6];
};
int main()
{
    printf("%lu",sizeof(struct S1));
    return 0;
}


答案及解析 28

三、联合体的计算规则


联合体是共用同一块空间的;

1. 联合的大小至少是最大成员的大小

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

3. 数组的对齐数是数组的一个元素的大小,再占整个数组大小的空间。

四、求union联合体大小的例题

1. 例题1

#include <stdio.h>
union Un1
{
    char c[5];
    int i;
};
int main()
{
    printf("%lu\n", sizeof(union Un1));
    return 0;
}

答案及解析  8

2. 例题2

#include <stdio.h>
union Un2
{
    short c[7];
    int i;
};
int main()
{
    printf("%lu\n", sizeof(union Un2));    
    return 0;
}

答案及解析 16

五、求类大小


向结构体看齐,一样的规则哦!但是有几点不跟结构体一样;


1. 类的内部有成员变量和成员函数,我们只算成员变量的就行,不需要算成员函数;


2. 不包含成员变量的类默认的大小是1字节,空类也是1字节


3. 静态成员变量不属于实例化对象,所以不会占类的空间,因为静态成员变量是一种特殊的静态全局变量,写在类里是为了表明它在哪个作用域而已。


4. 类里面包含类,计算大小的时候,不需要算类里面的类,内部的类其是跟我们外部的类平行的关系,放在类里面只是为了在访问的时候,需要指明在哪个作用域里。

1. 例题1

#include <iostream>
using namespace std;
class A
{
public:
    void Print()
    {
        cout << "Print()" << endl;
    }
private:
};
int main()
{
    cout << sizeof(A) << endl;
    return 0;
}


答案及解析 1

没有成员变量的类大小为1个字节;

2. 例题2

#include <iostream>
using namespace std;
class A
{
public:
    void Print()
    {
        cout << "Print()" << endl;
    }
private:
    double _a;
    char _b;
    int _c;
};
int main()
{
    cout << sizeof(A) << endl;
    return 0;
}

答案及解析 16

算类的大小,只需要算成员变量的大小,不需要算成员函数,因为成员函数属于类的共有部分,每个实例化对象都有这个函数,难bfb411d05853410ea73970360a138f81.png道我们每次实例化一次对象,就要创造成员函数吗?很显然不是,因为太消耗空间里,而每个实例化对象都必须有属于自己的成员变量,这是毋庸置疑的;




3. 例题3 (静态成员变量)

#include <iostream>
using namespace std;
class A
{
public:
    void Print()
    {
        cout << "Print()" << endl;
    }
private:
    double _a;
    static int _b;
};
int main()
{
    cout << sizeof(A) << endl;
    return 0;
}


答案及解析 8

静态成员变量是所有类的实例化对象共享的,并不是每个对象都要创建的,所以跟成员函数一个道理,不用算

4. 例题4 (类类型的成员变量)

#include <iostream>
using namespace std;
class A
{
public:
    void Print()
    {
        cout << "Print()" << endl;
    }
private:
    double _a;
};
class B
{
private:
    int _b;
    A _a;
};
int main()
{
    cout << sizeof(B) << endl;
    return 0;
}


答案及解析 16

要注意的是这不是内部类,是在成员变量里有一个A类类型的变量,这就跟结构体里面有另外一个结构体变量一样,如果一个结构体的成员有另一个结构体类型的变量,这个结构体类型的变量要对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数的整数倍。

b11eae4d11764dd1bb23bc137c987c13.png

5. 例题5 (内部类)

#include <iostream>
using namespace std;
class A
{
public:
    void Print()
    {
        cout << "Print()" << endl;
    }
private:
    double _a;
    class B
    {
    private:
        int _b;
    };
};

答案及解析 8

内部类不需要算,因为是与外部类平行的关系

相关文章
|
4月前
|
Arthas 存储 算法
深入理解JVM,包含字节码文件,内存结构,垃圾回收,类的声明周期,类加载器
JVM全称是Java Virtual Machine-Java虚拟机JVM作用:本质上是一个运行在计算机上的程序,职责是运行Java字节码文件,编译为机器码交由计算机运行类的生命周期概述:类的生命周期描述了一个类加载,使用,卸载的整个过类的生命周期阶段:类的声明周期主要分为五个阶段:加载->连接->初始化->使用->卸载,其中连接中分为三个小阶段验证->准备->解析类加载器的定义:JVM提供类加载器给Java程序去获取类和接口字节码数据类加载器的作用:类加载器接受字节码文件。
400 55
|
2月前
|
安全 C语言 C++
比较C++的内存分配与管理方式new/delete与C语言中的malloc/realloc/calloc/free。
在实用性方面,C++的内存管理方式提供了面向对象的特性,它是处理构造和析构、需要类型安全和异常处理的首选方案。而C语言的内存管理函数适用于简单的内存分配,例如分配原始内存块或复杂性较低的数据结构,没有构造和析构的要求。当从C迁移到C++,或在C++中使用C代码时,了解两种内存管理方式的差异非常重要。
114 26
|
3月前
|
C语言 C++
c与c++的内存管理
再比如还有这样的分组: 这种分组是最正确的给出内存四个分区名字:栈区、堆区、全局区(俗话也叫静态变量区)、代码区(也叫代码段)(代码段又分很多种,比如常量区)当然也会看到别的定义如:两者都正确,记那个都选,我选择的是第一个。再比如还有这样的分组: 这种分组是最正确的答案分别是 C C C A A A A A D A B。
45 1
|
3月前
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
75 0
|
3月前
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
155 0
|
5月前
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
154 12
|
6月前
|
存储 Linux C语言
C++/C的内存管理
本文主要讲解C++/C中的程序区域划分与内存管理方式。首先介绍程序区域,包括栈(存储局部变量等,向下增长)、堆(动态内存分配,向上分配)、数据段(存储静态和全局变量)及代码段(存放可执行代码)。接着探讨C++内存管理,new/delete操作符相比C语言的malloc/free更强大,支持对象构造与析构。还深入解析了new/delete的实现原理、定位new表达式以及二者与malloc/free的区别。最后附上一句鸡汤激励大家行动缓解焦虑。
|
6月前
|
编译器 C++
类和对象(中 )C++
本文详细讲解了C++中的默认成员函数,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载和取地址运算符重载等内容。重点分析了各函数的特点、使用场景及相互关系,如构造函数的主要任务是初始化对象,而非创建空间;析构函数用于清理资源;拷贝构造与赋值运算符的区别在于前者用于创建新对象,后者用于已存在的对象赋值。同时,文章还探讨了运算符重载的规则及其应用场景,并通过实例加深理解。最后强调,若类中存在资源管理,需显式定义拷贝构造和赋值运算符以避免浅拷贝问题。
|
6月前
|
存储 编译器 C++
类和对象(上)(C++)
本篇内容主要讲解了C++中类的相关知识,包括类的定义、实例化及this指针的作用。详细说明了类的定义格式、成员函数默认为inline、访问限定符(public、protected、private)的使用规则,以及class与struct的区别。同时分析了类实例化的概念,对象大小的计算规则和内存对齐原则。最后介绍了this指针的工作机制,解释了成员函数如何通过隐含的this指针区分不同对象的数据。这些知识点帮助我们更好地理解C++中类的封装性和对象的实现原理。
|
6月前
|
编译器 C++
类和对象(下)C++
本内容主要讲解C++中的初始化列表、类型转换、静态成员、友元、内部类、匿名对象及对象拷贝时的编译器优化。初始化列表用于成员变量定义初始化,尤其对引用、const及无默认构造函数的类类型变量至关重要。类型转换中,`explicit`可禁用隐式转换。静态成员属类而非对象,受访问限定符约束。内部类是独立类,可增强封装性。匿名对象生命周期短,常用于临时场景。编译器会优化对象拷贝以提高效率。最后,鼓励大家通过重复练习提升技能!