C++内存分区：栈、堆与全局区详解

C++程序内存分为栈、堆、全局/静态区和代码区。栈用于函数调用和局部变量，由编译器自动管理，速度快但容量有限，过深递归或大局部数组易导致栈溢出。堆用于动态内存分配，通过new和delete手动管理，灵活性高但管理不当易引发内存泄漏或悬挂指针。全局/静态存储区存放全局变量和静态变量，程序启动时分配，结束时释放，生命周期长于函数调用。代码区存储程序的机器指令，只读且大小固定。理解各区域特性有助于避免内存问题，提升程序稳定性与效率。

C++程序的内存主要分为栈、堆、全局/静态存储区和代码区这几个部分。栈用于管理函数调用和局部变量，堆用于动态内存分配，全局/静态存储区存放全局变量和静态变量，代码区则存放程序的机器指令。理解这些分区对于编写高效且无bug的C++程序至关重要。

栈、堆、全局区，C++内存分区全解

C++程序在运行时，操作系统会为其分配内存，这块内存会被划分为不同的区域，各自承担不同的职责。理解这些区域的工作方式，能帮助我们更好地管理内存，避免内存泄漏等问题。

C++栈内存：为什么函数调用和局部变量要放在这里？

栈内存，顾名思义，就像一个堆叠起来的栈。它的特点是后进先出（LIFO）。当一个函数被调用时，会在栈上分配一块空间，用于存放函数的参数、局部变量以及函数返回地址等信息，这个过程叫做“压栈”。函数执行完毕后，这块空间会被自动释放，这个过程叫做“弹栈”。

栈内存的分配和释放由编译器自动管理，速度非常快。但是，栈的大小是有限制的，如果函数调用层级过深，或者局部变量占用空间过大，就可能导致栈溢出（Stack Overflow）。

例如，下面这段代码就可能导致栈溢出：

void recursive_function() {
  int arr[100000]; // 占用大量栈空间
  recursive_function();
}

int main() {
  recursive_function();
  return 0;
}

在这个例子中，recursive_function 函数不断地调用自身，每次调用都会在栈上分配 arr 数组的空间，最终导致栈空间耗尽。

所以，在使用栈内存时，需要注意控制局部变量的大小，避免过深的函数调用。

C++堆内存：动态内存分配的秘密

堆内存则与栈内存不同，它是一块可以动态分配和释放的内存区域。程序员可以使用 new 运算符在堆上分配内存，使用 delete 运算符释放内存。

堆内存的优点是灵活性高，可以根据程序的需要动态地分配任意大小的内存。但是，堆内存的管理也更加复杂，需要程序员手动进行分配和释放。如果忘记释放已经分配的堆内存，就会导致内存泄漏（Memory Leak）。

例如：

int* ptr = new int[100]; // 在堆上分配 100 个 int 的空间
// ... 使用 ptr
delete[] ptr; // 释放 ptr 指向的堆内存
ptr = nullptr; // 防止悬挂指针

在这个例子中，我们使用 new 运算符在堆上分配了一块空间，然后使用 delete[] 运算符释放了这块空间。如果忘记 delete[] ptr; 这一行代码，就会导致内存泄漏。

此外，如果释放了已经释放的堆内存，或者使用了已经释放的堆内存，就会导致悬挂指针（Dangling Pointer）问题，这是一种非常危险的错误。为了避免悬挂指针，通常在释放内存后，会将指针设置为 nullptr。

C++全局/静态存储区：全局变量和静态变量的家

全局/静态存储区用于存放全局变量和静态变量。全局变量是在函数外部定义的变量，静态变量是在函数内部或外部使用 static 关键字定义的变量。

全局变量的生命周期是整个程序的运行期间，静态变量的生命周期是从变量定义开始到程序结束。全局变量和静态变量在程序启动时分配内存，在程序结束时释放内存。

全局变量和静态变量都存放在同一块内存区域，它们的主要区别在于作用域。全局变量的作用域是整个程序，而静态变量的作用域则取决于其定义的位置。

例如：

int global_var = 10; // 全局变量

void func() {
  static int static_var = 20; // 静态变量
  static_var++;
  std::cout << "static_var = " << static_var << std::endl;
}

int main() {
  func(); // 输出 static_var = 21
  func(); // 输出 static_var = 22
  return 0;
}

在这个例子中，global_var 是一个全局变量，可以在程序的任何地方访问。static_var 是一个静态变量，它只在 func 函数内部可见，但是它的值在多次函数调用之间保持不变。

C++代码区：程序的指令存储地

代码区用于存放程序的机器指令。这块区域通常是只读的，不允许程序修改其中的内容。代码区的大小在程序编译时就已经确定，不会发生变化。

理解代码区的存在，有助于我们理解程序的执行过程。例如，当程序调用一个函数时，实际上是跳转到代码区中该函数对应的指令位置开始执行。

如何避免C++内存泄漏？

内存泄漏是C++程序中常见的问题，它会导致程序占用越来越多的内存，最终导致程序崩溃。避免内存泄漏的关键在于：

1. 分配和释放配对： 使用 new 运算符分配的内存，必须使用 delete 运算符释放；使用 new[] 运算符分配的数组内存，必须使用 delete[] 运算符释放。
2. 使用智能指针： 智能指针可以自动管理内存的分配和释放，避免忘记释放内存的问题。C++11 提供了 unique_ptr、shared_ptr 和 weak_ptr 等智能指针类型。
3. 避免悬挂指针： 释放内存后，将指针设置为 nullptr，避免使用已经释放的内存。
4. 使用内存分析工具： 使用内存分析工具可以帮助我们检测程序中的内存泄漏问题。常用的内存分析工具有 Valgrind、AddressSanitizer 等。

理解C++程序的内存分区，是编写高质量C++程序的基础。只有掌握了内存管理的知识，才能写出高效、稳定、可靠的程序。