Zig
以Zig的真实运行模型为主线,覆盖基础语法、核心抽象、工程边界和长期维护所需的迁移判断。
阅读起点
先从本页第一章开始;如果对应概念已经熟悉,可以从目录中选择需要补齐的章节。
全书顺序
本书按知识依赖组织。主线先建立可运行的共同模型,再进入机制、工程边界和生产约束;维护与前沿内容明确标注,不改变主线的学习顺序。
第1章|类型、变量与控制流
理解本章类型、变量与控制流的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 安装 Zig 与运行第一个程序:理解安装 Zig 与运行第一个程序的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 类型系统:整数、浮点、布尔与指针:理解类型系统:整数、浮点、布尔与指针的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 变量与常量:var、const 与类型推断:理解变量与常量:var、const 与类型推断的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 控制流:if、while、for 与 switch:理解控制流:if、while、for 与 switch的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 错误处理:try、catch 与错误集合:理解错误处理:try、catch 与错误集合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第2章|函数、结构体与枚举
理解本章函数、结构体与枚举的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 函数:参数、返回值与错误联合:理解函数:参数、返回值与错误联合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 结构体:字段、方法与命名空间:理解结构体:字段、方法与命名空间的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 枚举:标签联合与 payload:理解枚举:标签联合与 payload的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 可选类型:?T 与空值安全:理解可选类型:?T 与空值安全的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第3章|内存管理:分配器与所有权
理解本章内存管理:分配器与所有权的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 分配器:Allocator 接口与多种实现:理解分配器:Allocator 接口与多种实现的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 堆分配:alloc、free 与内存泄漏:理解堆分配:alloc、free 与内存泄漏的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 数组与切片:固定大小与动态长度:理解数组与切片:固定大小与动态长度的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 指针:单项指针、多项指针与对齐:理解指针:单项指针、多项指针与对齐的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- defer 与错误清理:保证资源释放:理解defer 与错误清理:保证资源释放的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第4章|编译期计算与泛型
理解本章编译期计算与泛型的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- comptime:编译期执行与常量:理解comptime:编译期执行与常量的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 类型作为值:type 与反射:理解类型作为值:type 与反射的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 泛型函数:anytype 与类型推断:理解泛型函数:anytype 与类型推断的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 内联与代码生成:inline for 与 comptime 参数:理解内联与代码生成:inline for 与 comptime 参数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第5章|zig build、测试与包管理
理解本章zig build、测试与包管理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- zig build:build.zig 与构建步骤:理解zig build:build.zig 与构建步骤的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 测试:test 块与 zig test:理解测试:test 块与 zig test的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 包管理:build.zig.zon 与依赖:理解包管理:build.zig.zon 与依赖的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 跨平台编译:目标三元组与条件编译:理解跨平台编译:目标三元组与条件编译的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第6章|C 互操作、异步与底层
理解本章C 互操作、异步与底层的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- C 互操作:@cImport、导出函数与 ABI:理解C 互操作:@cImport、导出函数与 ABI的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 异步:async、await 与帧栈:理解异步:async、await 与帧栈的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- SIMD:向量类型与数据并行:理解SIMD:向量类型与数据并行的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 内联汇编:asm 与寄存器约束:理解内联汇编:asm 与寄存器约束的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第7章|系统编程、嵌入式与生态(第1段)
理解本章系统编程、嵌入式与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 标准库:std、ArrayList、HashMap:理解标准库:std、ArrayList、HashMap的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 文件与 I/O:fs、Reader、Writer:理解文件与 I/O:fs、Reader、Writer的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 嵌入式:裸机编程与启动代码:理解嵌入式:裸机编程与启动代码的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 安全性:边界检查、整数溢出与未定义行为:理解安全性:边界检查、整数溢出与未定义行为的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 工具链:zig cc、交叉编译与调试:理解工具链:zig cc、交叉编译与调试的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 错误处理:理解错误处理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第8章|系统编程、嵌入式与生态(第2段)
理解本章系统编程、嵌入式与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 错误联合:理解错误联合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 可选类型:理解可选类型的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 枚举 payload:理解枚举 payload的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 结构体方法:理解结构体方法的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 分配器接口:理解分配器接口的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 切片:理解切片的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第9章|系统编程、嵌入式与生态(第3段)
理解本章系统编程、嵌入式与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- defer 清理:理解defer 清理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- comptime 基础:理解comptime 基础的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 类型作为值:理解类型作为值的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 泛型函数:理解泛型函数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 内联与 comptime 参数:理解内联与 comptime 参数的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 构建步骤:理解构建步骤的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第10章|系统编程、嵌入式与生态(第4段)
理解本章系统编程、嵌入式与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 单元测试:理解单元测试的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 包管理:理解包管理的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 跨平台编译:理解跨平台编译的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- @cImport:理解@cImport的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 异步帧栈:理解异步帧栈的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- SIMD 向量:理解SIMD 向量的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
第11章|系统编程、嵌入式与生态(第5段)
理解本章系统编程、嵌入式与生态的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 标准库集合:理解标准库集合的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 标准库结构:理解标准库结构的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- fs 与 Reader:理解fs 与 Reader的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 裸机编程:理解裸机编程的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 安全性检查:理解安全性检查的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 未定义行为检测:理解未定义行为检测的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- zig cc 工具链:理解zig cc 工具链的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
- 内联汇编:理解内联汇编的核心模型、常见操作和适用边界,并能据此判断下一步该查什么或如何验证。
阅读边界
本页是学习路线和专题入口,不替代专题笔记中的机制解释、可运行示例和练习。笔记尚未完成的专题会先显示为占位页;已有经验的读者可以跳到具体章节,再按前置关系回补。
路线状态
本路线的目录已完成本轮架构审查;专题笔记的内容质量和来源审查另行进行。