zig语言学习笔记——Zig 的三大内存区域
Zig 的三大内存区域：静态存储区 · 栈 · 堆
Zig 是一门系统级编程语言，没有隐藏的控制流、没有隐藏的内存分配、没有垃圾回收器。理解内存从哪来、到哪去，是写好 Zig 的核心。Zig 程序中你打交道最多的就是这三个区域：
静态存储区（Global / Constant Data） → 栈（Stack） → 堆（Heap）
一、静态存储区（Global Data / Static Storage）
也叫全局数据区，存放的是那些在编译期就完全确定的数据。
什么东西放在这里？
| 类别 | 示例 |
|---|---|
| 字符串字面量 | "hello world" |
顶层const声明 | const pi = 3.14159; |
顶层var声明 | var counter: u32 = 0; |
comptime变量 | 编译期求值的常量 |
struct内的var/const声明 | 属于类型的静态成员 |
关键特征
- 嵌入在二进制文件中，地址和程序一起加载到内存
- 生命周期 =整个程序的运行期，从启动到退出一直存在
- 大小在编译时确定，不会增长也不会收缩
- 字符串字面量的类型是
[]const u8（指向静态区的只读数据），所以从函数返回字符串字面量是安全的——因为它不活在栈上：
fn sayHello() []const u8 { return "hello world"; // ✅ 安全，"hello world" 在静态存储区 }你需要操心什么？
几乎什么都不用管。操作系统加载二进制时映射进去，退出时回收。除了留意二进制体积别被大量嵌入数据撑大之外，没有分配/释放的负担。
二、栈（Stack）
栈是函数调用的工作台。每个函数被调用时，系统为它压入一个"栈帧"（stack frame），函数返回时栈帧弹出，里面的一切自动销毁。
什么东西放在栈上？
- 函数参数（如
fn add(x: u8, y: u8)里的x、y） - 函数内声明的局部变量（
var/const，只要大小编译期已知） - 固定大小数组、
struct实例等局部值
const Point = struct { x: f32, y: f32 }; pub fn main() void { var point: Point = .{ .x = 1.5, .y = 2.7 }; // ← 在栈上 var buffer: [1024]u8 = undefined; // ← 也在栈上 _ = point; _ = buffer; // main 返回时，point 和 buffer 自动消失 }关键特征
| 属性 | 说明 |
|---|---|
| 分配方式 | 函数入口时自动预留空间（调一个寄存器sp就搞定） |
| 释放方式 | 函数返回时自动回收 —零成本、确定性 |
| 速度 | ⚡ 极快（比堆快一个数量级） |
| 大小 | 有限（通常几 MB），不能放超大对象 |
| 生命周期 | 绑定到作用域（{}块 / 函数体） |
⚠️ 经典坑：不要返回栈上变量的指针！
fn createNode(value: i32) *Node { var node = Node{ .value = value, .left = null, .right = null }; return &node; // ❌ node 在栈上，函数返回后这块内存失效 // 返回的指针变成悬垂指针（dangling pointer）→ 未定义行为！ }Zig不会阻止你写出这个 bug（语言信任你），但读取那个指针的结果是 UB。
什么时候用栈？
只要大小编译期已知 + 生命周期不超过当前作用域，就优先放栈。这是 Zig 的默认偏好。
三、堆（Heap）
堆是动态内存的领地。当你编译时不知道要多少内存，或者数据的寿命必须超出当前函数，就需要堆。
怎么在 Zig 里分配堆内存？
Zig 的设计哲学是：没有默认的全局分配器。需要分配的函数，必须显式接收一个std.mem.Allocator参数：
const std = @import("std"); pub fn main() !void { // 1. 选择一个分配器（开发阶段常用 GeneralPurposeAllocator，带泄漏检测） var gpa = std.heap.GeneralPurposeAllocator(.{}){}; defer { const check = gpa.deinit(); if (check == .leak) std.debug.print("⚠️ Memory leak!\n", .{}); } const allocator = gpa.allocator(); // 2. 在堆上分配 const buffer = try allocator.alloc(u8, 1024); // 1KB on heap defer allocator.free(buffer); // ← YOU 负责释放 // 3. 使用... buffer[0] = 42; }常见分配器速查
| 分配器 | 适用场景 | 特点 |
|---|---|---|
std.heap.page_allocator | 简单粗暴 | 直接向 OS 要整页（通常 4KB 起），快但浪费 |
GeneralPurposeAllocator | 日常开发 | 通用、可检测泄漏、调试友好 ✅ 推荐起步用这个 |
ArenaAllocator | 批量临时内存 | 分配一大块，退出时一次全释放，不用逐个 free |
FixedBufferAllocator | 嵌入式 / 约束环境 | 在你给定的固定缓冲区上分配（甚至可以在栈缓冲区上！） |
关键特征
| 属性 | 说明 |
|---|---|
| 分配 | 通过allocator.alloc()/allocator.create()显式请求 |
| 释放 | 你必须调allocator.free()/allocator.destroy() |
配合defer | defer保证即使中途报错也能释放 → 比裸 C 的malloc/free安全得多 |
| 可以越界存活 | 数据活多久你说了算，不受函数返回影响 |
| 代价 | 慢于栈、可能碎片化、需要你脑子清醒 |
四、三者对比一览
| 静态存储区 | 栈（Stack） | 堆（Heap） | |
|---|---|---|---|
| 何时确定大小 | 编译期 | 编译期 | 运行时 |
| 谁管理分配/释放 | 操作系统加载/卸载 | 编译器自动（函数进出） | 你，通过 Allocator |
| 速度 | —（直接地址访问） | ⚡ 最快 | 较慢（系统调用 + 簿记） |
| 生命周期 | 程序全程 | 当前作用域结束即亡 | 你控制（直到你 free） |
| 典型内容 | 字符串字面量、全局 const | 局部变量、参数、小数组 | 动态数组、变长数据、跨函数对象 |
| 能返回指针吗？ | ✅ 安全（一直在那） | ❌ 悬垂指针 | ✅ 安全（只要你不提前 free） |
五、决策口诀
编译期已知 + 不出作用域 → 栈（默认首选）
编译期已知 + 永远活着 → 静态区（字面量 / 全局 const）
运行时才知道大小，或需要活得比函数久 → 堆（选一个 Allocator，记得
deferfree）
Zig 把这三块内存的边界画得非常清晰，没有魔法，也没有隐藏分配——这正是它"debug your app, not your language knowledge"的体现。