Skip to content

Zig ​

以Zig的真实运行模型为主线,覆盖基础语法、核心抽象、工程边界和长期维护所需的迁移判断。

阅读起点 ​

先从本页第一章开始;如果对应概念已经熟悉,可以从目录中选择需要补齐的章节。

全书顺序 ​

本书按知识依赖组织。主线先建立可运行的共同模型,再进入机制、工程边界和生产约束;维护与前沿内容明确标注,不改变主线的学习顺序。

第1章|类型、变量与控制流 ​

理解本章类型、变量与控制流的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 安装 Zig 与运行第一个程序:理解安装 Zig 与运行第一个程序的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 类型系统:整数、浮点、布尔与指针:理解类型系统:整数、浮点、布尔与指针的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 变量与常量:var、const 与类型推断:理解变量与常量:var、const 与类型推断的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 控制流:if、while、for 与 switch:理解控制流:if、while、for 与 switch的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 错误处理:try、catch 与错误集合:理解错误处理:try、catch 与错误集合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第2章|函数、结构体与枚举 ​

理解本章函数、结构体与枚举的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 函数:参数、返回值与错误联合:理解函数:参数、返回值与错误联合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 结构体:字段、方法与命名空间:理解结构体:字段、方法与命名空间的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 枚举:标签联合与 payload:理解枚举:标签联合与 payload的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 可选类型:?T 与空值安全:理解可选类型:?T 与空值安全的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第3章|内存管理:分配器与所有权 ​

理解本章内存管理:分配器与所有权的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 分配器:Allocator 接口与多种实现:理解分配器:Allocator 接口与多种实现的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 堆分配:alloc、free 与内存泄漏:理解堆分配:alloc、free 与内存泄漏的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 数组与切片:固定大小与动态长度:理解数组与切片:固定大小与动态长度的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 指针:单项指针、多项指针与对齐:理解指针:单项指针、多项指针与对齐的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. defer 与错误清理:保证资源释放:理解defer 与错误清理:保证资源释放的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第4章|编译期计算与泛型 ​

理解本章编译期计算与泛型的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. comptime:编译期执行与常量:理解comptime:编译期执行与常量的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 类型作为值:type 与反射:理解类型作为值:type 与反射的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 泛型函数:anytype 与类型推断:理解泛型函数:anytype 与类型推断的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 内联与代码生成:inline for 与 comptime 参数:理解内联与代码生成:inline for 与 comptime 参数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第5章|zig build、测试与包管理 ​

理解本章zig build、测试与包管理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. zig build:build.zig 与构建步骤:理解zig build:build.zig 与构建步骤的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 测试:test 块与 zig test:理解测试:test 块与 zig test的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 包管理:build.zig.zon 与依赖:理解包管理:build.zig.zon 与依赖的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 跨平台编译:目标三元组与条件编译:理解跨平台编译:目标三元组与条件编译的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第6章|C 互操作、异步与底层 ​

理解本章C 互操作、异步与底层的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. C 互操作:@cImport、导出函数与 ABI:理解C 互操作:@cImport、导出函数与 ABI的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 异步:async、await 与帧栈:理解异步:async、await 与帧栈的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. SIMD:向量类型与数据并行:理解SIMD:向量类型与数据并行的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 内联汇编:asm 与寄存器约束:理解内联汇编:asm 与寄存器约束的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第7章|系统编程、嵌入式与生态(第1段) ​

理解本章系统编程、嵌入式与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 标准库:std、ArrayList、HashMap:理解标准库:std、ArrayList、HashMap的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 文件与 I/O:fs、Reader、Writer:理解文件与 I/O:fs、Reader、Writer的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 嵌入式:裸机编程与启动代码:理解嵌入式:裸机编程与启动代码的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 安全性:边界检查、整数溢出与未定义行为:理解安全性:边界检查、整数溢出与未定义行为的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 工具链:zig cc、交叉编译与调试:理解工具链:zig cc、交叉编译与调试的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. 错误处理:理解错误处理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第8章|系统编程、嵌入式与生态(第2段) ​

理解本章系统编程、嵌入式与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 错误联合:理解错误联合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 可选类型:理解可选类型的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 枚举 payload:理解枚举 payload的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 结构体方法:理解结构体方法的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 分配器接口:理解分配器接口的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. 切片:理解切片的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第9章|系统编程、嵌入式与生态(第3段) ​

理解本章系统编程、嵌入式与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. defer 清理:理解defer 清理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. comptime 基础:理解comptime 基础的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 类型作为值:理解类型作为值的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 泛型函数:理解泛型函数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 内联与 comptime 参数:理解内联与 comptime 参数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. 构建步骤:理解构建步骤的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第10章|系统编程、嵌入式与生态(第4段) ​

理解本章系统编程、嵌入式与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 单元测试:理解单元测试的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 包管理:理解包管理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. 跨平台编译:理解跨平台编译的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. @cImport:理解@cImport的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 异步帧栈:理解异步帧栈的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. SIMD 向量:理解SIMD 向量的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

第11章|系统编程、嵌入式与生态(第5段) ​

理解本章系统编程、嵌入式与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

  1. 标准库集合:理解标准库集合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  2. 标准库结构:理解标准库结构的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  3. fs 与 Reader:理解fs 与 Reader的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  4. 裸机编程:理解裸机编程的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  5. 安全性检查:理解安全性检查的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  6. 未定义行为检测:理解未定义行为检测的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  7. zig cc 工具链:理解zig cc 工具链的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
  8. 内联汇编:理解内联汇编的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。

阅读边界 ​

本页是学习路线和专题入口,不替代专题笔记中的机制解释、可运行示例和练习。笔记尚未完成的专题会先显示为占位页;已有经验的读者可以跳到具体章节,再按前置关系回补。

路线状态 ​

本路线的目录已完成本轮架构审查;专题笔记的内容质量和来源审查另行进行。

用心记录每一步成长