【C++常见八股1】内存布局 | 参数压栈 | 构造析构调用 | 空类大小

内存布局

• .text 代码段：存放二进制代码、字符串常量
• .data 段：存放已初始化全局变量、静态变量、常量，且初始值不为 0
• .bss 段：未初始化全局变量，未初始化静态变量，或者初始值为 0 的
• heap 堆区：new/malloc 手动分配的内存，需要手动释放
• stack 栈区：局部变量、函数参数，出作用域自动释放

参考：

• https://blog.csdn.net/u012398613/article/details/52368408
• https://www.zhihu.com/tardis/zm/art/77122692
• https://crifan.github.io/cpu_emulator_unicorn/website/how_use/background/mem_layout/typical_layout.html

ELF 表

压栈顺序

函数参数压栈顺序是从右向左的：ebp + n 访问对应的参数

• ESP：栈指针寄存器(extended stack pointer)，其内存放着一个指针，该指针永远指向系统栈最上面一个栈帧的栈顶
• EBP：基址指针寄存器(extended base pointer)，其内存放着一个指针，该指针永远指向系统栈最上面一个栈帧的底部

todo

push ebp
mov ebp, esp
sub esp, 4CP

构造析构顺序

任意的C++编译在使用临时对象构造新对象时都会优化，也就是不用生成临时对象，直接拷贝构造新对象，常见的就是 return 返回值优化（Named Return Value, NRV 优化），也就是说对于像 string = string(“hello”); 这样的语句可以直接调用拷贝构造，不会生成中间临时对象 “hello” 字符串

#include <iostream>
#include <string>
using namespace std;

string func(string s1, string s2)
{
    string tmp = "fff";
    return tmp;
}

int main()
{
    string s = func(s1, s2); // 直接拷贝构造 s
}
// 构造析构顺序，考虑参数压栈
// 1. s2 拷贝构造，s1 拷贝构造
// 2. tmp 拷贝构造（注意不是复制构造）
// 3. return tmp -> s，s 拷贝构造（NRV 优化）
// 4. tmp 析构，s1 析构，s2 析构（离开 func 作用域）
// 5. s 析构（离开 main 函数）

空类大小

C 和 C++ 情况不一样

• C 中 VS 15/17/19/20 不允许定义空的结构体，gcc linux/unix 系统下 sizeof() = 0
• C++ 中 sizeof() = 1，因为 C++ 中对象需要内存+构造才能生成，没有地址怎么构造呢，所以需要在 this 指针所指的地址构造对象

🔥 C++ 面经总结 🔥