C/C++ 中的变量存储位置：栈、堆、全局 / 静态区详解

前言

在 C/C++ 开发中，变量的存储位置直接决定了它的生命周期、作用域、内存分配方式以及使用风险（如内存泄漏、栈溢出、野指针）。很多新手常混淆栈变量、堆变量、全局变量的区别，本文将从内存布局、存储类型、代码示例、核心特性四个维度，根据个人理解程度对 C/C++ 变量的存储规则，或许有助于自己深刻理解或者帮助有需要的人内存相关的核心知识点。

阅读本文你将收获：

1. C/C++ 程序的标准内存布局
2. 5 大变量存储位置的核心区别
3. 不同类型变量的分配 / 释放规则与适用场景
4. 高频面试题 + 实战避坑指南

一、C/C++ 程序内存布局（核心基础）

一个运行的 C/C++ 程序，内存会被划分为5 个核心区域，变量会根据定义方式被分配到不同区域：

重点：变量存储位置 = 定义方式 + 关键字修饰，和变量类型（int/char/ 指针）无关！

二、五大存储位置详细解析

1. 栈区（stack）—— 自动管理的临时变量

定义规则

• 函数内部定义的非 static 局部变量
• 函数的形参、返回值
• 代码块（{}）内定义的变量

核心特性

• 自动分配，自动释放：函数执行结束，系统立即回收栈内存，变量失效
• 空间小：默认栈大小通常只有几 MB（Windows 1MB，Linux 8MB）
• 分配速度快：仅需移动栈指针，无内存碎片
• 地址连续：栈内存从高地址向低地址生长
• 风险：定义过大数组会触发栈溢出

代码示例

#include <stdio.h>

// 形参a、b 存储在栈区
void test(int a, int b) {
    int c = 10;        // 局部变量，栈区
    static int d = 20; // static修饰，不在栈区（全局/静态区）
    printf("栈变量c：%d\n", c);
}

int main() {
    test(1, 2);
    // c 已被系统释放，无法访问
    return 0;
}

避坑指南

❌ 禁止在栈上定义超大数组：

// 错误：栈空间不足，直接栈溢出
int arr[1024 * 1024 * 10]; 

2. 堆区（heap）—— 手动管理的动态内存

定义规则

• C 语言：malloc/calloc/realloc 申请
• C++ 语言：new/new[] 申请

核心特性

• 手动分配，手动释放：必须调用free/delete释放，否则内存泄漏
• 空间大：几乎受限于系统虚拟内存（几 GB）
• 分配速度慢：需要遍历空闲链表，易产生内存碎片
• 地址不连续：堆内存从低地址向高地址生长
• 生命周期：从申请到手动释放，跨函数使用

代码示例

#include <stdio.h>
#include <stdlib.h>

int main() {
    // C语言：堆区申请4字节int内存
    int* p1 = (int*)malloc(sizeof(int));
    *p1 = 100;
    free(p1);   // 手动释放，否则内存泄漏
    p1 = NULL;  // 置空，避免野指针

    // C++：堆区申请int数组
    int* p2 = new int[5];
    delete[] p2; // 数组必须用delete[]释放
    p2 = nullptr;

    return 0;
}

核心坑点

1. 只申请不释放 → 内存泄漏
2. 释放后不置空 → 野指针
3. 重复释放 → 程序崩溃

3. 全局 / 静态存储区（data 段 + bss 段）

这个区域分为已初始化和未初始化两部分，系统统一管理，程序结束才释放。

（1）全局变量

• 定义在函数外部的变量
• 整个程序所有文件 / 函数均可访问（加extern可跨文件）

（2）静态变量（static）

• 函数内部static修饰的局部变量
• 函数外部static修饰的全局变量（仅当前文件可见）
• 特性：只初始化一次，生命周期贯穿整个程序

内存细分

• data 段：已初始化的全局 / 静态变量（赋初值）
• bss 段：未初始化的全局 / 静态变量（系统默认初始化为 0）

代码示例

#include <stdio.h>

// 全局变量，已初始化 → data段
int g_val = 10;
// 全局变量，未初始化 → bss段（默认0）
int g_num;

void test() {
    // 静态局部变量：只初始化1次，存储在全局/静态区
    static int s_count = 0;
    s_count++;
    printf("静态变量count：%d\n", s_count);
}

int main() {
    test(); // 输出1
    test(); // 输出2（值保留，不会重置）
    printf("全局变量g_val：%d\n", g_val);
    return 0;
}

4. 常量存储区（只读数据段）

存储内容

• 字符串常量（如"hello"）
• const修饰的全局变量
• 数字常量（如100）

核心特性

• 只读：修改会触发程序崩溃
• 生命周期贯穿整个程序
• 相同常量会被编译器优化，共享内存

代码示例

int main() {
    char* str = "CSDN"; // "CSDN" 存储在常量区，str指针在栈区
    // str[0] = 'c'; ❌ 错误：常量区不可修改，程序崩溃

    const int a = 10;  // 局部const，栈区（非常量区）
    const static int b = 20; // 常量区

    return 0;
}

5. 代码区（text 段）

• 存储程序编译后的二进制机器指令
• 只读、可共享（多次运行程序共用一份代码）
• 不存储变量，仅存放函数体的二进制代码

三、一张表总结所有变量存储位置

四、高频面试题（必看）

1. 栈和堆的核心区别？

1. 管理方式：栈自动释放，堆手动释放
2. 空间大小：栈小（MB 级），堆大（GB 级）
3. 分配速度：栈快，堆慢
4. 内存碎片：栈无碎片，堆易产生碎片
5. 生长方向：栈向下（高地址→低地址），堆向上（低地址→高地址）

2. 局部变量和静态局部变量的区别？

• 存储位置：局部变量→栈，静态局部→全局区
• 初始化次数：局部变量每次函数调用都初始化，静态只初始化 1 次
• 生命周期：局部变量函数结束失效，静态变量全程存在

3. 全局变量和静态全局变量的区别？

• 作用域：全局变量整个程序可见，静态全局变量仅当前文件可见
• 存储位置：都在全局 / 静态区，无区别

五、实战避坑总结

1. 临时小变量优先用栈区，速度快、无内存泄漏
2. 大内存 / 跨函数使用用堆区，切记malloc/free、new/delete配对
3. 只在当前函数使用且需要保留值用static局部变量
4. 只在当前文件使用的全局变量加static，避免命名冲突
5. 常量字符串不可修改，防止程序崩溃
6. 堆内存释放后指针置空，杜绝野指针

总结

1. C/C++ 变量的存储位置由定义位置 + 关键字决定，核心分为：栈、堆、全局 / 静态区、常量区、代码区
2. 栈区自动管理，堆区手动管理，全局 / 静态区程序全程有效
3. 内存分配规则直接影响程序稳定性、性能和 bug 率
4. 理解存储位置是排查内存泄漏、野指针、栈溢出的基础