在C++程序的内存布局中，全局变量属于静态存储区，其内存分配和释放的时机与函数内的局部变量完全不同，当在函数内部操作全局变量时，会对整个程序的内存管理产生多方面的影响。
全局变量的内存存储特性
全局变量在程序启动时就会被分配内存，存储在静态存储区，直到程序结束才会释放，其生命周期覆盖整个程序运行过程。和存储在栈区的局部变量相比，全局变量不会因为函数的调用和返回而发生内存的分配与释放。
我们可以通过一段简单的代码观察全局变量和局部变量的内存地址差异：
#include <iostream>
// 定义全局变量
int global_var = 10;
void test_func() {
// 定义局部变量
int local_var = 20;
std::cout << "全局变量地址: " << &global_var << std::endl;
std::cout << "局部变量地址: " << &local_var << std::endl;
}
int main() {
test_func();
return 0;
}
函数内使用全局变量对内存管理的直接影响
1. 内存分配释放开销变化
函数内的局部变量每次调用函数时都会在栈上分配内存，函数返回时自动释放，这个过程会有一定的栈操作开销。而全局变量已经在静态区分配好内存，函数内使用全局变量时不需要额外的内存分配释放操作，从这个角度看可以减少部分内存管理的开销。
2. 内存占用稳定性变化
全局变量始终占用静态区的内存，不会因为函数调用结束而释放，即使某个函数只在初始化阶段使用一次全局变量，该全局变量对应的内存也会一直被占用，可能导致程序整个运行周期的内存占用偏高，尤其是当全局变量是大对象时，这种影响会更加明显。
比如下面的例子中，全局的大数组会一直占用内存：
#include <iostream>
// 全局大数组，占用4*100000字节内存
int global_big_array[100000];
void init_array() {
for (int i = 0; i < 100000; i++) {
global_big_array[i] = i;
}
}
int main() {
init_array();
// 即使后续不再使用global_big_array，它占用的内存也不会释放
return 0;
}
3. 潜在的内存泄漏风险
如果全局变量是指针类型，并且在函数内被重新分配内存，很容易引发内存泄漏。因为全局指针的生命周期很长，如果开发者忘记在函数内释放之前分配的内存就重新赋值，那么之前的内存就会无法被回收。
示例代码如下：
#include <iostream>
// 全局指针
int* global_ptr = nullptr;
void func_leak() {
// 第一次分配内存
global_ptr = new int(10);
// 没有释放之前的内存，直接重新分配，导致第一次分配的内存泄漏
global_ptr = new int(20);
}
int main() {
func_leak();
// 程序结束前如果没有delete global_ptr，还会泄漏第二次分配的内存
return 0;
}
函数内使用全局变量的间接内存影响
1. 多线程场景下的内存竞争问题
如果函数被多个线程调用，同时操作全局变量，会引发数据竞争问题，为了保证内存操作的原子性，往往需要加锁，而锁的使用会引入额外的内存开销（比如互斥锁本身需要占用内存），同时也会影响内存操作的效率。
2. 对内存碎片的影响
全局变量存储在静态区，静态区的内存是连续分配的，不会像堆区那样频繁分配释放产生内存碎片。但如果函数内频繁修改全局指针指向的堆内存，还是可能间接导致堆区的内存碎片问题。
合理的实践建议
如果不是必须的场景，尽量不要在函数内使用全局变量，优先使用局部变量或者函数参数传递数据。如果确实需要使用全局变量，建议遵循以下原则：
- 尽量将全局变量定义为
const类型，避免函数内意外修改 - 全局指针变量如果需要动态分配内存，要明确内存的分配和释放责任，最好封装对应的初始化和销毁函数
- 多线程场景下操作全局变量时，要做好同步保护，避免内存竞争
总的来说，函数内使用全局变量对内存管理的影响主要来自其静态存储的特性，既可能减少部分栈内存操作的开销，也可能带来内存占用过高、泄漏、竞争等问题，需要开发者根据实际场景合理权衡。