sizeof类大小 + 程序内存空间理解 + const变量的生命周期实现

最新推荐文章于 2024-01-24 11:42:10 发布
最新推荐文章于 2024-01-24 11:42:10 发布
阅读量806 收藏
点赞数
分类专栏： 实验测试-语言特性 底层函数实现/数据结构 文章标签： 系统架构 c++ 数据结构
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ahundredmile/article/details/126713628
版权

sizeof类大小 + 程序内存空间理解 + const变量的生命周期实现

本文将通过测试C++中sizeof类大小，进一步理解进程内存空间，并理解const局部变量的生命周期不发生改变的原因。

文章目录

0. sizeof的返回值是什么？

class A {...};

简单来说，sizeof(A)是用来获取**「编译器需要为一个类(在堆/栈上)分配空间的大小」**

0.1 一个进程的内存空间如图所示⬇️

注意关注.text, .data, .bss, .rodata都存储了什么内容（它们均不属于堆/栈的范畴，一般被称为静态存储区）。

image-20220905205320876

1. sizeof空类

class A {
  
};

std::cout << sizeof(A);   // 1

这是因为空类也要进行实例化——即，即使是空类，也需要存储空间，但是由于类里面没有任何成员，编译器会对空类隐含添加一个字节（保证类在内存中有地址）。

2. sizeof 仅包含成员函数的类

class B {
public: 
    void B_print() {
        cout << "B_print func" << endl;
    }
};

std::cout << sizeof(B);   // 1

因为类中的成员函数是存放在代码段（.text），因此分配类B的时候，不需要为B_print()在堆上分配任何空间。

3. sizeof 包含虚函数的类

这个部分主要是虚函数表，多继承的虚函数表的内容，如果对下面内容云里雾里，可以看我的文章 C++ 虚函数表解析（64位版）

3.1 单一虚函数

class C {
public: 
    virtual void C_print1() {
        cout << "C_print func" << endl;
    }
};

std::cout << sizeof(C);   // 8

这里sizeof(C) = 8是因为，虚函数的特点：在定义了虚函数的类中，类中需要保存一个虚函数表的首地址，因为我这里是64bit系统，因此虚函数表的首地址是8B，所以输出为8。

3.2 多个虚函数

class C2 {
public: 
    virtual void C2_print1() {
        cout << "C2_print func" << endl;
    }
    virtual void C2_print2() {
        cout << "C2_print func" << endl;
    }
};

std::cout << sizeof(C2);   // 8

正如3.1中所说，我们只是保存了虚函数表的首地址，因此还是8。示意图如下⬇️

image-20220905185429209

3.3 继承

class C3 : C {

};

std::cout << sizeof(C3);   // 8

继承后C3类继承了C的虚函数表，因此也是输出8。

3.4 多重继承

class C4 : C, C2 {

};

std::cout << sizeof(C4);   // 16

这里也是继承的特性，当多重继承的时候，类型C4的首地址保存的是C的虚函数表首地址，下一个地址保存的是C2的虚函数表的首地址。如图所示⬇️

image-20220905185933635

4. 变量（对齐）

class D {
public:
    uint8_t d0;
    uint32_t d1;
    uint64_t d2;
};

std::cout << sizeof(D);   // 16

5. 析构函数和构造函数

class E {
public:
    E(int e){cout << "e = " << e << endl;}
    ~E(){}
private:
    uint32_t e = 0;
}; 

std::cout << sizeof(D);   // 4

这里有一个变量是uint32因此输出结果是4B说明析构函数和构造函数也是不占用类的存储空间的。

6. 静态变量

// sizeof(F) = 1
class F {
public:
    static uint64_t h;
};

std::cout << sizeof(F);   // 1

静态变量是存储在.data(其实这里应该是.bss)中的，也不占用类的存储空间，因此这里输出sizeof(F)是1。

PS: 已经初始化的静态变量放在.data中；未初始化或者初始化为0的静态变量保存在.bss段中。其实.bss段和.data段是完全重叠的，也就是.bss中的数据全都是0，因此我们不需要进行存储，只需要做个标记就行。

7. const类型变量

// sizeof(H) = 32
class H {
public:
    const string str_helo = "helo";
};

std::cout << sizeof(H);   // 32

sizeof(H) = 32着实令人困惑：按理说，const的内容是存放在.rodata(只读数据段)中的，也就是理论上也并不会占用类的空间，但是为什么输出结果是32呢？这里和const变量的特性有关系。

7.1 扩展：试想一下，如果我们将const 的局部变量也放在.rodata中，会发生什么？（生命周期发生变化）

  • 参考static变量放在.data / .bss 段，static的生命周期将是整个程序的生命周期，因为它并不存放在堆/栈上，而是存在静态存储区。

​ ——也就是如果我们简单的把const的局部变量放在.rodata中，const的局部变量也会发生类似于static变量的特性，即生命周期是整个程序的生命周期，但是事实是，const仍然保留了局部变量的特性，它的生命周期相对普通局部变量并没有发生改变。

7.2 扩展：那么编译器是怎么做到这一点（让const局部变量的生命周期不发生改变）的呢？

其实编译器做的是：在定义的时候将它放在.rodata中，但是使用的时候是从.rodata中copy一个变量过来。其实我们真正使用的是copy过来的局部变量，因此在我们看来生命周期没有发生改变。

回到sizeof的问题，因为编译器要对const局部变量做上述操作，因此我们在创建一个类的时候，要给cnost成员变量分配存储空间，所以sizeof(H) = 32。

8. 本文的完整例程

8.1 源码

#include <bits/stdc++.h>
using namespace std;


class A {

};

class B {
public: 
    void B_print() {
        cout << "B_print func" << endl;
    }
};

class C {
public: 
    virtual void C_print1() {
        cout << "C_print func" << endl;
    }
};

class C2 {
public: 
    virtual void C2_print1() {
        cout << "C2_print func" << endl;
    }
    virtual void C2_print2() {
        cout << "C2_print func" << endl;
    }
};

class C3 : C {

};

class C4 : C, C2 {

};

class D {
public:
    uint8_t d0;
    uint32_t d1;
    uint64_t d2;
};

// 包含构造函数和析构函数的类
class E {
public:
    E(int e){cout << "e = " << e << endl;}
    ~E(){}
private:
    uint32_t e = 0;
}; 

// sizeof(F) = 1
class F {
public:
    static uint64_t h;
};

// sizeof(H) = 32
class H {
public:
    const string str_helo = "helo";
};

void test_sizeof() {
    // F::h = 1;
    cout << "sizeof(A) = " <<sizeof(A) << endl;          // 1
    cout << "sizeof(B) = " <<sizeof(B) << endl;          // 1
    cout << "sizeof(C) = " <<sizeof(C) << endl;          // 8
    cout << "sizeof(C2) = " <<sizeof(C2) << endl;        // 8
    cout << "sizeof(C3) = " <<sizeof(C3) << endl;        // 8 
    cout << "sizeof(C4) = " <<sizeof(C4) << endl;        // 16
    cout << "sizeof(D) = " <<sizeof(D) << endl;          // 16
    cout << "sizeof(E) = " <<sizeof(E) << endl;          // 4
    cout << "sizeof(F) = " <<sizeof(F) << endl;          // 1
    cout << "sizeof(H) = " <<sizeof(H) << endl;          // 32
    cout << "sizeof(H) = " <<sizeof(H) << endl;          // 32
}


int main() {
    test_sizeof();
    exit(0);
}

8.2 运行命令

注意我指的是Linux或者MacOS系统下⬇️

将8.1中代码保存在sizeof_class.cpp中。

编译⬇️（命令行）

g++ sizeof_class.cpp -o sizeof_class

执行⬇️（命令行）

./sizeof_class

8.3 输出结果

sizeof(A) = 1
sizeof(B) = 1
sizeof(C) = 8
sizeof(C2) = 8
sizeof(C3) = 8
sizeof(C4) = 16
sizeof(D) = 16
sizeof(E) = 4
sizeof(F) = 1
sizeof(H) = 32
sizeof(H) = 32

蔚天灿雨 2022.09.05

蔚天灿雨
关注
专栏目录
sizeof求结构体内存大小
飞翔在北京的博客
08-12 1029
首先不考虑设定字节对齐的大小： 首先要找到结构体中或类中最大的变量的大小，比如 struct A { char a; int b; double c; }; 在计算这个结构体的所占字节大小的时候，首先要获得结构体中最大的所占字节的大小，即double c的大小，即8；在计算最后的大小的时候，要补齐成最大的变量的整数倍，即8的整数倍； 然后就是开始一个一个计算大小了 a
const变量生存周期_C++学习大纲：变量的生存期
weixin_39884323的博客
12-01 667
C++ 变量的生存期变量的生存期是指其在程序运行时占用内存空间的时间段。1. 静态生存期 从程序开始执行时分配到程序结束时收回。 如：全局变量2. 自动生存期 从程序执行到定义它们的复合语句时分配到复合语句执行完毕时收回。 如：局部变量、函数的参数3. 动态生存期 用new操作或者malloc函数来进行分配，用delete操作或者调用free函数来收回。附：1. 在定义局部变量时，使用auto、s...
C++临时变量的生命周期
weixin_34043301的博客
08-11 393
C++ 中的临时变量指的是那些由编译器根据需要在栈上产生的，没有名字的变量。主要的用途主要有两类： 1) 函数的返回值, 如: 1 string proc() 2 { 3 return string("abc"); 4 } 5 6 int main() 7 { 8 proc(); 9 return 0; 10 } ...
C++学习记录 二、指针，通讯录管理系统
qq_39274501的博客
09-23 1129
再系统地过一次，夯实基础 学习目标： 过一遍黑马程序员C/C++学习视频 文章目录学习目标：学习内容：7. 指针 （后续都用超链接更新）二、通讯录关系系统三、C++核心编程四、基于多态的企业职工系统五、C++提高变成六、基于STL泛化变成的演讲比赛七、C++实战项目机房预约管理系统学习时间：学习产出： 学习内容： ## 一、C++基础入门 7. 指针 （后续都用超链接更新） 二、通讯录关系系统 三、C++核心编程 四、基于多态的企业职工系统 五、C++提高变成 六、基于STL泛化变成的演讲比
python编程中要注意什么_Python编程中运用闭包时所需要注意的一些地方
weixin_39636608的博客
11-26 102
写下这篇博客，起源于Tornado邮件群组的这个问题how to use outer variable in inner method，这里面老外的回答很有参考价值，关键点基本都说到了。我在这里用一些有趣的例子来做些解析，简要的阐述下Python的闭包规则，首先看一个经典的例子:def foo():a = 1def bar():a = a + 1# print a + 1# b = a + 1# ...
C语言数据类型、变量、常量、作用域和生命周期的概念解释和案例
m0_69548279的博客
12-08 427
字面常量const修饰的常变量#define定义的标识符常量枚举常量int main(){3.14159;//字面常量10000;//字面常量return 0;}int main(){//100和1000就是常量，直接使用return 0;}int main(){//pai是常变量不可被修改！！！return 0;}这是在定义一个变量pai，而前面加了const则给这个变量pai赋予了常属性，意思就是pai可以当作常量去使用但是严格意义上pai还是一个变量。
C程序的内存空间布局（栈、堆、数据区、常量区、代码区）
最新发布
mhyasadj的博客
01-24 1411
较详细的介绍了栈、堆、数据区、常量区、代码区
C++类型转换与内存管理：理解转换与对象生命周期的复杂关系
[C++类型转换与内存管理：理解转换与对象生命周期的复杂关系](https://img-blog.csdnimg.cn/7e23ccaee0704002a84c138d9a87b62f.png) # 1. C++类型转换基础概述 C++语言提供了多种类型转换机制，允许程序员在不同的...
C语言内存管理：深入理解分配区域
在C语言中，内存管理是编程者需要理解的重要概念，它涉及到程序运行时数据的存储位置和生命周期。以下是关于C语言内存分配的详细解析： 1. **程序代码区**：这部分内存存储着函数体的机器码，是程序执行的基础。 2...
c/c++作用域和生命周期
藓类少女的博客
04-16 719
作用域： 一个变量可以被引用的范围。有全局作用域（只需在一个源文件中定义，就可以作用于所有的源文件），局部作用域（只在定义该变量的个体内可见），文件作用域（只在被定义的文件中可见）。 从变量的作用域角度来分，可以分为：全局变量 局部变量 局部变量也称为内部变量。局部变量是在函数内作定义说明的。其作用域仅限于函数内，离开该函数后再使用这种变量是非法的。 全局变量也称为外部变量，它是在函数外部定义的变量。它不属于哪一个函数，它属于一个源程序文件。其作用域是整个源程序。 生命周期： 变量存在的时间。
const 常量_第3课-进化后的const分析
weixin_39716521的博客
11-28 104
一、C语言中的const(1) const修饰的变量是只读的，本质还是变量；(2) const修饰的局部变量在栈上分配空间；(3) const修饰的全局变量在只读存储区分配空间；(4) const只在编译期有用，在运行期无用；(5) const修饰的变量不是真的常量，它只是告诉编译器该变量不能出现在赋值符号的左边；例如可 以通过指针修改该变量的值。(6) const将具有全局生命周期的变量存储于只...
C：请描述一个可执行程序占用的内存分为哪几个区？每个分区各自的作用？
诸葛一帆丶的博客
11-26 3923
C：请描述一个可执行程序占用的内存分为哪几个区？每个分区各自的作用？
static 、全局变量、const变量，局部变量的作用域，生命周期问题
zzc222zzc的博客
04-23 7213
（1）static     作用域 ： 当前“源”文件中，其他文件无法访问    生命周期：整个程序运行过程测试1（静态变量放在cpp文件中）：    .h文件代码如下：#ifndef __FUNCTION_H__ #define __FUNCTION_H__ void print_var_1(); void print_var(); #endif // !__FUNCTION_H_.cpp文...
c语言中sizeof占几个字节,C语言中sizeof问题
weixin_27322123的博客
05-17 635
char?acLineBuff[1024 1];printf("%d",?sizeof(acLineBuff));结果是什么呢？绝大多数情况下应该是1025，但绝不是唯一确定的结论，要具体看C编译器使用的数据模型是什么，当然假如acLinBuff[]是一个函数的形参其结果又有不同。所以我的回答实际上超过了题主的问题范围，就算是一个理工男的无聊喧嚣吧。一、sizeof(char)的结果与C编译器的实...
程序员面试宝典学习笔记 第6章 预处理，const和sizeof
weixin_42219542的博客
10-06 700
目录6.1 宏定义面试题1，2：考点1）#define的语法不能以分号结束2）宏定义中变量要小心的用括号包起来3）宏定义和inline都是代码嵌入方式，为达到性能要求，嵌入代码经常是必须的方法6.2 const面试题1：考点，const修饰指针的4种常见情况和const修饰成员变量const修饰指针4种常见情况1）const int* a = b2）int const* a = b3）int* const a = &b4）const int* const a = &bconst成员函数1）c
《C语言笔记：指针和强制类型转换》
qq_40709487的博客
11-06 387
一，变量的数据类型的含义 　　1，所有类型的数据都是以二进制的形式存储在内存中的。内存中只知道有0和1，不知道是int的还是float还是其他类型。 　　2，int、char、short等属于整型，它们的存储方式(数据转换成二进制数在内存中的存放方式)是相同的，只是内存格子的长度不同(所以这几种整型就彼此叫二进制兼容格式)；而float和double的存储方式彼此不同，和整型就更不相同了...
C51开发中的static, const, code关键字
IOsetting的专栏
08-20 3847
max7219是一个用于驱动8位7段数字LED或者8x8点阵LED的驱动芯片, 以列扫描的方式, 用16个pin管理64个发光点, 显示8个数字时刷新率为500-1300Hz, 典型值为800Hz. pin脚功能 DIG0 - DIG7: 这个8个pin, 分别代表一个7段数字+点号 SEGA - SEGG, DP: A-G每个代表7段数字里的一段, DP代表数字间的小数点 每一段的驱动电流是40mA, 如果负载需要更大的电流, 需要外接硬件驱动 V+, GND: 电压和接地 DIN: 串行数据输入
C语言far关键字作用
没有时间把一件事情做好，却有时间把一件事情反复做
10-14 3815
far即为远地址，16位模式下（如80x86系列）内存是分段寻址的； （一个段就是 2^16，即64k） 指定void   far   fun1();的话，是说函数fun1的入口点在其它段中，调用时将用到段地址；  如果指定为near的话，入口点将在本段之内，调用时值使用段内的偏移地址。  32位中采用线性的平坦寻址方式，这一概念已被抛弃了，内存中地址统一为32位宽，大体  说来就是这
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值