The Zig Programming Language 0.7.1 Documentation

• 语言: 英语
• 格式: .pdf

摘要

该文档是Zig编程语言0.7.1版本的技术文档，核心内容包括：Zig通过返回error.OutOfMemory处理堆分配失败，而非直接崩溃；递归作为建模工具但存在无界内存分配问题，未来版本将提供栈溢出保护；Zig不自动管理内存，程序员需通过*Allocator参数显式分配，如FixedBufferAllocator和GeneralPurposeAllocator；Zig构建系统提供跨平台、无依赖的构建逻辑声明，支持构建可执行文件、测试等任务；文档还涵盖Hello World示例、内存所有权约定、内联汇编约束、目标平台支持及编码风格指南。

AI总结

Zig 是一种通用编程语言，旨在构建健壮、最优且可复用的软件。其核心设计理念是让程序员完全控制内存管理，语言本身不提供默认分配器，也不进行自动内存管理。

**核心特性与关键概念：**

- **内存管理**：Zig 没有运行时，内存管理完全由程序员负责。所有需要动态分配的函数都必须接受一个 `*Allocator` 参数。文档推荐使用 `std.heap.FixedBufferAllocator` 进行快速测试，并使用 `std.heap.GeneralPurposeAllocator` 作为通用分配器。选择正确的分配器是关键。
- **堆分配失败**：Zig 不提倡因内存不足（OOM）而直接崩溃。它将 `error.OutOfMemory` 视为一种可处理的错误，要求库和应用程序正确返回此错误。文档驳斥了“因为Linux有内存过量使用，所以处理OOM无意义”的观点，列举了Windows、嵌入式系统、实时系统等不支持过量使用的场景，并指出依赖过量使用会导致系统锁死和OOM Killer误杀进程等严重问题。
- **递归**：递归是基本工具，但存在无限内存分配的风险。Zig 对此仍在积极试验中。当前版本递归工作正常，但未来版本计划提供栈溢出保护。
- **指针的生命周期与所有权**：程序员必须确保指针在其指向的内存有效时才能被访问。当函数返回指针时，文档应说明谁“拥有”该指针，以指导程序员何时以及是否应该释放它。
- **内联汇编**：Zig 的内联汇编目前使用 LLVM 的 Intel 语法，但存在错误。未来可能拥有自己的汇编器。输出约束、输入约束和 Clobbers（被修改的寄存器集合）目前仍不稳定，需要参考 LLVM/GCC 文档，且未来可能有重大变更。全局汇编用于顶层编译时块，规则不同，无输入/输出/Clobbers。
- **Hello World 示例**：演示了如何使用 `std.io.getStdOut().writer().print()` 输出。`main` 函数返回 `!void`（错误联合类型），表示可能返回错误。`try` 关键字用于处理可能失败的表达式。
- **编译时与字符串格式化**：Zig 的 `print` 函数要求格式字符串是编译时已知的值。这通过语言的内省能力实现，无需宏或预处理器。文档提供了一个将格式字符串存储为变量并成功使用的例子。
- **测试**：`zig test` 命令用于运行测试。`std.testing.allocator` 可用于快速测试并检测内存泄漏。`--test-filter` 参数可按名称筛选测试。
- **构建系统**：Zig 提供了一个跨平台、无依赖的构建系统，通过 `build.zig` 文件声明构建逻辑。`zig init-exe` 可自动生成基础的 `build.zig` 文件，用于定义目标平台、构建模式以及添加可执行文件等构建产物。

**目标平台与风格指南：**

- **标准库支持的目标**：当前 Zigs 标准库支持 Linux (x86_64)、Windows (x86_64) 和 macOS (x86_64)。
- **编码风格**：文档提供了一套非强制性的编码规范，包括：4空格缩进、大括号与语句同行、行长度约100字符、命名规则（函数用 camelCase，类型用 TitleCase，变量用 snake_case）。