├── .github ├── dependabot.yml └── workflows │ ├── lint.yml │ └── pages.yml ├── .gitignore ├── .prettierignore ├── 00-preface.md ├── 01-installing-zig.md ├── 02-language-overview-part1.md ├── 03-language-overview-part2.md ├── 04-style-guide.md ├── 05-pointers.md ├── 06-stack-memory.md ├── 07-heap-memory-and-allocator.md ├── 08-generics.md ├── 09-coding-in-zig.md ├── 10-conclusion.md ├── LICENSE ├── Makefile ├── README.md ├── SUMMARY.md ├── book.toml └── static ├── index.html ├── last-changed.css └── zig-hl.js /.github/dependabot.yml: -------------------------------------------------------------------------------- 1 | version: 2 2 | updates: 3 | - package-ecosystem: "github-actions" 4 | directory: "/" 5 | schedule: 6 | interval: "weekly" 7 | -------------------------------------------------------------------------------- /.github/workflows/lint.yml: -------------------------------------------------------------------------------- 1 | name: Lint 2 | 3 | on: 4 | workflow_dispatch: 5 | pull_request: 6 | paths: 7 | - "**.md" 8 | - ".github/workflows/**" 9 | push: 10 | branches: 11 | - main 12 | paths: 13 | - "**.md" 14 | - ".github/workflows/**" 15 | 16 | jobs: 17 | lint: 18 | runs-on: ubuntu-latest 19 | steps: 20 | - uses: actions/checkout@v4 21 | - uses: actions/setup-node@v4 22 | with: 23 | node-version: "latest" 24 | - name: Prettier check 25 | run: | 26 | # if you encounter error, rerun the command below and commit the changes 27 | make lint 28 | git diff --exit-code 29 | -------------------------------------------------------------------------------- /.github/workflows/pages.yml: -------------------------------------------------------------------------------- 1 | name: Deploy to GitHub Pages 2 | 3 | on: 4 | workflow_dispatch: 5 | push: 6 | branches: 7 | - main 8 | 9 | # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages 10 | permissions: 11 | contents: read 12 | pages: write 13 | id-token: write 14 | 15 | concurrency: 16 | group: "pages" 17 | cancel-in-progress: false 18 | 19 | jobs: 20 | build: 21 | runs-on: ubuntu-latest 22 | steps: 23 | - uses: actions/checkout@v4 24 | with: 25 | fetch-depth: 0 26 | - name: Upload artifact 27 | uses: actions/upload-pages-artifact@v3 28 | with: 29 | path: ./static 30 | 31 | # Deployment job 32 | deploy: 33 | environment: 34 | name: github-pages 35 | url: ${{ steps.deployment.outputs.page_url }} 36 | runs-on: ubuntu-latest 37 | needs: build 38 | steps: 39 | - name: Deploy to GitHub Pages 40 | id: deployment 41 | uses: actions/deploy-pages@v4 42 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /book -------------------------------------------------------------------------------- /.prettierignore: -------------------------------------------------------------------------------- 1 | /book -------------------------------------------------------------------------------- /00-preface.md: -------------------------------------------------------------------------------- 1 | # 前言 2 | 3 | 欢迎阅读 Zig 编程语言入门指南《学习 Zig》。本指南旨在让你轻松掌握 Zig。本指南假定你已有编程经验，语言不限。 4 | 5 | Zig 目前正在紧锣密鼓地开发中，Zig 语言及其标准库都在不断发展。本指南以最新的 Zig 开发版本为目标。不过，部分代码有可能编译不通过。如果你下载了最新版本的 Zig，但在运行某些代码时遇到问题，请提 [issue](https://github.com/karlseguin/blog/issues)。 6 | -------------------------------------------------------------------------------- /01-installing-zig.md: -------------------------------------------------------------------------------- 1 | > 原文地址： 2 | 3 | # 安装 Zig 4 | 5 | Zig 官网的[下载页面](https://ziglang.org/download/)中包含常见平台的预编译二进制文件。在这个页面上，你可以找到最新开发版本和主要版本的二进制文件。本指南所跟踪的最新版本可在页面顶部找到。 6 | 7 | 对于我的电脑，我会下载 `zig-macos-aarch64-0.12.0-dev.161+6a5463951.tar.xz`。你使用的可能是不同的平台或更新的版本。展开压缩包，这里面会有一个名为 `zig` 的二进制文件，你可以按照自己喜欢的方式，为其设置别名（alias）或添加到你的路径（PATH）中。 8 | 9 | 现在，你可以运行 `zig zen` 和 `zig version` 来测试是否安装正确。 10 | 11 | > 译者注：建议读者使用版本管理工具来安装 Zig，具体可参考：[《Zig 多版本管理》](https://zigcc.github.io/post/2023/10/14/zig-version-manager/)。 12 | -------------------------------------------------------------------------------- /02-language-overview-part1.md: -------------------------------------------------------------------------------- 1 | > 原文地址： 2 | 3 | # 语言概述 - 第 1 部分 4 | 5 | Zig 是一种强类型编译语言。它支持泛型，具有强大的编译时元编程功能，并且**不包含**垃圾收集器。许多人认为 Zig 是 C 的现代替代品。因此，该语言的语法与 C 类似，比较明显的就是以分号结尾的语句和以花括号分隔的块。 6 | 7 | Zig 代码如下所示： 8 | 9 | ```zig 10 | const std = @import("std"); 11 | 12 | // 如果 `main` 不是 `pub` (public)，此代码将无法编译 13 | pub fn main() void { 14 | const user = User{ 15 | .power = 9001, 16 | .name = "Goku", 17 | }; 18 | 19 | std.debug.print("{s}'s power is {d}\n", .{user.name, user.power}); 20 | } 21 | 22 | pub const User = struct { 23 | power: u64, 24 | name: []const u8, 25 | }; 26 | ``` 27 | 28 | 如果将上述内容保存到 `learning.zig` 文件，并运行 `zig run learning.zig`，会得到以下输出：`Goku's power is 9001`。 29 | 30 | 这是一个简单的示例，即使你是第一次看到 Zig，大概率能够看懂这段代码。尽管如此，下面的内容我们还是来逐行分析它。 31 | 32 | > 请参阅[安装 Zig 部分](01-installing-zig.md)，以便快速启动并运行它。 33 | 34 | ## 模块引用 35 | 36 | 很少有程序是在没有标准库或外部库的情况下以单个文件编写的。我们的第一个程序也不例外，它使用 Zig 的标准库来进行打印输出。 Zig 的模块系统非常简单，只依赖于 `@import` 函数和 `pub` 关键字（使代码可以在当前文件外部访问）。 37 | 38 | > 以 `@` 开头的函数是内置函数。它们是由编译器提供的，而不是标准库提供的。 39 | 40 | 我们通过指定模块名称来引用它。 Zig 的标准库以 `std` 作为模块名。要引用特定文件，需要使用相对路径。例如，将 `User` 结构移动到它自己的文件中，比如 `models/user.zig`： 41 | 42 | ```zig 43 | // models/user.zig 44 | pub const User = struct { 45 | power: u64, 46 | name: []const u8, 47 | }; 48 | ``` 49 | 50 | 在这种情况下，可以用如下方式引用它： 51 | 52 | ```zig 53 | // main.zig 54 | const User = @import("models/user.zig").User; 55 | ``` 56 | 57 | > 如果我们的 `User` 结构未标记为 `pub` 我们会收到以下错误：`'User' is not marked 'pub'`。 58 | 59 | `models/user.zig` 可以导出不止一项内容。例如，再导出一个常量： 60 | 61 | ```zig 62 | // models/user.zig 63 | pub const MAX_POWER = 100_000; 64 | 65 | pub const User = struct { 66 | power: u64, 67 | name: []const u8, 68 | }; 69 | ``` 70 | 71 | 这时，可以这样导入两者： 72 | 73 | ```zig 74 | const user = @import("models/user.zig"); 75 | const User = user.User; 76 | const MAX_POWER = user.MAX_POWER; 77 | ``` 78 | 79 | 此时，你可能会有更多的困惑。在上面的代码片段中，`user` 是什么？我们还没有看到它，如果使用 `var` 来代替 `const` 会有什么不同呢？或者你可能想知道如何使用第三方库。这些都是好问题，但要回答这些问题，需要掌握更多 Zig 的知识点。因此，我们现在只需要掌握以下内容： 80 | 81 | - 如何导入 Zig 标准库 82 | - 如何导入其他文件 83 | - 如何导出变量、函数定义 84 | 85 | ## 代码注释 86 | 87 | 下面这行 Zig 代码是一个注释： 88 | 89 | ```zig 90 | // 如果 `main` 不是 `pub` (public)，此代码将无法编译 91 | ``` 92 | 93 | Zig 没有像 C 语言中类似 `/* ... */` 的多行注释。 94 | 95 | 基于注释的文档自动生成功能正在试验中。如果你看过 Zig 的标准库文档，你就会看到它的实际应用。`//!` 被称为顶级文档注释，可以放在文件的顶部。三斜线注释 (`///`) 被称为文档注释，可以放在特定位置，如声明之前。如果在错误的地方使用这两种文档注释，编译器都会出错。 96 | 97 | ## 函数 98 | 99 | 下面这行 Zig 代码是程序的入口函数 `main`： 100 | 101 | ```zig 102 | pub fn main() void 103 | ``` 104 | 105 | 每个可执行文件都需要一个名为 `main` 的函数：它是程序的入口点。如果我们将 `main` 重命名为其他名字，例如 `doIt` ，并尝试运行 `zig run learning.zig` ，我们会得到下面的错误：`'learning' has no member named 'main'`。 106 | 107 | 忽略 `main` 作为程序入口的特殊作用，它只是一个非常基本的函数：不带参数，不返回任何东西（void）。下面的函数会稍微有趣一些： 108 | 109 | ```zig 110 | const std = @import("std"); 111 | 112 | pub fn main() void { 113 | const sum = add(8999, 2); 114 | std.debug.print("8999 + 2 = {d}\n", .{sum}); 115 | } 116 | 117 | fn add(a: i64, b: i64) i64 { 118 | return a + b; 119 | } 120 | ``` 121 | 122 | C 和 C++ 程序员会注意到 Zig 不需要提前声明，即在定义之前就可以调用 `add` 函数。 123 | 124 | 接下来要注意的是 `i64` 类型：64 位有符号整数。其他一些数字类型有： `u8` 、 `i8` 、 `u16` 、 `i16` 、 `u32` 、 `i32` 、 `u47` 、 `i47` 、 `u64` 、 `i64` 、 `f32` 和 `f64`。 125 | 126 | 包含 `u47` 和 `i47` 并不是为了测试你是否还清醒; Zig 支持任意位宽度的整数。虽然你可能不会经常使用这些，但它们可以派上用场。经常使用的一种类型是 `usize`，它是一个无符号指针大小的整数，通常是表示某事物长度、大小的类型。 127 | 128 | > 除了 `f32` 和 `f64` 之外，Zig 还支持 `f16` 、 `f80` 和 `f128` 浮点类型。 129 | 130 | 虽然没有充分的理由这样做，但如果我们将 `add` 的实现更改为： 131 | 132 | ```zig 133 | fn add(a: i64, b: i64) i64 { 134 | a += b; 135 | return a; 136 | } 137 | ``` 138 | 139 | `a += b` 这一行会报下面的错误：`不能给常量赋值`。这是一个重要的教训，我们稍后将更详细地回顾：函数参数是常量。 140 | 141 | 为了提高可读性，Zig 中不支持函数重载（用不同的参数类型或参数个数定义的同名函数）。暂时来说，以上就是我们需要了解的有关函数的全部内容。 142 | 143 | ## 结构体 144 | 145 | 下面这行代码创建了一个 `User` 结构体： 146 | 147 | ```zig 148 | pub const User = struct { 149 | power: u64, 150 | name: []const u8, 151 | }; 152 | ``` 153 | 154 | > 由于我们的程序是单个文件，因此 `User` 仅在定义它的文件中使用，因此我们不需要将其设为 `pub` 。但这样一来，我们就看不到如何将声明暴露给其他文件了。 155 | 156 | 结构字段以逗号终止，并且可以指定默认值： 157 | 158 | ```zig 159 | pub const User = struct { 160 | power: u64 = 0, 161 | name: []const u8, 162 | }; 163 | ``` 164 | 165 | 当我们创建一个结构体时，必须对每个字段赋值。例如，在一开始的定义中 `power` 没有默认值，因此下面这行代码将报错：`missing struct field: power`。 166 | 167 | ```zig 168 | const user = User{.name = "Goku"}; 169 | ``` 170 | 171 | 但是，使用默认值定义后，上面的代码可以正常编译。 172 | 173 | 结构体可以有方法，也可以包含声明（包括其他结构），甚至可能包含零个字段，此时的作用更像是命名空间。 174 | 175 | ```zig 176 | pub const User = struct { 177 | power: u64 = 0, 178 | name: []const u8, 179 | 180 | pub const SUPER_POWER = 9000; 181 | 182 | pub fn diagnose(user: User) void { 183 | if (user.power >= SUPER_POWER) { 184 | std.debug.print("it's over {d}!!!", .{SUPER_POWER}); 185 | } 186 | } 187 | }; 188 | ``` 189 | 190 | 方法只是普通函数，只是说可以用 `struct.method()` 方式调用。以下两种方法等价： 191 | 192 | ```zig 193 | // 调用 user 的 diagnose 194 | user.diagnose(); 195 | 196 | // 上面代码等价于： 197 | User.diagnose(user); 198 | ``` 199 | 200 | 大多数时候你将使用`struct.method()`语法，但方法作为普通函数的语法糖在某些场景下可以派上用场。 201 | 202 | > `if` 语句是我们看到的第一个控制流。这很简单，对吧？我们将在下一部分中更详细地探讨这一点。 203 | 204 | `diagnose` 在定义 `User` 类型中，接受 `User` 作为其第一个参数。因此，我们可以使用`struct.method()` 的语法来调用它。但结构内的函数不必遵循这种模式。一个常见的例子是用于结构体初始化的 `init` 函数： 205 | 206 | ```zig 207 | pub const User = struct { 208 | power: u64 = 0, 209 | name: []const u8, 210 | 211 | pub fn init(name: []const u8, power: u64) User { 212 | return User{ 213 | .name = name, 214 | .power = power, 215 | }; 216 | } 217 | } 218 | ``` 219 | 220 | `init` 的命名方式仅仅是一种约定，在某些情况下，`open` 或其他名称可能更有意义。如果你和我一样，不是 C++ 程序员，可能对 `.$field = $value,` 这种初始化字段的语法感到奇怪，但你很快就会习惯它。 221 | 222 | 当我们创建 `"Goku"` 时，我们将 `user` 变量声明为 `const` ： 223 | 224 | ```zig 225 | const user = User{ 226 | .power = 9001, 227 | .name = "Goku", 228 | }; 229 | ``` 230 | 231 | 这意味着我们无法修改 `user` 的值。如果要修改变量，应使用 `var` 声明它。另外，你可能已经注意到 `user` 的类型是根据赋值对象推导出来的。我们也可以这样明确地声明： 232 | 233 | ```zig 234 | const user: User = User{ 235 | .power = 9001, 236 | .name = "Goku", 237 | }; 238 | ``` 239 | 240 | 在有些情况下我们必须显式声明变量类型，但大多数时候，去掉显式的类型会让代码可读性更好。类型推导也可以这么使用。下面这段代码和上面的两个片段是等价的： 241 | 242 | ```zig 243 | const user: User = .{ 244 | .power = 9001, 245 | .name = "Goku", 246 | }; 247 | ``` 248 | 249 | 不过这种用法并不常见。比较常见的一种情况是从函数返回结构体时会用到。这里的类型可以从函数的返回类型中推断出来。我们的 `init` 函数可能会这样写： 250 | 251 | ```zig 252 | pub fn init(name: []const u8, power: u64) User { 253 | // instead of return User{...} 254 | return .{ 255 | .name = name, 256 | .power = power, 257 | }; 258 | } 259 | ``` 260 | 261 | 就像我们迄今为止已经探索过的大多数东西一样，今后在讨论 Zig 语言的其他部分时，我们会再次讨论结构体。不过，在大多数情况下，它们都是简单明了的。 262 | 263 | ## 数组和切片 264 | 265 | 我们可以略过代码的最后一行，但鉴于我们的代码片段包含两个字符串 `"Goku"` 和 `{s}'s power is {d}\n`，你可能会对 Zig 中的字符串感到好奇。为了更好地理解字符串，我们先来了解一下数组和切片。 266 | 267 | 数组的大小是固定的，其长度在编译时已知。长度是类型的一部分，因此 4 个有符号整数的数组 `[4]i32` 与 5 个有符号整数的数组 `[5]i32` 是不同的类型。 268 | 269 | 数组长度可以从初始化中推断出来。在以下代码中，所有三个变量的类型均为 `[5]i32` ： 270 | 271 | ```zig 272 | const a = [5]i32{1, 2, 3, 4, 5}; 273 | 274 | // 我们已经在结构体中使用过 .{...} 语法， 275 | // 它也适用于数组 276 | 277 | const b: [5]i32 = .{1, 2, 3, 4, 5}; 278 | 279 | // 使用 _ 让编译器推导长度 280 | const c = [_]i32{1, 2, 3, 4, 5}; 281 | ``` 282 | 283 | 另一方面，切片是指向数组的指针，外加一个在运行时确定的长度。我们将在后面的部分中讨论指针，但你可以将切片视为数组的视图。 284 | 285 | > 如果你熟悉 Go，你可能已经注意到 Zig 中的切片有点不同：没有容量，只有指针和长度。 286 | 287 | ```zig 288 | const a = [_]i32{1, 2, 3, 4, 5}; 289 | const b = a[1..4]; 290 | ``` 291 | 292 | 在上述代码中， `b` 是一个长度为 3 的切片，并且是一个指向 `a` 的指针。但是因为我们使用编译时已知的值来对数组进行切片（即 `1` 和 `4`）所以长度 `3` 在编译时也是已知。 Zig 编译器能够分析出来这些信息，因此 `b` 不是一个切片，而是一个指向长度为 3 的整数数组的指针。具体来说，它的类型是 `*const [3]i32`。所以这个切片的示例被 Zig 编译器的强大推导能力挫败了。 293 | 294 | 在实际代码中，切片的使用可能会多于数组。无论好坏，程序的运行时信息往往多于编译时信息。不过，在下面这个例子中，我们必须欺骗 Zig 编译器才能得到我们想要的示例： 295 | 296 | ```zig 297 | const a = [_]i32{1, 2, 3, 4, 5}; 298 | var end: usize = 3; 299 | end += 1; 300 | const b = a[1..end]; 301 | ``` 302 | 303 | `b` 现在是一个切片了。具体来说，它的类型是 `[]const i32`。你可以看到，切片的长度并不是类型的一部分，因为长度是运行时属性，而类型总是在编译时就完全已知。在创建切片时，我们可以省略上界，创建一个到要切分的对象（数组或切片）末尾的切片，例如 `const c = b[2..]`。 304 | 305 | > 如果我们将 `end` 声明为 `const` 那么它将成为编译时已知值，这将导致 `b` 是一个指向数组的指针，而不是切片。我觉得这有点令人困惑，但它并不是经常出现的东西，而且也不太难掌握。我很想在这一点上跳过它，但无法找到一种诚实的方法来避免这个细节。 306 | 307 | 学习 Zig 让我了解到，类型具有很强的描述性。它不仅仅是一个整数或布尔值，甚至是一个有符号的 32 位整数数组。类型还包含其他重要信息。我们已经讨论过长度是数组类型的一部分，许多示例也说明了可变性（const-ness）也是数组类型的一部分。例如，在上一个示例中，b 的类型是 `[]const i32`。你可以通过下面的代码来验证这一点： 308 | 309 | ```zig 310 | const std = @import("std"); 311 | 312 | pub fn main() void { 313 | const a = [_]i32{1, 2, 3, 4, 5}; 314 | var end: usize = 3; 315 | end += 1; 316 | const b = a[1..end]; 317 | std.debug.print("{any}", .{@TypeOf(b)}); 318 | } 319 | ``` 320 | 321 | 如果我们尝试写入 `b` ，例如 `b[2] = 5` ，我们会收到编译时错误：`cannot assign to constant.`。这就是因为 `b` 类型是 `const` 导致。 322 | 323 | 为了解决这个问题，你可能会想要进行以下更改： 324 | 325 | ```zig 326 | // 将 const 替换为 var 327 | var b = a[1..end]; 328 | ``` 329 | 330 | 但你会得到同样的错误，为什么？作为提示，`b` 的类型是什么，或者更通俗地说，`b` 是什么？切片是指向数组（部分）的长度和指针。切片的类型总是从它所切分的对象派生出来的。无论 `b` 是否声明为 `const`，都是一个 `[5]const i32` 的切片，因此 b 必须是 `[]const i32` 类型。如果我们想写入 `b`，就需要将 `a` 从 `const` 变为 `var`。 331 | 332 | ```zig 333 | const std = @import("std"); 334 | 335 | pub fn main() void { 336 | var a = [_]i32{1, 2, 3, 4, 5}; 337 | var end: usize = 3; 338 | end += 1; 339 | const b = a[1..end]; 340 | b[2] = 99; 341 | } 342 | ``` 343 | 344 | 这是有效的，因为我们的切片不再是 `[]const i32` 而是 `[]i32` 。你可能想知道为什么当 `b` 仍然是 `const` 时，这段代码可以执行。这时因为 `b` 的可变性是指 `b` 本身，而不是 `b` 指向的数据。好吧，我不确定这是一个很好的解释，但对我来说，这段代码突出了差异： 345 | 346 | ```zig 347 | const std = @import("std"); 348 | 349 | pub fn main() void { 350 | var a = [_]i32{1, 2, 3, 4, 5}; 351 | var end: usize = 3; 352 | end += 1; 353 | const b = a[1..end]; 354 | b = b[1..]; 355 | } 356 | ``` 357 | 358 | 上述代码不会编译；正如编译器告诉我们的，我们不能给常量赋值。但如果将代码改成 `var b = a[1..end]` ，那么代码就是正确的了，因为 `b` 本身不再是常量。 359 | 360 | 在了解 Zig 语言的其他方面（尤其是字符串）的同时，我们还将发现更多有关数组和切片的知识。 361 | 362 | ## 字符串 363 | 364 | 我希望我能说，Zig 里有字符串类型，而且非常棒。遗憾的是，它没有。最简单来说，字符串是字节（u8）的序列（即数组或切片）。实际上，我们可以从 `name` 字段的定义中看到这一点：`name: []const u8`. 365 | 366 | 按照惯例，这类字符串大多数都是用 UTF-8 编码，因为 Zig 源代码本身就是 UTF-8 编码的。但这并不是强制的，而且代表 ASCII 或 UTF-8 字符串的 `[]const u8` 与代表任意二进制数据的 `[]const u8` 实际上并没有什么区别。怎么可能有区别呢，它们是相同的类型。 367 | 368 | 根据我们所学的数组和切片知识，你可以正确地猜测 `[]const u8` 是对常量字节数组的切片（其中字节是一个无符号 8 位整数）。但我们的代码中没有任何地方对数组进行切分，甚至没有数组，对吧？我们所做的只是将 `"Goku"` 赋值给 `user.name`。这是怎么做到的呢？ 369 | 370 | 你在源代码中看到的字符串字面量有一个编译时已知的长度。编译器知道 `"Goku"` 的长度是 4，所以你会认为 `"Goku"` 最好用数组来表示，比如 `[4]const u8`。但是字符串字面形式有几个特殊的属性。它们被存储在二进制文件的一个特殊位置，并且会去重。因此，指向字符串字面量的变量将是指向这个特殊位置的指针。也就是说，`"Goku"` 的类型更接近于 `*const [4]u8`，是一个指向 4 常量字节数组的指针。 371 | 372 | 还有更多。字符串字面量以空值结束。也就是说，它们的末尾总是有一个 `\0`。在内存中，`"Goku"` 实际上是这样的：`{'G', 'o', 'k', 'u', 0}`，所以你可能会认为它的类型是 `*const [5]u8`。但这样做充其量只是模棱两可，更糟糕的是会带来危险（你可能会覆盖空结束符）。相反，Zig 有一种独特的语法来表示以空结尾的数组。`"Goku"`的类型是 `*const[4:0]u8`，即 4 字节以空结尾的数组指针。当我们讨论字符串时，我们关注的是以空结尾的字节数组（因为在 C 语言中字符串通常就是这样表示的），语法更通用：`[LENGTH:SENTINEL]`，其中 `SENTINEL` 是数组末尾的特殊值。因此，虽然我想不出为什么需要它，但下面的语法是完全正确的： 373 | 374 | ```zig 375 | const std = @import("std"); 376 | 377 | pub fn main() void { 378 | // an array of 3 booleans with false as the sentinel value 379 | const a = [3:false]bool{false, true, false}; 380 | 381 | // This line is more advanced, and is not going to get explained! 382 | std.debug.print("{any}\n", .{std.mem.asBytes(&a).*}); 383 | } 384 | ``` 385 | 386 | 上面代码会输出：`{ 0, 1, 0, 0}` 。 387 | 388 | > 我一直在犹豫是否要加入这个示例，因为最后一行非常高级，我不打算解释它。从另一个角度看，如果你愿意的话，这也是一个可以运行的示例，你可以用它来更好地研究我们到目前为止讨论过的一些问题。 389 | 390 | 如果我的解释还可以接受，那么你可能还有一点不清楚。如果 `"Goku"` 是一个 `*const [4:0]u8` ，那么我们为什么能将它赋值给一个 `[]const u8` 值呢？答案很简单：Zig 会自动进行类型转化。它会在几种不同的类型之间进行类型转化，但最明显的是字符串。这意味着，如果函数有一个 `[]const u8` 参数，或者结构体有一个 `[]const u8` 字段，就可以使用字符串字面形式。由于以空结尾的字符串是数组，而且数组的长度是已知的，因此这种转化代价比较低，即不需要遍历字符串来查找空结束符。 391 | 392 | 因此，在谈论字符串时，我们通常指的是 `[]const u8`。必要时，我们会明确说明一个以空结尾的字符串，它可以被自动转化为一个 `[]const u8`。但请记住，`[]const u8` 也用于表示任意二进制数据，因此，Zig 并不像高级编程语言那样有字符串的概念。此外，Zig 的标准库只有一个非常基本的 unicode 模块。 393 | 394 | 当然，在实际程序中，大多数字符串（以及更通用的数组）在编译时都是未知的。最典型的例子就是用户输入，程序编译时并不知道用户输入。这一点我们将在讨论内存时再次讨论。但简而言之，对于这种在编译时不能确定值的数据（长度当然也就无从得知），我们将在运行时动态分配内存。我们的字符串变量（仍然是 `[]const u8` 类型）将是指向动态分配的内存的切片。 395 | 396 | ## comptime 和 anytype 397 | 398 | 在我们未解释的最后一行代码中，涉及的知识远比表面看到的多： 399 | 400 | ```zig 401 | std.debug.print("{s}'s power is {d}\n", .{user.name, user.power}); 402 | ``` 403 | 404 | 我们只是略微浏览了一下，但它确实提供了一个机会来强调 Zig 的一些更强大的功能。即使你还没有掌握，至少也应该了解这些功能。 405 | 406 | 首先是 Zig 的编译时执行（compile-time execution）概念。编译时执行是 Zig 元编程功能的核心，顾名思义，就是在编译时而不是运行时运行代码。在本指南中，我们将对编译时可能实现的功能进行浅显介绍，更多高级功能读者可以参考其他资料。 407 | 408 | 你可能想知道上面这行代码中需要编译时执行的是什么。`print` 函数的定义要求我们的第一个参数（字符串格式）是编译时已知的： 409 | 410 | ```zig 411 | // 注意变量"fmt"前的"comptime" 412 | pub fn print(comptime fmt: []const u8, args: anytype) void { 413 | ``` 414 | 415 | 原因是 `print` 会进行额外的编译时检查，而这在大多数其他语言中是不会出现的。什么样的检查呢？假设你把格式改为 `it's over {d}/n`，但保留了两个参数。你会得到一个编译时错误：`unused argument in 'it's over {d}'`。它还会进行类型检查：将格式字符串改为`{s}'s power is {s}\n`，你会这个错误`invalid format string 's' for type 'u64'`。如果在编译时不知道字符串的格式，就不可能在编译时进行这些检查。因此，需要一个编译时已知的值。 416 | 417 | `comptime` 会对编码产生直接影响的地方是整数和浮点字面的默认类型，即特殊的 `comptime_int` 和 `comptime_float`。这行代码是无效的：`var i = 0`。`comptime`代码只能使用编译时已知的数据，对于整数和浮点数，这类数据由特殊的 `comptime_int` 和 `comptime_float` 类型标识。这种类型的值可以在编译时执行。但你可能不会把大部分时间花在编写用于编译时执行的代码上，因此它并不是一个特别有用的默认值。你需要做的是给变量一个显式类型： 418 | 419 | ```zig 420 | var i: usize = 0; 421 | var j: f64 = 0; 422 | ``` 423 | 424 | > 注意，如果我们使用`const`，就不会出现这个错误，因为错误的关键在于 `comptime_int` 必须是常量。 425 | 426 | 在以后的章节中，我们将在探索泛型时进一步研究 `comptime`。 427 | 428 | 我们这行代码的另一个特别之处在于奇怪的 `.{user.name, user.power}`，根据上述 `print` 的定义，我们知道它映射到 `anytype` 类型的变量。这种类型不应与 Java 的 Object 或 Go 的 any（又名 interface{}）混淆。相反，在编译时，Zig 会为传递给它的所有类型专门创建一个单独的 `print` 函数。 429 | 430 | 这就引出了一个问题：我们传递给它的是什么？我们以前在让编译器推断结构类型时见过 `.{...}` 符号。这与此类似：它创建了一个匿名结构字面。请看这段代码 431 | 432 | ```zig 433 | pub fn main() void { 434 | std.debug.print("{any}\n", .{@TypeOf(.{.year = 2023, .month = 8})}); 435 | } 436 | ``` 437 | 438 | 会输出： 439 | 440 | ``` 441 | struct{comptime year: comptime_int = 2023, comptime month: comptime_int = 8} 442 | ``` 443 | 444 | 在这里，我们给匿名结构的字段取名为 `year` 和 `month`。在原始代码中，我们没有这样做。在这种情况下，字段名会自动生成 0、1、2 等。虽然它们都是匿名结构字面形式的示例，但没有字段名称的结构通常被称为“元组”（tuple）。`print` 函数希望接收一个元组，并使用字符串格式中的序号位置来获取适当的参数。 445 | 446 | Zig 没有函数重载，也没有可变函数（vardiadic，具有任意数量参数的函数）。但它的编译器能根据传入的类型创建专门的函数，包括编译器自己推导和创建的类型。 447 | -------------------------------------------------------------------------------- /03-language-overview-part2.md: -------------------------------------------------------------------------------- 1 | > 原文地址： 2 | 3 | # 语言概述 - 第二部分 4 | 5 | 本部分继续上一部分的内容：熟悉 Zig 语言。我们将探索 Zig 的控制流和结构以外的类型。通过这两部分的学习，我们将掌握 Zig 语言的大部分语法，这让我们可以继续深入 Zig 语言，同时也为如何使用 std 标准库打下了基础。 6 | 7 | ## 控制流 8 | 9 | Zig 的控制流很可能是我们所熟悉的，但它与 Zig 语言的其他特性协同工作是我们还没有探索过。我们先简单概述控制流的基本使用，之后在讨论依赖控制流的相关特性时，再来重新回顾。 10 | 11 | 你会注意到，我们使用 `and` 和 `or` 来代替逻辑运算符 `&&` 和 `||`。与大多数语言一样，`and` 和 `or` 会短路执行，即如果左侧为假，`and` 的右侧运算符就不会执行；如果左侧为真，`or` 的右侧就不会执行。在 Zig 中，控制流是通过关键字完成的，因此要使用 `and` 和 `or`。 12 | 13 | 此外，比较运算符 `==` 在切片（如 `[]const u8`，即字符串）间不起作用。在大多数情况下，需要使用 `std.mem.eql(u8,str1,str2)`，它将比较两个片段的长度和字节数。 14 | 15 | Zig 中，`if`、`else if` 和 `else` 也很常见： 16 | 17 | ```zig 18 | // std.mem.eql 将逐字节进行比较，对于字符串来说它是大小写敏感的。 19 | if (std.mem.eql(u8, method, "GET") or std.mem.eql(u8, method, "HEAD")) { 20 | // 处理 GET 请求 21 | } else if (std.mem.eql(u8, method, "POST")) { 22 | // 处理 POST 请求 23 | } else { 24 | // ... 25 | } 26 | ``` 27 | 28 | > `std.mem.eql` 的第一个参数是一个类型，这里是 `u8`。这是我们看到的第一个泛型函数。我们将在后面的部分进一步探讨。 29 | 30 | 上述示例比较的是 ASCII 字符串，不区分大小写可能更合适，这时 `std.ascii.eqlIgnoreCase(str1, str2)` 可能是更好的选择。 31 | 32 | 虽然没有三元运算符，但可以使用 if/else 来代替： 33 | 34 | ```zig 35 | const super = if (power > 9000) true else false; 36 | ``` 37 | 38 | `switch` 语句类似于`if/else if/else`，但具有穷举的优点。也就是说，如果没有涵盖所有情况，编译时就会出错。下面这段代码将无法编译： 39 | 40 | ```zig 41 | fn anniversaryName(years_married: u16) []const u8 { 42 | switch (years_married) { 43 | 1 => return "paper", 44 | 2 => return "cotton", 45 | 3 => return "leather", 46 | 4 => return "flower", 47 | 5 => return "wood", 48 | 6 => return "sugar", 49 | } 50 | } 51 | ``` 52 | 53 | 编译时会报错：`switch` 必须处理所有的可能性。由于我们的 `years_married` 是一个 16 位整数，这是否意味着我们需要处理所有 64K 中情况？是的，不过我们可以使用 `else` 来代替： 54 | 55 | ```zig 56 | // ... 57 | 6 => return "sugar", 58 | else => return "no more gifts for you", 59 | ``` 60 | 61 | 在进行匹配时，我们可以合并多个 `case` 或使用范围；在进行处理时，可以使用代码块来处理复杂的情况： 62 | 63 | ```zig 64 | fn arrivalTimeDesc(minutes: u16, is_late: bool) []const u8 { 65 | switch (minutes) { 66 | 0 => return "arrived", 67 | 1, 2 => return "soon", 68 | 3...5 => return "no more than 5 minutes", 69 | else => { 70 | if (!is_late) { 71 | return "sorry, it'll be a while"; 72 | } 73 | // todo, something is very wrong 74 | return "never"; 75 | }, 76 | } 77 | } 78 | ``` 79 | 80 | 虽然 `switch` 在很多情况下都很有用，但在处理枚举时，它穷举的性质才真正发挥了作用，我们很快就会谈到枚举。 81 | 82 | Zig 的 `for` 循环用于遍历数组、切片和范围。例如，我们可以这样写： 83 | 84 | ```zig 85 | fn contains(haystack: []const u32, needle: u32) bool { 86 | for (haystack) |value| { 87 | if (needle == value) { 88 | return true; 89 | } 90 | } 91 | return false; 92 | } 93 | ``` 94 | 95 | `for` 循环也可以同时处理多个序列，只要这些序列的长度相同。上面我们使用了 `std.mem.eql` 函数，下面是其大致实现： 96 | 97 | ```zig 98 | pub fn eql(comptime T: type, a: []const T, b: []const T) bool { 99 | // if they aren't the same length, they can't be equal 100 | if (a.len != b.len) return false; 101 | 102 | for (a, b) |a_elem, b_elem| { 103 | if (a_elem != b_elem) return false; 104 | } 105 | 106 | return true; 107 | } 108 | ``` 109 | 110 | 一开始的 `if` 检查不仅是一个很好的性能优化，还是一个必要的防护措施。如果我们去掉它，并传递不同长度的参数，就会出现运行时 `panic`。`for` 在作用于多个序列上时，要求其长度相等。 111 | 112 | `for` 循环也可以遍历范围，例如： 113 | 114 | ```zig 115 | for (0..10) |i| { 116 | std.debug.print("{d}\n", .{i}); 117 | } 118 | ``` 119 | 120 | > 在 `switch` 中，范围使用了三个点，即 `3...6`，而这个示例中，范围使用了两个点，即 `0..10`。这是因为在 switch 中，范围的两端都是闭区间，而 for 则是左闭右开。 121 | 122 | 与一个（或多个）序列组合使用时，它的作用就真正体现出来了： 123 | 124 | ```zig 125 | fn indexOf(haystack: []const u32, needle: u32) ?usize { 126 | for (haystack, 0..) |value, i| { 127 | if (needle == value) { 128 | return i; 129 | } 130 | } 131 | return null; 132 | } 133 | ``` 134 | 135 | > 这是对可空类型的初步了解。 136 | 137 | 范围的末端由 `haystack` 的长度推断，不过我们也可以写出 `0..haystack.len`，但这没有必要。`for` 循环不支持常见的 `init; compare; step` 风格，对于这种情况，可以使用 `while`。 138 | 139 | 因为 `while` 比较简单，形式如下：`while (condition) { }`，这有利于更好地控制迭代。例如，在计算字符串中转义序列的数量时，我们需要将迭代器递增 2 以避免重复计算 `\\`： 140 | 141 | ```zig 142 | var escape_count: usize = 0; 143 | { 144 | var i: usize = 0; 145 | // 反斜杠用作转义字符，因此我们需要用一个反斜杠来转义它。 146 | while (i < src.len) { 147 | if (src[i] == '\\') { 148 | i += 2; 149 | escape_count += 1; 150 | } else { 151 | i += 1; 152 | } 153 | } 154 | } 155 | ``` 156 | 157 | 我们在临时变量 `i` 和 `while` 循环周围添加了一个显式的代码块。这缩小了 `i` 的作用范围。这样的代码块可能会很有用，尽管在这个例子中可能有些过度。不过，上述例子已经是 Zig 中最接近传统的 `for(init; compare; step)` 循环的写法了。 158 | 159 | `while` 可以包含 `else` 子句，当条件为假时执行 `else` 子句。它还可以接受在每次迭代后要执行的语句。多个语句可以用 ; 分隔。在 `for` 支持遍历多个序列之前，这一功能很常用。上述语句可写成 160 | 161 | ```zig 162 | var i: usize = 0; 163 | var escape_count: usize = 0; 164 | 165 | // 改写后的 166 | while (i < src.len) : (i += 1) { 167 | if (src[i] == '\\') { 168 | // +1 here, and +1 above == +2 169 | // 这里 +1，上面也 +1，相当于 +2 170 | i += 1; 171 | escape_count += 1; 172 | } 173 | } 174 | 175 | ``` 176 | 177 | Zig 也支持 `break` 和 `continue` 关键字，用于跳出最内层循环或跳转到下一次迭代。 178 | 179 | 代码块可以附带标签（label），`break` 和 `continue` 可以作用在特定标签上。举例说明： 180 | 181 | ```zig 182 | outer: for (1..10) |i| { 183 | for (i..10) |j| { 184 | if (i * j > (i+i + j+j)) continue :outer; 185 | std.debug.print("{d} + {d} >= {d} * {d}\n", .{i+i, j+j, i, j}); 186 | } 187 | } 188 | ``` 189 | 190 | `break` 还有另一个有趣的行为，即从代码块中返回值： 191 | 192 | ```zig 193 | const personality_analysis = blk: { 194 | if (tea_vote > coffee_vote) break :blk "sane"; 195 | if (tea_vote == coffee_vote) break :blk "whatever"; 196 | if (tea_vote < coffee_vote) break :blk "dangerous"; 197 | }; 198 | ``` 199 | 200 | 像这样有返回值的的块，必须以分号结束。 201 | 202 | 稍后，当我们讨论带标签的联合（tagged union）、错误联合（error unions）和可选类型（Optional）时，我们将看到控制流如何与它们联合使用。 203 | 204 | ## 枚举 205 | 206 | 枚举是带有标签的整数常量。它们的定义很像结构体： 207 | 208 | ```zig 209 | // 可以是 "pub" 的 210 | const Status = enum { 211 | ok, 212 | bad, 213 | unknown, 214 | }; 215 | ``` 216 | 217 | 与结构体一样，枚举可以包含其他定义，包括函数，这些函数可以选择性地将枚举作为第一个参数： 218 | 219 | ```zig 220 | const Stage = enum { 221 | validate, 222 | awaiting_confirmation, 223 | confirmed, 224 | err, 225 | 226 | fn isComplete(self: Stage) bool { 227 | return self == .confirmed or self == .err; 228 | } 229 | }; 230 | ``` 231 | 232 | > 如果需要枚举的字符串表示，可以使用内置的 `@tagName(enum)` 函数。 233 | 234 | 回想一下，结构类型可以使用 `.{...}` 符号根据其赋值或返回类型来推断。在上面，我们看到枚举类型是根据与 `self` 的比较推导出来的，而 `self` 的类型是 `Stage`。我们本可以明确地写成：`return self == Stage.confirmed` 或 `self == Stage.err`。但是，在处理枚举时，你经常会看到通过 `.$value` 这种省略具体类型的情况。这被称为*枚举字面量*。 235 | 236 | `switch` 的穷举性质使它能与枚举很好地搭配，因为它能确保你处理了所有可能的情况。不过在使用 `switch` 的 `else` 子句时要小心，因为它会匹配任何新添加的枚举值，而这可能不是我们想要的行为。 237 | 238 | ## 带标签的联合 Tagged Union 239 | 240 | 联合定义了一个值可以具有的一系列类型。例如，这个 `Number` 可以是整数、浮点数或 nan（非数字）： 241 | 242 | ```zig 243 | const std = @import("std"); 244 | 245 | pub fn main() void { 246 | const n = Number{.int = 32}; 247 | std.debug.print("{d}\n", .{n.int}); 248 | } 249 | 250 | const Number = union { 251 | int: i64, 252 | float: f64, 253 | nan: void, 254 | }; 255 | ``` 256 | 257 | 一个联合一次只能设置一个字段；试图访问一个未设置的字段是错误的。既然我们已经设置了 `int` 字段，如果我们试图访问 `n.float`，就会出错。我们的一个字段 `nan` 是 `void` 类型。我们该如何设置它的值呢？使用 `{}`： 258 | 259 | ```zig 260 | const n = Number{.nan = {}}; 261 | ``` 262 | 263 | 使用联合的一个难题是要知道设置的是哪个字段。这就是带标签的联合发挥作用的地方。带标签的联合将枚举与联合定义在一起，可用于 `switch` 语句中。请看下面这个例子： 264 | 265 | ```zig 266 | pub fn main() void { 267 | const ts = Timestamp{.unix = 1693278411}; 268 | std.debug.print("{d}\n", .{ts.seconds()}); 269 | } 270 | 271 | const TimestampType = enum { 272 | unix, 273 | datetime, 274 | }; 275 | 276 | const Timestamp = union(TimestampType) { 277 | unix: i32, 278 | datetime: DateTime, 279 | 280 | const DateTime = struct { 281 | year: u16, 282 | month: u8, 283 | day: u8, 284 | hour: u8, 285 | minute: u8, 286 | second: u8, 287 | }; 288 | 289 | fn seconds(self: Timestamp) u16 { 290 | switch (self) { 291 | .datetime => |dt| return dt.second, 292 | .unix => |ts| { 293 | const seconds_since_midnight: i32 = @rem(ts, 86400); 294 | return @intCast(@rem(seconds_since_midnight, 60)); 295 | }, 296 | } 297 | } 298 | }; 299 | ``` 300 | 301 | 请注意， `switch` 中的每个分支捕获了字段的类型值。也就是说，`dt` 是 `Timestamp.DateTime` 类型，而 `ts` 是 `i32` 类型。这也是我们第一次看到嵌套在其他类型中的结构。`DateTime` 本可以在联合之外定义。我们还看到了两个新的内置函数：`@rem` 用于获取余数，`@intCast` 用于将结果转换为 `u16`（`@intCast` 从返回值类型中推断出我们需要 `u16`）。 302 | 303 | 从上面的示例中我们可以看出，带标签的联合的使用有点像接口，只要我们提前知道所有可能的实现，我们就能够将其转化带标签的联合这种形式。 304 | 305 | 最后，带标签的联合中的枚举类型可以自动推导出来。我们可以直接这样做： 306 | 307 | ```zig 308 | const Timestamp = union(enum) { 309 | unix: i32, 310 | datetime: DateTime, 311 | 312 | ... 313 | ``` 314 | 315 | 这里 Zig 会根据带标签的联合，自动创建一个隐式枚举。 316 | 317 | ## 可选类型 Optional 318 | 319 | 在类型前加上问号 `?`，任何值都可以声明为可选类型。可选类型既可以是 `null`，也可以是已定义类型的值： 320 | 321 | ```zig 322 | var home: ?[]const u8 = null; 323 | var name: ?[]const u8 = "Leto"; 324 | ``` 325 | 326 | 明确类型的必要性应该很清楚：如果我们只使用 const name = `"Leto"`，那么推导出的类型将是非可选的 `[]const u8`。 327 | 328 | `.?`用于访问可选类型后面的值： 329 | 330 | ```zig 331 | std.debug.print("{s}\n", .{name.?}); 332 | 333 | ``` 334 | 335 | 但如果在 `null` 上使用 `.?`，运行时就会 `panic`。`if` 语句可以安全地取出可选类型背后的值： 336 | 337 | ```zig 338 | if (home) |h| { 339 | // h is a []const u8 340 | // we have a home value 341 | } else { 342 | // we don't have a home value 343 | } 344 | ``` 345 | 346 | `orelse` 可用于提取可选类型的值或执行代码。这通常用于指定默认值或从函数中返回： 347 | 348 | ```zig 349 | const h = home orelse "unknown" 350 | 351 | // 或直接返回函数 352 | const h = home orelse return; 353 | ``` 354 | 355 | 不过，orelse 也可以带一个代码块，用于执行更复杂的逻辑。可选类型还可以与 `while` 整合，经常用于创建迭代器。我们这里忽略迭代器的细节，但希望这段伪代码能说明问题： 356 | 357 | ```zig 358 | while (rows.next()) |row| { 359 | // do something with our row 360 | } 361 | ``` 362 | 363 | ## 未定义的值 Undefined 364 | 365 | 到目前为止，我们看到的每一个变量都被初始化为一个合理的值。但有时我们在声明变量时并不知道它的值。可选类型是一种选择，但并不总是合理的。在这种情况下，我们可以将变量设置为未定义，让其保持未初始化状态。 366 | 367 | 通常这样做的一个地方是创建数组，其值将由某个函数来填充： 368 | 369 | ```zig 370 | var pseudo_uuid: [16]u8 = undefined; 371 | std.crypto.random.bytes(&pseudo_uuid); 372 | ``` 373 | 374 | 上述代码仍然创建了一个 16 字节的数组，但它的每个元素都没有被赋值。 375 | 376 | ## 错误 Errors 377 | 378 | Zig 中错误处理功能十分简单、实用。这一切都从错误集（error sets）开始，错误集的使用方式类似于枚举： 379 | 380 | ```zig 381 | // 与第 1 部分中的结构一样，OpenError 也可以标记为 "pub"。 382 | // 使其可以在其定义的文件之外访问 383 | const OpenError = error { 384 | AccessDenied, 385 | NotFound, 386 | }; 387 | ``` 388 | 389 | 任意函数（包括 `main`）都可以返回这个错误： 390 | 391 | ```zig 392 | pub fn main() void { 393 | return OpenError.AccessDenied; 394 | } 395 | 396 | const OpenError = error { 397 | AccessDenied, 398 | NotFound, 399 | }; 400 | ``` 401 | 402 | 如果你尝试运行这个程序，你会得到一个错误：`expected type 'void', found 'error{AccessDenied,NotFound}'`。这是有道理的：我们定义了返回类型为 `void` 的 `main` 函数，但我们却返回了另一种东西（很明显，它是一个错误，而不是 `void`）。要解决这个问题，我们需要更改函数的返回类型。 403 | 404 | ```zig 405 | pub fn main() OpenError!void { 406 | return OpenError.AccessDenied; 407 | } 408 | ``` 409 | 410 | 这就是所谓的错误联合类型，它表示我们的函数既可以返回 `OpenError` 错误，也可以返回 `void`（也就是什么都没有）。到目前为止，我们已经非常明确：我们为函数可能返回的错误创建了一个错误集，并在函数的错误联合类型中使用了该错误集。但是，说到错误，Zig 有一些巧妙的技巧。首先，我们可以让 Zig 通过使用 `!return_type` 来推导错误集，而不是将 `error union` 指定为 `error_set!return_type`。因此，我们可以（也推荐）将我们 `main` 函数定义为： 411 | 412 | ```zig 413 | pub fn main() !void 414 | 415 | ``` 416 | 417 | 其次，Zig 能够为我们隐式创建错误集。我们可以这样做，而不需要提前声明： 418 | 419 | ```zig 420 | pub fn main() !void { 421 | return error.AccessDenied; 422 | } 423 | ``` 424 | 425 | 完全显式和隐式方法并不完全等同。例如，引用具有隐式错误集的函数时，需要使用特殊的 `anyerror` 类型。类库开发人员可能会发现显式的好处，比如可以达到代码即文档的效果。不过，我认为隐式错误集和推导错误联合类型都很实用；我在平时编程中，大量使用了这两种方法。 426 | 427 | 错误联合类型的真正价值在于 Zig 语言提供了 `catch` 和 `try` 来处理它们。返回错误联合类型的函数调用时，可以包含一个 `catch` 子句。例如，一个 http 服务器库的代码可能如下所示： 428 | 429 | ```zig 430 | action(req, res) catch |err| { 431 | if (err == error.BrokenPipe or err == error.ConnectionResetByPeer) { 432 | return; 433 | } else if (err == error.BodyTooBig) { 434 | res.status = 431; 435 | res.body = "Request body is too big"; 436 | } else { 437 | res.status = 500; 438 | res.body = "Internal Server Error"; 439 | // todo: log err 440 | } 441 | }; 442 | ``` 443 | 444 | `switch` 的版本更符合惯用法： 445 | 446 | ```zig 447 | action(req, res) catch |err| switch (err) { 448 | error.BrokenPipe, error.ConnectionResetByPeer) => return, 449 | error.BodyTooBig => { 450 | res.status = 431; 451 | res.body = "Request body is too big"; 452 | }, 453 | else => { 454 | res.status = 500; 455 | res.body = "Internal Server Error"; 456 | } 457 | }; 458 | ``` 459 | 460 | 这看起来花哨，但老实说，你在 `catch` 中最有可能做的事情就是把错误信息给调用者： 461 | 462 | ```zig 463 | action(req, res) catch |err| return err; 464 | ``` 465 | 466 | 这种模式非常常见，因此 Zig 提供了 `try` 关键字用于处理这种情况。上述代码的另一种写法如下： 467 | 468 | ```zig 469 | try action(req, res); 470 | ``` 471 | 472 | 鉴于必须处理错误，这一点尤其有用。多数情况下的做法就是使用 `try` 或 `catch`。 473 | 474 | > Go 开发人员会注意到，`try` 比 `if err != nil { return err }` 的按键次数更少。 475 | 476 | 大多数情况下，你都会使用 `try` 和 `catch`，但 `if` 和 `while` 也支持错误联合类型，这与可选类型很相似。在 `while` 的情况下，如果条件返回错误，则执行 `else` 子句。 477 | 478 | 有一种特殊的 `anyerror` 类型可以容纳任何错误。虽然我们可以将函数定义为返回 `anyerror!TYPE` 而不是 `!TYPE`，但两者并不等同。`anyerror` 是全局错误集，是程序中所有错误集的超集。因此，在函数签名中使用 `anyerror` 很可能表示这个函数虽然可以返回错误，而实际上它大概率不会返回错误。 `anyerror` 主要用在可以是任意错误类型的函数参数或结构体字段中（想象一下日志库）。 479 | 480 | 函数同时返回可选类型与错误联合类型的情况并不少见。在推导错误集的情况下，形式如下： 481 | 482 | ```zig 483 | // 载入上次保存的游戏 484 | pub fn loadLast() !?Save { 485 | // TODO 486 | return null; 487 | } 488 | ``` 489 | 490 | 使用此类函数有多种方法，但最简洁的方法是使用 `try` 来解除错误，然后使用 `orelse` 来解除可选类型。下面是一个大致的模式： 491 | 492 | ```zig 493 | const std = @import("std"); 494 | 495 | pub fn main() void { 496 | // This is the line you want to focus on 497 | const save = (try Save.loadLast()) orelse Save.blank(); 498 | std.debug.print("{any}\n", .{save}); 499 | } 500 | 501 | pub const Save = struct { 502 | lives: u8, 503 | level: u16, 504 | 505 | pub fn loadLast() !?Save { 506 | //todo 507 | return null; 508 | } 509 | 510 | pub fn blank() Save { 511 | return .{ 512 | .lives = 3, 513 | .level = 1, 514 | }; 515 | } 516 | }; 517 | ``` 518 | 519 | --- 520 | 521 | 虽然我们还未涉及 Zig 语言中更高级的功能，但我们在前两部分中看到的是 Zig 语言重要组成部分。它们将作为一个基础，让我们能够探索更复杂的话题，而不用被语法所困扰。 522 | -------------------------------------------------------------------------------- /04-style-guide.md: -------------------------------------------------------------------------------- 1 | > 原文地址： 2 | 3 | # 代码风格和规范 4 | 5 | 本小节的主要内容是介绍 Zig 编译器强制遵守的 2 条规则，以及 Zig 标准库的命名惯例(naming convention)。 6 | 7 | ## 未使用变量 Unused Variable 8 | 9 | Zig 编译器禁止`未使用变量`，例如以下代码会导致两处编译错误： 10 | 11 | ```zig 12 | const std = @import("std"); 13 | 14 | pub fn main() void { 15 | const sum = add(8999, 2); 16 | } 17 | 18 | fn add(a: i64, b: i64) i64 { 19 | // notice this is a + a, not a + b 20 | return a + a; 21 | } 22 | ``` 23 | 24 | 第一个编译错误，源自于`sum`是一个未使用的本地常量。第二个编译错误，在于在函数`add`的所有形参中，`b`是一个未使用的函数参数。对于这段代码来说，它们是比较明显的漏洞。但是在实际编程中，代码中包含未使用变量和函数形参并非完全不合理。在这种情况下，我们可以通过将未使用变量赋值给`_`（下划线）的方法，避免编译器报错: 25 | 26 | ```zig 27 | const std = @import("std"); 28 | 29 | pub fn main() void { 30 | _ = add(8999, 2); 31 | 32 | // or 33 | 34 | const sum = add(8999, 2); 35 | _ = sum; 36 | } 37 | 38 | fn add(a: i64, b: i64) i64 { 39 | _ = b; 40 | return a + a; 41 | } 42 | ``` 43 | 44 | 除了使用`_ = b`之外，我们还可以直接用`_`来命名函数`add`的形参。但是，在我看来，这样做会牺牲代码的可读性，读者会猜测，这个未使用的形参到底是什么： 45 | 46 | ```zig 47 | fn add(a: i64, _: i64) i64 { 48 | ``` 49 | 50 | 值得注意的是，在上述例子中，`std`也是一个未使用的符号，但是当前这种用法并不会导致任何编译错误。可能在未来，Zig 编译器也将此视为错误。 51 | 52 | ## 变量覆盖 Variable Shadowing 53 | 54 | Zig 不允许使用同名的变量。下面是一个读取 `socket` 的例子，这个例子包含了一个变量覆盖的编译错误： 55 | 56 | ```zig 57 | fn read(stream: std.net.Stream) ![]const u8 { 58 | var buf: [512]u8 = undefined; 59 | const read = try stream.read(&buf); 60 | if (read == 0) { 61 | return error.Closed; 62 | } 63 | return buf[0..read]; 64 | } 65 | ``` 66 | 67 | 上述例子中，`read`变量覆盖了`read`函数。我并不太认同这个规范，因为它会导致开发者为了避免覆盖而使用短且无意义的变量名。例如，为了让上述代码通过编译，需要将变量名`read`改成`n`。 68 | 69 | 我认为，这个规范并不能使代码可读性提高。在这个场景下，应该是开发者，而不是编译器，更有资格选择更有可读性的命名方案。 70 | 71 | ## 命名规范 72 | 73 | 除了遵守以上这些规则以外，开发者可以自由地选择他们喜欢的命名规范。但是，理解 Zig 自身的命名规范是有益的，因为大部分你需要打交道的代码，如 Zig 标准库，或者其他三方库，都采用了 Zig 的命名规范。 74 | 75 | Zig 代码采用 4 个空格进行缩进。我个人会因为客观上更方便，使用`tab`键。 76 | 77 | Zig 的函数名采用了驼峰命名法（camelCase），而变量名会采用小写加下划线（snake case）的命名方式。类型则采用的是 PascalCase 风格。除了这三条规则外，一个有趣的交叉规则是，如果一个变量表示一个类型，或者一个函数返回一个类型，那么这个变量或者函数遵循 PascalCase。在之前的章节中，其实已经见到了这个例子，不过，可能你没有注意到： 78 | 79 | ```zig 80 | std.debug.print("{any}\n", .{@TypeOf(.{.year = 2023, .month = 8})}); 81 | ``` 82 | 83 | 我们已经看到过一些内置函数：`@import`，`@rem`和`@intCast`。因为这些都是函数，他们的命名遵循驼峰命名法。`@TypeOf`也是一个内置函数，但是他遵循 PascalCase，为何？因为他返回的是一个类型，因此它的命名采用了类型命名方法。当我们使用一个变量，去接收`@TypeOf`的返回值，这个变量也需要遵循类型命名规则（即 PascalCase）: 84 | 85 | ```zig 86 | const T = @TypeOf(3); 87 | std.debug.print("{any}\n", .{T}); 88 | ``` 89 | 90 | `zig` 命令包含一个 `fmt` 子命令，在给定一个文件或目录时，它会根据 Zig 的编码风格对文件进行格式化。但它并没有包含所有上述的规则，比如它能够调整缩排，以及花括号`{`的位置，但是它不会调整标识符的大小写。 91 | -------------------------------------------------------------------------------- /05-pointers.md: -------------------------------------------------------------------------------- 1 | > 原文地址： 2 | 3 | # 指针 4 | 5 | Zig 不包含垃圾回收器。管理内存的重任由开发者负责。这是一项重大责任，因为它直接影响到应用程序的性能、稳定性和安全性。 6 | 7 | 我们将从指针开始讨论，这本身就是一个重要的话题，同时也是训练我们从面向内存的角度来看待程序数据的开始。如果你已经对指针、堆分配和悬挂指针了如指掌，那么可以跳过本小节和下一小节，直接阅读[堆内存和分配器](07-heap-memory-and-allocator.md)，这部分内容与 Zig 更为相关。 8 | 9 | --- 10 | 11 | 下面的代码创建了一个 `power` 为 100 的用户，然后调用 `levelUp` 函数将用户的 `power` 加一。你能猜到它的输出结果吗？ 12 | 13 | ```zig 14 | const std = @import("std"); 15 | 16 | pub fn main() void { 17 | var user = User{ 18 | .id = 1, 19 | .power = 100, 20 | }; 21 | 22 | // this line has been added 23 | levelUp(user); 24 | std.debug.print("User {d} has power of {d}\n", .{user.id, user.power}); 25 | } 26 | 27 | fn levelUp(user: User) void { 28 | user.power += 1; 29 | } 30 | 31 | pub const User = struct { 32 | id: u64, 33 | power: i32, 34 | }; 35 | ``` 36 | 37 | 这里我设置了一个陷阱，此段代码将无法编译：_局部变量从未被修改_。这是指 `main` 函数中的 `user` 变量。一个从未被修改的变量必须声明为 const。你可能会想：但在 `levelUp` 函数中我们确实修改了 `user`，这怎么回事？让我们假设 Zig 编译器弄错了，并试着糊弄它。我们将强制让编译器看到 `user` 确实被修改了： 38 | 39 | ```zig 40 | const std = @import("std"); 41 | 42 | pub fn main() void { 43 | var user = User{ 44 | .id = 1, 45 | .power = 100, 46 | }; 47 | user.power += 0; 48 | 49 | // 代码的其余部分保持不变。 50 | ``` 51 | 52 | 现在我们在 `levelUp` 中遇到了一个错误：**不能赋值给常量**。我们在第一部分中看到函数参数是常量，因此 `user.power += 1` 是无效的。为了解决这个错误，我们可以将 `levelUp` 函数改为 53 | 54 | ```zig 55 | fn levelUp(user: User) void { 56 | var u = user; 57 | u.power += 1; 58 | } 59 | ``` 60 | 61 | 虽然编译成功了，但输出结果却是`User 1 has power of 100`，而我们代码的目的显然是让 `levelUp` 将用户的 `power` 提升到 101。这是怎么回事？ 62 | 63 | 要理解这一点，我们可以将数据与内存联系起来，而变量只是将类型与特定内存位置关联起来的标签。例如，在 `main` 中，我们创建了一个`User`。内存中数据的简单可视化表示如下 64 | 65 | ```text 66 | user -> ------------ (id) 67 | | 1 | 68 | ------------ (power) 69 | | 100 | 70 | ------------ 71 | ``` 72 | 73 | 有两点需要注意： 74 | 75 | 1. 我们的`user`变量指向结构的起点 76 | 2. 字段是按顺序排列的 77 | 78 | 请记住，我们的`user`也有一个类型。该类型告诉我们 `id` 是一个 64 位整数，`power` 是一个 32 位整数。有了对数据起始位置的引用和类型，编译器就可以将 `user.power` 转换为：访问位置在结构体第 64 位上的一个 32 位整数。这就是变量的威力，它们可以引用内存，并包含以有意义的方式理解和操作内存所需的类型信息。 79 | 80 | > 默认情况下，Zig 不保证结构的内存布局。它可以按字母顺序、大小升序或插入填充（padding）某些字段。只要它能正确翻译我们的代码，它就可以为所欲为。这种自由度可以实现某些优化。只有在声明 `packed struct`时，我们才能获得内存布局的有力保证。我们还可以创建一个 `extern struct`，这样可以保证内存布局与 C 应用程序二进制接口 (ABI) 匹配。尽管如此，我们对`user`的可视化还是合理而有用的。 81 | 82 | 下面是一个稍有不同的可视化效果，其中包括内存地址。这些数据的起始内存地址是我想出来的一个随机地址。这是`user`变量引用的内存地址，也是第一个字段 `id` 的值所在的位置。由于 `id` 是一个 64 位整数，需要 8 字节内存。因此，`power` 必须位于 `$start_address + 8` 上： 83 | 84 | ```text 85 | user -> ------------ (id: 1043368d0) 86 | | 1 | 87 | ------------ (power: 1043368d8) 88 | | 100 | 89 | ------------ 90 | ``` 91 | 92 | 为了验证这一点，我想介绍一下取地址符运算符：`&`。顾名思义，取地址运算符返回一个变量的地址（它也可以返回一个函数的地址，是不是很神奇？）保留现有的 `User` 定义，试试下面的代码： 93 | 94 | ```zig 95 | pub fn main() void { 96 | const user = User{ 97 | .id = 1, 98 | .power = 100, 99 | }; 100 | std.debug.print("{*}\n{*}\n{*}\n", .{&user, &user.id, &user.power}); 101 | } 102 | ``` 103 | 104 | 这段代码输出了`user`、`user.id`、和`user.power`的地址。根据平台等差异，可能会得到不同的输出结果，但都会看到`user`和`user.id`的地址相同，而`user.power`的地址偏移量了 8 个字节。输出的结果如下： 105 | 106 | ```text 107 | learning.User@1043368d0 108 | u64@1043368d0 109 | i32@1043368d8 110 | ``` 111 | 112 | 取地址运算符返回一个指向值的指针。指向值的指针是一种特殊的类型。类型`T`的值的地址是`*T`。因此，如果我们获取 `user` 的地址，就会得到一个 `*User`，即一个指向 `User` 的指针： 113 | 114 | ```zig 115 | pub fn main() void { 116 | var user = User{ 117 | .id = 1, 118 | .power = 100, 119 | }; 120 | user.power += 0; 121 | 122 | const user_p = &user; 123 | std.debug.print("{any}\n", .{@TypeOf(user_p)}); 124 | } 125 | ``` 126 | 127 | 我们最初的目标是通过`levelUp`函数将用户的`power`值增加 1 。我们已经让代码编译通过，但当我们打印`power`时，它仍然是原始值。虽然有点跳跃，但让我们修改代码，在 `main` 和 `levelUp` 中打印 `user`的地址： 128 | 129 | ```zig 130 | pub fn main() void { 131 | var user = User{ 132 | .id = 1, 133 | .power = 100, 134 | }; 135 | user.power += 0; 136 | 137 | // added this 138 | std.debug.print("main: {*}\n", .{&user}); 139 | 140 | levelUp(user); 141 | std.debug.print("User {d} has power of {d}\n", .{user.id, user.power}); 142 | } 143 | 144 | fn levelUp(user: User) void { 145 | // add this 146 | std.debug.print("levelUp: {*}\n", .{&user}); 147 | var u = user; 148 | u.power += 1; 149 | } 150 | ``` 151 | 152 | 如果运行这个程序，会得到两个不同的地址。这意味着在 `levelUp` 中被修改的 `user`与 `main` 中的`user`是不同的。这是因为 Zig 传递了一个值的副本。这似乎是一个奇怪的默认行为，但它的好处之一是，函数的调用者可以确保函数不会修改参数（因为它不能）。在很多情况下，有这样的保证是件好事。当然，有时我们希望函数能修改参数，比如 `levelUp`。为此，我们需要 `levelUp` 作用于 `main` 中 `user`，而不是其副本。我们可以通过向函数传递 `user`的地址来实现这一点： 153 | 154 | ```zig 155 | const std = @import("std"); 156 | 157 | pub fn main() void { 158 | var user = User{ 159 | .id = 1, 160 | .power = 100, 161 | }; 162 | 163 | // no longer needed 164 | // user.power += 1; 165 | 166 | // user -> &user 167 | levelUp(&user); 168 | std.debug.print("User {d} has power of {d}\n", .{user.id, user.power}); 169 | } 170 | 171 | // User -> *User 172 | fn levelUp(user: *User) void { 173 | user.power += 1; 174 | } 175 | 176 | pub const User = struct { 177 | id: u64, 178 | power: i32, 179 | }; 180 | ``` 181 | 182 | 我们必须做两处改动。首先是用 `user` 的地址（即 `&user` ）来调用 `levelUp`，而不是 `user`。这意味着我们的函数参数不再是 `User`，取而代之的是一个 `*User`，这是我们的第二处改动。 183 | 184 | 我们不再需要通过 `user.power += 0;` 来强制修改 user 的那个丑陋的技巧了。最初，我们因为 user 是 var 类型而无法让代码编译，编译器告诉我们它从未被修改。我们以为编译器错了，于是通过强制修改来“糊弄”它。但正如我们现在所知道的，在 levelUp 中被修改的 user 是不同的；编译器是正确的。 185 | 186 | 现在，代码已按预期运行。虽然在函数参数和内存模型方面仍有许多微妙之处，但我们正在取得进展。现在也许是一个好时机来说明一下，除了特定的语法之外，这些都不是 Zig 所独有的。我们在这里探索的模型是最常见的，有些语言可能只是向开发者隐藏了很多细节，因此也就隐藏了灵活性。 187 | 188 | ## 方法 189 | 190 | 一般来说，我们会把 `levelUp` 写成 `User`结构的一个方法： 191 | 192 | ```zig 193 | pub const User = struct { 194 | id: u64, 195 | power: i32, 196 | 197 | fn levelUp(user: *User) void { 198 | user.power += 1; 199 | } 200 | }; 201 | ``` 202 | 203 | 这就引出了一个问题：我们如何调用带有指针参数的方法？也许我们必须这样做：`&user.levelUp()`？实际上，只需正常调用即可，即 user.levelUp()。Zig 知道该方法需要一个指针，因此会正确地传递值（通过引用传递）。 204 | 205 | 我最初选择函数是因为它很明确，因此更容易学习。 206 | 207 | ## 常量函数参数 208 | 209 | 我不止一次暗示过，在默认情况下，Zig 会传递一个值的副本（称为 "按值传递"）。很快我们就会发现，实际情况要更微妙一些（提示：嵌套对象的复杂值怎么办？） 210 | 211 | 即使坚持使用简单类型，事实也是 Zig 可以随心所欲地传递参数，只要它能保证代码的意图不受影响。在我们最初的 `levelUp` 中，参数是一个`User`，Zig 可以传递用户的副本或对 `main.user` 的引用，只要它能保证函数不会对其进行更改即可。(我知道我们最终确实希望它被改变，但通过采用 `User` 类型，我们告诉编译器我们不希望它被改变）。 212 | 213 | 这种自由度允许 Zig 根据参数类型使用最优策略。像 User 这样的小类型可以通过值传递（即复制），成本较低。较大的类型通过引用传递可能更便宜。只要代码的意图得以保留，Zig 可以使用任何方法。在某种程度上，使用常量函数参数可以做到这一点。 214 | 215 | 现在你知道函数参数是常量的原因之一了吧。 216 | 217 | > 也许你会想，即使与复制一个非常小的结构相比，通过引用传递怎么会更慢呢？我们接下来会更清楚地看到这一点，但要点是，当 `user` 是指针时，执行 `user.power` 会增加一点点开销。编译器必须权衡复制的代价和通过指针间接访问字段的代价。 218 | 219 | ## 指向指针的指针 220 | 221 | 我们之前查看了`main`函数中 `user` 的内存结构。现在我们改变了 `levelUp`，那么它的内存会是什么样的呢？ 222 | 223 | ```text 224 | main: 225 | user -> ------------ (id: 1043368d0) <--- 226 | | 1 | | 227 | ------------ (power: 1043368d8) | 228 | | 100 | | 229 | ------------ | 230 | | 231 | ............. empty space | 232 | ............. or other data | 233 | | 234 | levelUp: | 235 | user -> ------------- (*User) | 236 | | 1043368d0 |---------------------- 237 | ------------- 238 | ``` 239 | 240 | 在 `levelUp` 中，`user` 是指向 `User` 的指针。它的值是一个地址。当然不是任何地址，而是 `main.user` 的地址。值得明确的是，`levelUp` 中的 `user` 变量代表一个具体的值。这个值恰好是一个地址。而且，它不仅仅是一个地址，还是一个类型，即 `*User`。这一切都非常一致，不管我们讨论的是不是指针：变量将类型信息与地址联系在一起。指针的唯一特殊之处在于，当我们使用点语法时，例如 `user.power`，Zig 知道 `user` 是一个指针，就会自动跟随地址。 241 | 242 | > 通过指针访问字段时，有些语言可能会使用不同的运算符。 243 | 244 | 重要的是要理解，`levelUp`函数中的`user`变量本身存在于内存中的某个地址。就像之前所做的一样，我们可以亲自验证这一点： 245 | 246 | ```zig 247 | fn levelUp(user: *User) void { 248 | std.debug.print("{*}\n{*}\n", .{&user, user}); 249 | user.power += 1; 250 | } 251 | ``` 252 | 253 | 上面打印了`user`变量引用的地址及其值，这个值就是`main`函数中的`user`的地址。 254 | 255 | 如果`user`的类型是`*User`，那么`&user`呢？它的类型是`**User`, 或者说是一个指向`User`指针的指针。我可以一直这样做，直到内存溢出！ 256 | 257 | 我们可以使用多级间接指针，但这并不是我们现在所需要的。本节的目的是说明指针并不特殊，它只是一个值，即一个地址和一种类型。 258 | 259 | ## 嵌套指针 260 | 261 | 到目前为止，`User` 一直很简单，只包含两个整数。很容易就能想象出它的内存，而且当我们谈论『复制』 时，也不会有任何歧义。但是，如果 User 变得更加复杂并包含一个指针，会发生什么情况呢？ 262 | 263 | ```zig 264 | pub const User = struct { 265 | id: u64, 266 | power: i32, 267 | name: []const u8, 268 | }; 269 | ``` 270 | 271 | 我们已经添加了`name`，它是一个切片。回想一下，切片由长度和指针组成。如果我们使用名字`Goku`初始化`user`，它在内存中会是什么样子？ 272 | 273 | ```text 274 | user -> ------------- (id: 1043368d0) 275 | | 1 | 276 | ------------- (power: 1043368d8) 277 | | 100 | 278 | ------------- (name.len: 1043368dc) 279 | | 4 | 280 | ------------- (name.ptr: 1043368e4) 281 | ------| 1182145c0 | 282 | | ------------- 283 | | 284 | | ............. empty space 285 | | ............. or other data 286 | | 287 | ---> ------------- (1182145c0) 288 | | 'G' | 289 | ------------- 290 | | 'o' | 291 | ------------- 292 | | 'k' | 293 | ------------- 294 | | 'u' | 295 | ------------- 296 | ``` 297 | 298 | 新的`name`字段是一个切片，由`len`和`ptr`字段组成。它们与所有其他字段一起按顺序排放。在 64 位平台上，`len`和`ptr`都将是 64 位，即 8 字节。有趣的是`name.ptr`的值：它是指向内存中其他位置的地址。 299 | 300 | > 由于我们使用了字符串字面形式，`user.name.ptr` 将指向二进制文件中存储所有常量的区域内的一个特定位置。 301 | 302 | 通过多层嵌套，类型可以变得比这复杂得多。但无论简单还是复杂，它们的行为都是一样的。具体来说，如果我们回到原来的代码，`levelUp` 接收一个普通的 `User`，Zig 提供一个副本，那么现在有了嵌套指针后，情况会怎样呢？ 303 | 304 | 答案是只会进行浅拷贝。或者像有些人说的那样，只拷贝了变量可立即寻址的内存。这样看来，`levelUp` 可能只会得到一个 `user` 残缺副本，`name` 字段可能是无效的。但请记住，像 `user.name.ptr` 这样的指针是一个值，而这个值是一个地址。它的副本仍然是相同的地址： 305 | 306 | ```text 307 | main: user -> ------------- (id: 1043368d0) 308 | | 1 | 309 | ------------- (power: 1043368d8) 310 | | 100 | 311 | ------------- (name.len: 1043368dc) 312 | | 4 | 313 | ------------- (name.ptr: 1043368e4) 314 | | 1182145c0 |------------------------- 315 | levelUp: user -> ------------- (id: 1043368ec) | 316 | | 1 | | 317 | ------------- (power: 1043368f4) | 318 | | 100 | | 319 | ------------- (name.len: 1043368f8) | 320 | | 4 | | 321 | ------------- (name.ptr: 104336900) | 322 | | 1182145c0 |------------------------- 323 | ------------- | 324 | | 325 | ............. empty space | 326 | ............. or other data | 327 | | 328 | ------------- (1182145c0) <--- 329 | | 'G' | 330 | ------------- 331 | | 'o' | 332 | ------------- 333 | | 'k' | 334 | ------------- 335 | | 'u' | 336 | ------------- 337 | ``` 338 | 339 | 从上面可以看出，浅拷贝是可行的。由于指针的值是一个地址，复制该值意味着我们得到的是相同的地址。这对可变性有重要影响。我们的函数不能更改 `main.user` 中的字段，因为它得到了一个副本，但它可以访问同一个`name`，那么它能更改 `name` 吗？在这种特殊情况下，不行，因为 `name` 是常量。另外，`Goku`是一个字符串字面量，它总是不可变的。不过，只要花点功夫，我们就能明白浅拷贝的含义： 340 | 341 | ```zig 342 | const std = @import("std"); 343 | 344 | pub fn main() void { 345 | var name = [4]u8{'G', 'o', 'k', 'u'}; 346 | const user = User{ 347 | .id = 1, 348 | .power = 100, 349 | // slice it, [4]u8 -> []u8 350 | .name = name[0..], 351 | }; 352 | levelUp(user); 353 | std.debug.print("{s}\n", .{user.name}); 354 | } 355 | 356 | fn levelUp(user: User) void { 357 | user.name[2] = '!'; 358 | } 359 | 360 | pub const User = struct { 361 | id: u64, 362 | power: i32, 363 | // []const u8 -> []u8 364 | name: []u8 365 | }; 366 | ``` 367 | 368 | 上面的代码会打印出`Go!u`。我们不得不将`name`的类型从`[]const u8`更改为`[]u8`，并且不再使用字符串字面量（它们总是不可变的），而是创建一个数组并对其进行切片。有些人可能会认为这前后不一致。通过值传递可以防止函数改变直接字段，但不能改变指针后面有值的字段。如果我们确实希望 `name` 不可变，就应该将其声明为 `[]const u8` 而不是 `[]u8`。 369 | 370 | 不同编程语言有不同的实现方式，但许多语言的工作方式与此完全相同（或非常接近）。虽然所有这些看似深奥，但却是日常编程的基础。好消息是，你可以通过简单的示例和片段来掌握这一点；它不会随着系统其他部分复杂性的增加而变得更加复杂。 371 | 372 | ## 递归结构 373 | 374 | 有时你需要一个递归结构。在保留现有代码的基础上，我们为 `User` 添加一个可选的 `manager` 字段，类型为 `?User`。同时，我们将创建两个`User`，并将其中一个指定为另一个的管理者： 375 | 376 | ```zig 377 | const std = @import("std"); 378 | 379 | pub fn main() void { 380 | const leto = User{ 381 | .id = 1, 382 | .power = 9001, 383 | .manager = null, 384 | }; 385 | 386 | const duncan = User{ 387 | .id = 1, 388 | .power = 9001, 389 | .manager = leto, 390 | }; 391 | 392 | std.debug.print("{any}\n{any}", .{leto, duncan}); 393 | } 394 | 395 | pub const User = struct { 396 | id: u64, 397 | power: i32, 398 | manager: ?User, 399 | }; 400 | ``` 401 | 402 | 这段代码无法编译：`struct 'learning.User' depends on itself`。这个问题的根本原因是每种类型都必须在编译时确定大小，而这里的递归结构体大小是无法确定的。 403 | 404 | 我们在添加 `name` 时没有遇到这个问题，尽管 `name`可以有不同的长度。问题不在于值的大小，而在于类型本身的大小。name 是一个切片，即 `[]const u8`，它有一个已知的大小：16 字节，其中 `len` 8 字节，`ptr` 8 字节。 405 | 406 | 你可能会认为这对任何 `Optional`或 `union` 来说都是个问题。但对于它们来说，最大字段的大小是已知的，这样 Zig 就可以使用它。递归结构没有这样的上限，该结构可以递归一次、两次或数百万次。这个次数会因`User`而异，在编译时是不知道的。 407 | 408 | 我们通过 `name` 看到了答案：使用指针。指针总是占用 `usize` 字节。在 64 位平台上，指针占用 8 个字节。就像`Goku`并没有与 `user`一起存储一样，使用指针意味着我们的`manager`不再与`user`的内存布局绑定。 409 | 410 | ```zig 411 | const std = @import("std"); 412 | 413 | pub fn main() void { 414 | const leto = User{ 415 | .id = 1, 416 | .power = 9001, 417 | .manager = null, 418 | }; 419 | 420 | const duncan = User{ 421 | .id = 1, 422 | .power = 9001, 423 | // changed from leto -> &leto 424 | .manager = &leto, 425 | }; 426 | 427 | std.debug.print("{any}\n{any}", .{leto, duncan}); 428 | } 429 | 430 | pub const User = struct { 431 | id: u64, 432 | power: i32, 433 | // changed from ?const User -> ?*const User 434 | manager: ?*const User, 435 | }; 436 | ``` 437 | 438 | 你可能永远不需要递归结构，但这里并不是介绍数据建模的教程，因此不过多进行介绍。这里主要是想讨论指针和内存模型，以及更好地理解编译器的意图。 439 | 440 | --- 441 | 442 | 很多开发人员都在为指针而苦恼，因为指针总是难以捉摸。它们给人的感觉不像整数、字符串或`User`那样具体。虽然你现在不必完全理解这些概念，但掌握它们是值得的，而且不仅仅是为了 Zig。这些细节可能隐藏在 Ruby、Python 和 JavaScript 等语言中，其次是 C#、Java 和 Go。它影响着你如何编写代码以及代码如何运行。因此，请慢慢来，多看示例，添加调试打印语句来查看变量及其地址。你探索得越多，就会越清楚。 443 | -------------------------------------------------------------------------------- /06-stack-memory.md: -------------------------------------------------------------------------------- 1 | > 原文地址： 2 | 3 | # 栈内存 4 | 5 | 通过深入研究指针，我们了解了变量、数据和内存之间的关系。因此，我们对内存的分布有了一定的了解，但我们还没有讨论如何管理数据以及内存。对于运行时间短和简单的脚本来说，这可能并不重要。在 32GB 笔记本电脑时代，你可以启动程序，使用几百兆内存读取文件和解析 HTTP 响应，做一些了不起的事情，然后退出。程序退出时，操作系统会知道，它给程序分配的内存可以被回收，并用于其他用途了。 6 | 7 | 但对于运行数天、数月甚至数年的程序来说，内存就成了有限而宝贵的资源，很可能会被同一台机器上运行的其他进程抢占。根本不可能等到程序退出后再释放内存。这就是垃圾回收器的主要工作：了解哪些数据不再使用，并释放其内存。在 Zig 中，你就是垃圾回收器。 8 | 9 | 我们编写的大多数程序都会使用内存的三个区域。第一个是全局空间，也就是存储程序常量（包括字符串字面量）的地方。所有全局数据都被嵌入到二进制文件中，在编译时（也就是运行时）完全已知，并且不可更改。这些数据在程序的整个生命周期中都存在，从不需要增加或减少内存。除了会影响二进制文件的大小外，我们完全不必担心这个问题。 10 | 11 | 内存的第二个区域是调用栈，也是本小节的主题。第三个区域是堆，将在下一小节讨论。 12 | 13 | > 三块内存区域实际上没有真正的物理差别。操作系统和可执行文件创造了“内存区域”这个概念。 14 | 15 | ## 栈帧 16 | 17 | 迄今为止，我们所见的所有数据都是常量，存储在二进制的全局数据部分或作为局部变量。局部表示该变量只在其声明的范围内有效。在 Zig 中，范围从花括号开始到结束。大多数变量的范围限定在一个函数内，包括函数参数，或一个控制流块，比如 if。但是，正如所见，你可以创建任意块，从而创建任意范围。 18 | 19 | 在上一部分中，我们可视化了 `main` 和 `levelUp` 函数的内存，每个函数都有一个 User: 20 | 21 | ```text 22 | main: user -> ------------- (id: 1043368d0) 23 | | 1 | 24 | ------------- (power: 1043368d8) 25 | | 100 | 26 | ------------- (name.len: 1043368dc) 27 | | 4 | 28 | ------------- (name.ptr: 1043368e4) 29 | | 1182145c0 |------------------------- 30 | levelUp: user -> ------------- (id: 1043368ec) | 31 | | 1 | | 32 | ------------- (power: 1043368f4) | 33 | | 100 | | 34 | ------------- (name.len: 1043368f8) | 35 | | 4 | | 36 | ------------- (name.ptr: 104336900) | 37 | | 1182145c0 |------------------------- 38 | ------------- | 39 | | 40 | ............. empty space | 41 | ............. or other data | 42 | | 43 | ------------- (1182145c0) <--- 44 | | 'G' | 45 | ------------- 46 | | 'o' | 47 | ------------- 48 | | 'k' | 49 | ------------- 50 | | 'u' | 51 | ------------- 52 | ``` 53 | 54 | `levelUp` 紧接在 `main` 之后是有原因的：这是我们的简化版调用栈。当我们的程序启动时，`main` 及其局部变量被推入调用栈。当 `levelUp` 被调用时，它的参数和任何局部变量都会被添加到调用栈上。重要的是，当 `levelUp` 返回时，它会从栈中弹出。 在 `levelUp` 返回并且控制权回到 `main` 后，我们的调用栈如下所示： 55 | 56 | ```text 57 | main: user -> ------------- (id: 1043368d0) 58 | | 1 | 59 | ------------- (power: 1043368d8) 60 | | 100 | 61 | ------------- (name.len: 1043368dc) 62 | | 4 | 63 | ------------- (name.ptr: 1043368e4) 64 | | 1182145c0 |------------------------- 65 | ------------- | 66 | | 67 | ............. empty space | 68 | ............. or other data | 69 | | 70 | ------------- (1182145c0) <--- 71 | | 'G' | 72 | ------------- 73 | | 'o' | 74 | ------------- 75 | | 'k' | 76 | ------------- 77 | | 'u' | 78 | ------------- 79 | ``` 80 | 81 | 当一个函数被调用时，其整个栈帧被推入调用栈——这就是我们需要知道每种类型大小的原因之一。尽管我们可能直到特定的代码行执行时，才能知道我们 `user` 的名字的长度（假设它不是一个常量字符串字面量），但我们知道我们的函数有一个 `User` 类型的变量，除了其他字段，只需要 8 字节来存储`name.len`和 8 字节来存储`name.ptr`。 82 | 83 | 当函数返回时，它的栈帧（最后推入调用栈的帧）会被弹出。令人惊讶的事情刚刚发生：`levelUp` 使用的内存已被自动释放！虽然从技术上讲，这些内存可以返回给操作系统，但据我所知，没有任何实现会真正缩小调用栈（不过，在必要时，实现会动态增加调用栈）。不过，用于存储 `levelUp` 堆栈帧的内存现在可以在我们的进程中用于另一个堆栈帧了。 84 | 85 | > 在普通程序中，调用堆栈可能会变得很大。在一个典型程序所使用的所有框架代码和库之间，你最终会发现深层嵌套的函数。通常情况下，这并不是问题，但有时你可能会遇到堆栈溢出错误。当我们的调用栈空间耗尽时，就会发生这种情况。这种情况通常发生在递归函数中，即函数会调用自身。 86 | 87 | 与全局数据一样，调用栈也由操作系统和可执行文件管理。程序启动时，以及此后启动的每个线程，都会创建一个调用栈（其大小通常可在操作系统中配置）。调用栈在程序的整个生命周期中都存在，如果是线程，则在线程的整个生命周期中都存在。程序或线程退出时，调用栈将被释放。我们的全局数据包含所有程序的全局数据，而调用栈只包含当前执行的函数层次的栈帧。这样做既能有效利用内存，又能简化堆栈帧的管理。 88 | 89 | ## 悬空指针 90 | 91 | 栈帧的简洁和高效令人惊叹。但它也很危险：当函数返回时，它的任何本地数据都将无法访问。这听起来似乎很合理，毕竟这是本地数据，但却会带来严重的问题。请看这段代码： 92 | 93 | ```zig 94 | const std = @import("std"); 95 | 96 | pub fn main() void { 97 | const user1 = User.init(1, 10); 98 | const user2 = User.init(2, 20); 99 | 100 | std.debug.print("User {d} has power of {d}\n", .{user1.id, user1.power}); 101 | std.debug.print("User {d} has power of {d}\n", .{user2.id, user2.power}); 102 | } 103 | 104 | pub const User = struct { 105 | id: u64, 106 | power: i32, 107 | 108 | fn init(id: u64, power: i32) *User{ 109 | var user = User{ 110 | .id = id, 111 | .power = power, 112 | }; 113 | return &user; 114 | } 115 | }; 116 | ``` 117 | 118 | 粗瞥一眼，预期会有下面的输出： 119 | 120 | ```bash 121 | User 1 has power of 10 122 | User 2 has power of 20 123 | ``` 124 | 125 | 但实际上: 126 | 127 | ```bash 128 | User 2 has power of 20 129 | User 9114745905793990681 has power of 0 130 | ``` 131 | 132 | 你可能会得到不同的结果，但根据我的输出，`user1`继承了`user2`的值，而`user2`的值是无意义的。这段代码的关键问题是`User.init`返回局部`user`的地址`&user`。这被称为悬空指针，是指引用无效内存的指针。它是许多段错误（segfaults）的源头。 133 | 134 | 当一个栈帧从调用栈中弹出时，我们对该内存的任何引用都是无效的。尝试访问该内存的结果是未定义的。你可能会得到无意义的数据或段错误。我们可以试图理解我的输出，但这不是我们想要或甚至可以依赖的行为。 135 | 136 | 这类错误的一个挑战是，在有垃圾回收器的语言中，上述代码完全没有问题。例如，Go 会检测局部变量 `user` 超出了 init 函数的作用域，并在需要时确保其有效性（Go 如何做到这一点是一个实现细节，但它有几个选项，包括将数据移动到堆中，这就是下一部分要讨论的内容）。 137 | 138 | 而另一个问题，很遗憾地说，它是一个难以发现的错误。在我们上面的例子中，我们显然返回了一个局部地址。但这种行为可以隐藏在嵌套函数和复杂数据类型中。你是否看到了以下不完整代码的任何可能问题： 139 | 140 | ```zig 141 | fn read() !void { 142 | const input = try readUserInput(); 143 | return Parser.parse(input); 144 | } 145 | ``` 146 | 147 | 无论`Parser.parse`返回什么，它都将比变量`input`存在更久。如果`Parser`持有对 `input` 的引用，那将是一个悬空指针，等待着让我们的应用程序崩溃。理想情况下，如果 `Parser` 需要 `input` 生命周期尽可能长，它将复制 `input`，并且该复制将与它自己的生命周期绑定（更多内容在下一部分）。但此处没有执行这一步骤。`Parser` 的文档可能会对它对 `input` 的期望或它如何使用 `input` 提供一些说明。缺少这些信息，我们可能需要深入代码来弄清楚。 148 | 149 | 为了解决我们上面例子里的错误，有个简单的方法是改变 `init`，使它返回一个 `User` 而不是`*User`（指向 `User` 的指针）。我们可以使用 `return user` 而非 `return &user`。但这并不总是可能的。数据经常需要超越函数作用域的严格界限。为此，我们有了第三个内存区域--堆，这也是下一部分的主题。 150 | 151 | 在深入研究堆之前，我们要知道，在本指南结束之前，我们还将看到最后一个关于悬挂指针的示例。到那时，我们已经掌握了足够多的语言知识，可以给出一个不太复杂的示例。我之所以想重提这个话题，是因为对于来自垃圾回收语言的开发人员来说，这很可能会导致错误和挫败感。这一点你会掌握的。归根结底，就是要意识到数据的生命周期。 152 | -------------------------------------------------------------------------------- /07-heap-memory-and-allocator.md: -------------------------------------------------------------------------------- 1 | > 原文地址： 2 | 3 | # 堆和分配器 Heap & Allocator 4 | 5 | 迄今为止，我们所接触到的一切都有个限制，需要预先知道大小。数组总是有一个编译时已知的长度（事实上，长度是类型的一部分）。我们所有的字符串都是字符串字面量，其长度在编译时是已知的。 6 | 7 | 此外，我们所见过的两种内存管理策略，即**全局数据**和**调用栈**，虽然简单高效，但都有局限性。这两种策略都无法处理动态大小的数据，而且在数据生命周期方面都很固定。 8 | 9 | 本部分分为两个主题。第一个主题是第三个内存区域--堆的总体概述。另一个主题是 Zig 直接而独特的堆内存管理方法。即使你熟悉堆内存，比如使用过 C 语言的 `malloc`，你也会希望阅读第一部分，因为它是 Zig 特有的。 10 | 11 | ## 堆 12 | 13 | 堆是我们可以使用的第三个也是最后一个内存区域。与全局数据和调用栈相比，堆有点像蛮荒之地：什么都可以使用。具体来说，在堆中，我们可以在运行时创建大小已知的内存，并完全控制其生命周期。 14 | 15 | 调用堆栈之所以令人惊叹，是因为它管理数据的方式简单且可预测（通过压入和弹出堆栈帧）。这一优点同时也是缺点：数据的生命周期与它在调用堆栈中的位置息息相关。堆则恰恰相反。它没有内置的生命周期，因此我们的数据可长可短。这个优点也是它的缺点：它没有内置的生命周期，所以如果我们不释放数据，就没有人会释放。 16 | 17 | 让我们来看一个例子： 18 | 19 | ```zig 20 | const std = @import("std"); 21 | 22 | pub fn main() !void { 23 | // we'll be talking about allocators shortly 24 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 25 | const allocator = gpa.allocator(); 26 | 27 | // ** The next two lines are the important ones ** 28 | var arr = try allocator.alloc(usize, try getRandomCount()); 29 | defer allocator.free(arr); 30 | 31 | for (0..arr.len) |i| { 32 | arr[i] = i; 33 | } 34 | std.debug.print("{any}\n", .{arr}); 35 | } 36 | 37 | fn getRandomCount() !u8 { 38 | var seed: u64 = undefined; 39 | try std.posix.getrandom(std.mem.asBytes(&seed)); 40 | var random = std.Random.DefaultPrng.init(seed); 41 | return random.random().uintAtMost(u8, 5) + 5; 42 | } 43 | ``` 44 | 45 | 我们稍后将讨论 Zig 的分配器，目前需要知道的是分配器是 `std.mem.Allocator` 类型。我们使用了它的两种方法：`alloc` 和 `free`。分配内存可能出错，故我们用 `try` 捕获调用 `allocator.alloc` 产生的错误。目前唯一可能的错误是 `OutOfMemory`。其参数主要告诉我们它是如何工作的：它需要一个类型（T）和一个计数，成功时返回一个类型为 `[]T` 的切片。它分配发生在运行时期间，必须如此，因为我们的计数只在运行时才可知。 46 | 47 | 一般来说，每次 `alloc` 都会有相应的 `free`。`alloc`分配内存，`free`释放内存。不要让这段简单的代码限制了你的想象力。这种 `try alloc` + `defer free` 的模式很常见，这是有原因的：在我们分配内存的地方附近释放相对来说是万无一失的。但同样常见的是在一个地方分配，而在另一个地方释放。正如我们之前所说，堆没有内置的生命周期管理。你可以在 HTTP 处理程序中分配内存，然后在后台线程中释放，这是代码中两个完全独立的部分。 48 | 49 | ## defer 和 errdefer 50 | 51 | 说句题外话，上面的代码介绍了一个新的语言特性：`defer`，它在退出作用域时执行给定的代码。『作用域退出』包括到达作用域的结尾或从作用域返回。严格来说， `defer` 与分配器或内存管理并无严格关系；你可以用它来执行任何代码。但上述用法很常见。 52 | 53 | Zig 的 `defer` 类似于 Go 的 `defer`，但存在一个主要区别。在 Zig 中，`defer` 将在其包含作用域的末尾运行。在 Go 中，`defer` 是在包含函数的末尾运行。除非你是 Go 开发人员，否则 Zig 的做法可能更不令人惊讶。 54 | 55 | 与`defer` 相似的是 `errdefer`，它作用与之类似，是在退出作用域时执行给定的代码，但只在返回错误时执行。在进行更复杂的设置时，如果因为出错而不得不撤销之前的分配，这将非常有用。 56 | 57 | 以下示例在复杂性上有所增加。它展示了 `errdefer` 和一个常见的模式，即在 `init` 函数中分配内存，并在 `deinit` 中释放： 58 | 59 | ```zig 60 | const std = @import("std"); 61 | const Allocator = std.mem.Allocator; 62 | 63 | pub const Game = struct { 64 | players: []Player, 65 | history: []Move, 66 | allocator: Allocator, 67 | 68 | fn init(allocator: Allocator, player_count: usize) !Game { 69 | var players = try allocator.alloc(Player, player_count); 70 | errdefer allocator.free(players); 71 | 72 | // store 10 most recent moves per player 73 | var history = try allocator.alloc(Move, player_count * 10); 74 | 75 | return .{ 76 | .players = players, 77 | .history = history, 78 | .allocator = allocator, 79 | }; 80 | } 81 | 82 | fn deinit(game: Game) void { 83 | const allocator = game.allocator; 84 | allocator.free(game.players); 85 | allocator.free(game.history); 86 | } 87 | }; 88 | ``` 89 | 90 | 这段代码主要突显两件事： 91 | 92 | 1. `errdefer` 的作用。在正常情况下，`player` 在 `init` 分配，在 `deinit` 释放。但有一种边缘情况，即 `history` 初始化失败。在这种情况下，我们需要撤销 `players` 的分配。 93 | 2. 我们动态分配的两个切片（`players` 和 `history`）的生命周期是基于我们的应用程序逻辑的。没有任何规则规定何时必须调用 `deinit` 或由谁调用。这是件好事，因为它为我们提供了任意的生命周期，但也存在缺点，就是如果从未调用 `deinit` 或调用 `deinit` 超过一次，就会出现混乱和错误。 94 | 95 | > `init` 和 `deinit` 的名字并不特殊。它们只是 Zig 标准库使用的，也是社区采纳的名称。在某些情况下，包括在标准库中，会使用 `open` 和 `close`，或其他更适当的名称。 96 | 97 | ## 双重释放和内存泄漏 98 | 99 | 上面提到过，没有规则规定什么时候必须释放什么东西。但事实并非如此，还是有一些重要规则，只是它们不是强制的，需要你自己格外小心。 100 | 101 | 第一条规则是不可释放同一内存两次。 102 | 103 | ```zig 104 | const std = @import("std"); 105 | 106 | pub fn main() !void { 107 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 108 | const allocator = gpa.allocator(); 109 | 110 | var arr = try allocator.alloc(usize, 4); 111 | allocator.free(arr); 112 | allocator.free(arr); 113 | 114 | std.debug.print("This won't get printed\n", .{}); 115 | } 116 | ``` 117 | 118 | 可以预见到，最后一行代码不会被打印出来。这是因为我们释放了相同的内存两次。这被称为双重释放，是无效的。要避免这种情况似乎很简单，但在具有复杂生命周期的大型项目中，却很难发现。 119 | 120 | 第二条规则是，无法释放没有引用的内存。这听起来似乎很明显，但谁负责释放内存并不总是很清楚。下面的代码声明了一个转小写的函数： 121 | 122 | ```zig 123 | const std = @import("std"); 124 | const Allocator = std.mem.Allocator; 125 | 126 | fn allocLower(allocator: Allocator, str: []const u8) ![]const u8 { 127 | var dest = try allocator.alloc(u8, str.len); 128 | 129 | for (str, 0..) |c, i| { 130 | dest[i] = switch (c) { 131 | 'A'...'Z' => c + 32, 132 | else => c, 133 | }; 134 | } 135 | 136 | return dest; 137 | } 138 | ``` 139 | 140 | 上面的代码没问题。但以下用法不是: 141 | 142 | ```zig 143 | // 对于这个特定的代码，我们应该使用 std.ascii.eqlIgnoreCase 144 | fn isSpecial(allocator: Allocator, name: [] const u8) !bool { 145 | const lower = try allocLower(allocator, name); 146 | return std.mem.eql(u8, lower, "admin"); 147 | } 148 | ``` 149 | 150 | 这是内存泄漏。`allocLower` 中创建的内存永远不会被释放。不仅如此，一旦 `isSpecial` 返回，这块内存就永远无法释放。在有垃圾收集器的语言中，当数据变得无法访问时，垃圾收集器最终会释放无用的内存。 151 | 152 | 但在上面的代码中，一旦 `isSpecial` 返回，我们就失去了对已分配内存的唯一引用，即 `lower` 变量。而直到我们的进程退出后，这块内存块才会释放。我们的函数可能只会泄漏几个字节，但如果它是一个长时间运行的进程，并且重复调用该函数，未被释放的内存块就会逐渐累积起来，最终会耗尽所有内存。 153 | 154 | 至少在双重释放的情况下，我们的程序会遭遇严重崩溃。内存泄漏可能很隐蔽。不仅仅是根本原因难以确定。真正的小泄漏或不常执行的代码中的泄漏甚至很难被发现。这是一个很常见的问题，Zig 提供了帮助，我们将在讨论分配器时看到。 155 | 156 | ## 创建与销毁 157 | 158 | `std.mem.Allocator`的`alloc`方法会返回一个切片，其长度为传递的第二个参数。如果想要单个值，可以使用 `create` 和 `destroy` 而不是 `alloc` 和 `free`。 159 | 160 | 前面几部分在学习指针时，我们创建了 `User` 并尝试增强它的功能。下面是基于堆的版本： 161 | 162 | ```zig 163 | const std = @import("std"); 164 | 165 | pub fn main() !void { 166 | // again, we'll talk about allocators soon! 167 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 168 | const allocator = gpa.allocator(); 169 | 170 | // create a User on the heap 171 | var user = try allocator.create(User); 172 | 173 | // free the memory allocated for the user at the end of this scope 174 | defer allocator.destroy(user); 175 | 176 | user.id = 1; 177 | user.power = 100; 178 | 179 | // this line has been added 180 | levelUp(user); 181 | std.debug.print("User {d} has power of {d}\n", .{user.id, user.power}); 182 | } 183 | 184 | fn levelUp(user: *User) void { 185 | user.power += 1; 186 | } 187 | 188 | pub const User = struct { 189 | id: u64, 190 | power: i32, 191 | }; 192 | ``` 193 | 194 | `create` 方法接受一个参数，类型（T）。它返回指向该类型的指针或一个错误，即 `!*T`。也许你想知道，如果我们创建了`User`, 但没有设置 `id`, `power`时会发生什么。这就像将这些字段设置为未定义（undefined），其行为也是未定义的。意即，属性没有初始化时，在访问未初始化的变量，行为也是未定义，这意味着程序可能会出现不可预测的行为，比如返回错误的值、崩溃等问题。 195 | 196 | 当我们探索悬空指针时，函数错误地返回了本地`user`的地址： 197 | 198 | ```zig 199 | pub const User = struct { 200 | fn init(id: u64, power: i32) *User{ 201 | var user = User{ 202 | .id = id, 203 | .power = power, 204 | }; 205 | // this is a dangling pointer 206 | return &user; 207 | } 208 | }; 209 | ``` 210 | 211 | 在这种情况下，返回一个 `User`可能更有意义。但有时你会希望函数返回一个指向它所创建的东西的指针。当你想让生命周期不受调用栈的限制时，你就会这样做。为了解决上面的悬空指针问题，我们可以使用`create` 方法： 212 | 213 | ```zig 214 | // 我们的返回类型改变了，因为 init 现在可以失败了 215 | // *User -> !*User 216 | fn init(allocator: std.mem.Allocator, id: u64, power: i32) !*User{ 217 | const user = try allocator.create(User); 218 | user.* = .{ 219 | .id = id, 220 | .power = power, 221 | }; 222 | return user; 223 | } 224 | ``` 225 | 226 | 我引入了新的语法，`user.* = .{...}`。这有点奇怪，我不是很喜欢它，但你会看到它。右侧是你已经见过的内容：它是一个带有类型推导的结构体初始化器。我们可以明确地使用 `user.* = User{...}`。左侧的 `user.*` 是我们如何去引用该指针所指向的变量。`&` 接受一个 T 类型并给我们一个 `*T` 类型。`.*` 是相反的操作，应用于一个 `*T` 类型的值时，它给我们一个 T 类型。即，`&`获取地址，`.*`获取值。 227 | 228 | 请记住，`create` 返回一个 `!*User`，所以我们的 `user` 是 `*User` 类型。 229 | 230 | ## 分配器 Allocator 231 | 232 | Zig 的核心原则之一是无隐藏内存分配。根据你的背景，这听起来可能并不特别。但这与 C 语言中使用标准库的 malloc 函数分配内存的做法形成了鲜明的对比。在 C 语言中，如果你想知道一个函数是否分配内存，你需要阅读源代码并查找对 malloc 的调用。 233 | 234 | Zig 没有默认的分配器。在上述所有示例中，分配内存的函数都使用了一个 `std.mem.Allocator` 参数。按照惯例，这通常是第一个参数。所有 Zig 标准库和大多数第三方库都要求调用者在分配内存时提供一个分配器。 235 | 236 | 这种显式性有两种形式。在简单的情况下，每次函数调用都会提供分配器。这样的例子很多，但 `std.fmt.allocPrint` 是你迟早会用到的一个。它类似于我们一直在使用的 std.debug.print，只是分配并返回一个字符串，而不是将其写入 `stderr`： 237 | 238 | ```zig 239 | const say = std.fmt.allocPrint(allocator, "It's over {d}!!!", .{user.power}); 240 | defer allocator.free(say); 241 | ``` 242 | 243 | 另一种形式是将 `Allocator` 传递给 `init` ，然后由对象**内部使用**。这种方法不那么明确，因为你已经给了对象一个分配器来使用，但你不知道哪些方法调用将实际分配。对于长寿命对象来说，这种方法更实用。 244 | 245 | 注入分配器的优势不仅在于显式，还在于灵活性。`std.mem.Allocator` 是一个接口，提供了 `alloc`、`free`、`create` 和 `destroy` 函数以及其他一些函数。到目前为止，我们只看到了 `std.heap.GeneralPurposeAllocator`，但标准库或第三方库中还有其他实现。 246 | 247 | > Zig 没有用于创建接口的语法糖。一种类似于接口的模式是带标签的联合（tagged unions），不过与真正的接口相比，这种模式相对受限。整个标准库中也探索了一些其他模式，例如 `std.mem.Allocator`。本指南不探讨这些接口模式。 248 | 249 | 如果你正在构建一个库，那么最好接受一个 `std.mem.Allocator`，然后让库的用户决定使用哪种分配器实现。否则，你就需要选择正确的分配器，正如我们将看到的，这些分配器并不相互排斥。在你的程序中创建不同的分配器可能有很好的理由。 250 | 251 | ## 通用分配器 GeneralPurposeAllocator 252 | 253 | 顾名思义，`std.heap.GeneralPurposeAllocator` 是一种通用的、线程安全的分配器，可以作为应用程序的主分配器。对于许多程序来说，这是唯一需要的分配器。程序启动时，会创建一个分配器并传递给需要它的函数。我的 HTTP 服务器库中的示例代码就是一个很好的例子： 254 | 255 | ```zig 256 | const std = @import("std"); 257 | const httpz = @import("httpz"); 258 | 259 | pub fn main() !void { 260 | // create our general purpose allocator 261 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 262 | 263 | // get an std.mem.Allocator from it 264 | const allocator = gpa.allocator(); 265 | 266 | // pass our allocator to functions and libraries that require it 267 | var server = try httpz.Server().init(allocator, .{.port = 5882}); 268 | 269 | var router = server.router(); 270 | router.get("/api/user/:id", getUser); 271 | 272 | // blocks the current thread 273 | try server.listen(); 274 | } 275 | ``` 276 | 277 | 我们创建了 `GeneralPurposeAllocator`，从中获取一个 `std.mem.Allocator` 并将其传递给 HTTP 服务器的 `init` 函数。在一个更复杂的项目中，声明的变量`allocator` 可能会被传递给代码的多个部分，每个部分可能都会将其传递给自己的函数、对象和依赖。 278 | 279 | 你可能会注意到，创建 `gpa` 的语法有点奇怪。什么是`GeneralPurposeAllocator(.{}){}`？ 280 | 281 | 我们之前见过这些东西，只是现在都混合了起来。`std.heap.GeneralPurposeAllocator` 是一个函数，由于它使用的是 `PascalCase`（帕斯卡命名法），我们知道它返回一个类型。（下一部分会更多讨论泛型）。也许这个更明确的版本会更容易解读： 282 | 283 | ```zig 284 | const T = std.heap.GeneralPurposeAllocator(.{}); 285 | var gpa = T{}; 286 | 287 | // 等同于: 288 | 289 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 290 | ``` 291 | 292 | 也许你仍然不太确信 `.{}` 的含义。我们之前也见过它：`.{}` 是一个具有隐式类型的结构体初始化器。 293 | 294 | 类型是什么，字段在哪里？类型其实是 `std.heap.general_purpose_allocator.Config`，但它并没有直接暴露出来，这也是我们没有显式给出类型的原因之一。没有设置字段是因为 Config 结构定义了默认值，我们将使用默认值。这是配置、选项的中常见的模式。事实上，我们在下面几行向 `init` 传递 `.{.port = 5882}` 时又看到了这种情况。在本例中，除了端口这一个字段外，我们都使用了默认值。 295 | 296 | ## std.testing.allocator 297 | 298 | 希望当我们谈到内存泄漏时，你已经足够烦恼，而当我提到 Zig 可以提供帮助时，你肯定渴望了解更多这方面内容。这种帮助来自 `std.testing.allocator`，它是一个 `std.mem.Allocator` 实现。目前，它基于通用分配器（GeneralPurposeAllocator）实现，并与 Zig 的测试运行器进行了集成，但这只是实现细节。重要的是，如果我们在测试中使用 `std.testing.allocator`，就能捕捉到大部分内存泄漏。 299 | 300 | 你可能已经熟悉了动态数组（通常称为 ArrayLists）。在许多动态编程语言中，所有数组都是动态的。动态数组支持可变数量的元素。Zig 有一个通用 ArrayList，但我们将创建一个专门用于保存整数的 ArrayList，并演示泄漏检测： 301 | 302 | ```zig 303 | pub const IntList = struct { 304 | pos: usize, 305 | items: []i64, 306 | allocator: Allocator, 307 | 308 | fn init(allocator: Allocator) !IntList { 309 | return .{ 310 | .pos = 0, 311 | .allocator = allocator, 312 | .items = try allocator.alloc(i64, 4), 313 | }; 314 | } 315 | 316 | fn deinit(self: IntList) void { 317 | self.allocator.free(self.items); 318 | } 319 | 320 | fn add(self: *IntList, value: i64) !void { 321 | const pos = self.pos; 322 | const len = self.items.len; 323 | 324 | if (pos == len) { 325 | // we've run out of space 326 | // create a new slice that's twice as large 327 | var larger = try self.allocator.alloc(i64, len * 2); 328 | 329 | // copy the items we previously added to our new space 330 | @memcpy(larger[0..len], self.items); 331 | 332 | self.items = larger; 333 | } 334 | 335 | self.items[pos] = value; 336 | self.pos = pos + 1; 337 | } 338 | }; 339 | ``` 340 | 341 | 有趣的部分发生在 `add` 函数里，当 `pos == len`时，表明我们已经填满了当前数组，并且需要创建一个更大的数组。我们可以像这样使用`IntList`： 342 | 343 | ```zig 344 | const std = @import("std"); 345 | const Allocator = std.mem.Allocator; 346 | 347 | pub fn main() !void { 348 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 349 | const allocator = gpa.allocator(); 350 | 351 | var list = try IntList.init(allocator); 352 | defer list.deinit(); 353 | 354 | for (0..10) |i| { 355 | try list.add(@intCast(i)); 356 | } 357 | 358 | std.debug.print("{any}\n", .{list.items[0..list.pos]}); 359 | } 360 | ``` 361 | 362 | 代码运行并打印出正确的结果。不过，尽管我们在 `list` 上调用了 `deinit`，还是出现了内存泄漏。如果你没有发现也没关系，因为我们要写一个测试，并使用 `std.testing.allocator`： 363 | 364 | ```zig 365 | const testing = std.testing; 366 | test "IntList: add" { 367 | // We're using testing.allocator here! 368 | var list = try IntList.init(testing.allocator); 369 | defer list.deinit(); 370 | 371 | for (0..5) |i| { 372 | try list.add(@intCast(i+10)); 373 | } 374 | 375 | try testing.expectEqual(@as(usize, 5), list.pos); 376 | try testing.expectEqual(@as(i64, 10), list.items[0]); 377 | try testing.expectEqual(@as(i64, 11), list.items[1]); 378 | try testing.expectEqual(@as(i64, 12), list.items[2]); 379 | try testing.expectEqual(@as(i64, 13), list.items[3]); 380 | try testing.expectEqual(@as(i64, 14), list.items[4]); 381 | } 382 | ``` 383 | 384 | > `@as` 是一个执行类型强制的内置函数。如果你好奇什么我们的测试要用到这么多，那么你不是唯一一个。从技术上讲，这是因为第二个参数，即 `actual`，被强制为第一个参数，即 `expected`。在上面的例子中，我们的期望值都是 `comptime_int`，这就造成了问题。包括我在内的许多人都认为这是一种奇怪而不幸的行为。 385 | 386 | 如果你按照步骤操作，把测试放在 `IntList` 和 `main` 的同一个文件中。Zig 的测试通常写在同一个文件中，经常在它们测试的代码附近。当使用 `zig test learning.zig` 运行测试时，我们会得到了一个令人惊喜的失败： 387 | 388 | ```bash 389 | Test [1/1] test.IntList: add... [gpa] (err): memory address 0x101154000 leaked: 390 | /code/zig/learning.zig:26:32: 0x100f707b7 in init (test) 391 | .items = try allocator.alloc(i64, 2), 392 | ^ 393 | /code/zig/learning.zig:55:29: 0x100f711df in test.IntList: add (test) 394 | var list = try IntList.init(testing.allocator); 395 | 396 | ... MORE STACK INFO ... 397 | 398 | [gpa] (err): memory address 0x101184000 leaked: 399 | /code/test/learning.zig:40:41: 0x100f70c73 in add (test) 400 | var larger = try self.allocator.alloc(i64, len * 2); 401 | ^ 402 | /code/test/learning.zig:59:15: 0x100f7130f in test.IntList: add (test) 403 | try list.add(@intCast(i+10)); 404 | ``` 405 | 406 | 此处有多个内存泄漏。幸运的是，测试分配器准确地告诉我们泄漏的内存是在哪里分配的。你现在能发现泄漏了吗？如果没有，请记住，通常情况下，每个 `alloc` 都应该有一个相应的 `free`。我们的代码在 `deinit` 中调用 `free` 一次。然而在 `init` 中 `alloc` 被调用一次，每次调用 `add` 并需要更多空间时也会调用 `alloc`。每次我们 `alloc` 更多空间时，都需要 `free` 之前的 `self.items`。 407 | 408 | ```zig 409 | // 现有的代码 410 | var larger = try self.allocator.alloc(i64, len * 2); 411 | @memcpy(larger[0..len], self.items); 412 | 413 | // 添加的代码 414 | // 释放先前分配的内存 415 | self.allocator.free(self.items); 416 | ``` 417 | 418 | 将`items`复制到我们的 `larger` 切片中后, 添加最后一行`free`可以解决泄漏的问题。如果运行 `zig test learning.zig`，便不会再有错误。 419 | 420 | ## ArenaAllocator 421 | 422 | 通用分配器（GeneralPurposeAllocator）是一个合理的默认设置，因为它在所有可能的情况下都能很好地工作。但在程序中，你可能会遇到一些固定场景，使用更专业的分配器可能会更合适。其中一个例子就是需要在处理完成后丢弃的短期状态。解析器（Parser）通常就有这样的需求。一个 `parse` 函数的基本轮廓可能是这样的 423 | 424 | ```zig 425 | fn parse(allocator: Allocator, input: []const u8) !Something { 426 | const state = State{ 427 | .buf = try allocator.alloc(u8, 512), 428 | .nesting = try allocator.alloc(NestType, 10), 429 | }; 430 | defer allocator.free(state.buf); 431 | defer allocator.free(state.nesting); 432 | 433 | return parseInternal(allocator, state, input); 434 | } 435 | ``` 436 | 437 | 虽然这并不难管理，但 `parseInternal` 内可能还会申请临时内存，当然这些内存也需要释放。作为替代方案，我们可以创建一个 `ArenaAllocator`，一次性释放所有分配： 438 | 439 | ```zig 440 | fn parse(allocator: Allocator, input: []const u8) !Something { 441 | // create an ArenaAllocator from the supplied allocator 442 | var arena = std.heap.ArenaAllocator.init(allocator); 443 | 444 | // this will free anything created from this arena 445 | defer arena.deinit(); 446 | 447 | // create an std.mem.Allocator from the arena, this will be 448 | // the allocator we'll use internally 449 | const aa = arena.allocator(); 450 | 451 | const state = State{ 452 | // we're using aa here! 453 | .buf = try aa.alloc(u8, 512), 454 | 455 | // we're using aa here! 456 | .nesting = try aa.alloc(NestType, 10), 457 | }; 458 | 459 | // we're passing aa here, so any we're guaranteed that 460 | // any other allocation will be in our arena 461 | return parseInternal(aa, state, input); 462 | } 463 | ``` 464 | 465 | `ArenaAllocator` 接收一个子分配器（在本例中是传入 `init` 的分配器），然后创建一个新的 `std.mem.Allocator`。当使用这个新的分配器分配或创建内存时，我们不需要调用 free 或 destroy。当我们调用 `arena.deinit` 时，会一次性释放所有该分配器申请的内存。事实上，`ArenaAllocator` 的 `free` 和 `destroy` 什么也不做。 466 | 467 | 必须谨慎使用 `ArenaAllocator`。由于无法释放单个分配，因此需要确保 `ArenaAllocator` 的 `deinit` 会在合理的内存增长范围内被调用。有趣的是，这种知识可以是内部的，也可以是外部的。例如，在上述代码中，由于状态生命周期的细节属于内部事务，因此在解析器中利用 `ArenaAllocator` 是合理的。 468 | 469 | > 像 `ArenaAllocator`这样的具有一次性释放所有申请内存的分配器，会破坏每一次 `alloc` 都应该有相应 `free` 的规则。不过，如果你收到的是一个 `std.mem.Allocator`，就不应对其底层实现做任何假设。 470 | 471 | 我们的 `IntList` 却不是这样。它可以用来存储 10 个或 1000 万个值。它的生命周期可以以毫秒为单位，也可以以周为单位。它无法决定使用哪种类型的分配器。使用 IntList 的代码才有这种知识。最初，我们是这样管理 `IntList` 的： 472 | 473 | ```zig 474 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 475 | const allocator = gpa.allocator(); 476 | 477 | var list = try IntList.init(allocator); 478 | defer list.deinit(); 479 | ``` 480 | 481 | 我们可以选择 `ArenaAllocator` 替代： 482 | 483 | ```zig 484 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 485 | const allocator = gpa.allocator(); 486 | 487 | var arena = std.heap.ArenaAllocator.init(allocator); 488 | defer arena.deinit(); 489 | const aa = arena.allocator(); 490 | 491 | var list = try IntList.init(aa); 492 | 493 | // 说实话，我很纠结是否应该调用 list.deinit。 494 | // 从技术上讲，我们不必这样做，因为我们在上面调用了 defer arena.deinit()。 495 | 496 | defer list.deinit(); 497 | 498 | ... 499 | ``` 500 | 501 | 由于 `IntList` 接受的参数是 `std.mem.Allocator`， 因此我们不需要做什么改变。如果 `IntList`内部创建了自己的 `ArenaAllocator`，那也是可行的。允许在`ArenaAllocator`内部创建`ArenaAllocator`。 502 | 503 | 最后举个简单的例子，我上面提到的 HTTP 服务器在响应中暴露了一个 `ArenaAllocator`。一旦发送了响应，它就会被清空。由于`ArenaAllocator`的生命周期可以预测（从请求开始到请求结束），因此它是一种高效的选择。就性能和易用性而言，它都是高效的。 504 | 505 | ## 固定缓冲区分配器 FixedBufferAllocator 506 | 507 | 我们要讨论的最后一个分配器是 `std.heap.FixedBufferAllocator`，它可以从我们提供的缓冲区（即 `[]u8`）中分配内存。这种分配器有两大好处。首先，由于所有可能使用的内存都是预先创建的，因此速度很快。其次，它自然而然地限制了可分配内存的数量。这一硬性限制也可以看作是一个缺点。另一个缺点是，`free` 和 `destroy` 只对最后分配/创建的项目有效（想想堆栈）。调用释放非最后分配的内存是安全的，但不会有任何作用。 508 | 509 | > 译者注：这不是覆盖的问题。`FixedBufferAllocator` 会按照栈的方式进行内存分配和释放。你可以分配新的内存块，但只能按照后进先出（LIFO）的顺序释放它们。 510 | 511 | ```zig 512 | const std = @import("std"); 513 | 514 | pub fn main() !void { 515 | var buf: [150]u8 = undefined; 516 | var fa = std.heap.FixedBufferAllocator.init(&buf); 517 | 518 | // this will free all memory allocate with this allocator 519 | defer fa.reset(); 520 | 521 | const allocator = fa.allocator(); 522 | 523 | const json = try std.json.stringifyAlloc(allocator, .{ 524 | .this_is = "an anonymous struct", 525 | .above = true, 526 | .last_param = "are options", 527 | }, .{.whitespace = .indent_2}); 528 | 529 | // We can free this allocation, but since we know that our allocator is 530 | // a FixedBufferAllocator, we can rely on the above `defer fa.reset()` 531 | defer allocator.free(json); 532 | 533 | std.debug.print("{s}\n", .{json}); 534 | } 535 | ``` 536 | 537 | 输出内容： 538 | 539 | ```zig 540 | { 541 | "this_is": "an anonymous struct", 542 | "above": true, 543 | "last_param": "are options" 544 | } 545 | ``` 546 | 547 | 但如果将 `buf` 更改为 `[120]u8`，将得到一个内存不足的错误。 548 | 549 | 固定缓冲区分配器（FixedBufferAllocators）的常见模式是 `reset` 并重复使用，竞技场分配器（ArenaAllocators）也是如此。这将释放所有先前的分配，并允许重新使用分配器。 550 | 551 | --- 552 | 553 | 由于没有默认的分配器，Zig 在分配方面既透明又灵活。`std.mem.Allocator`接口非常强大，它允许专门的分配器封装更通用的分配器，正如我们在`ArenaAllocator`中看到的那样。 554 | 555 | 更广泛地说，我们希望堆分配的强大功能和相关责任是显而易见的。对于大多数程序来说，分配任意大小、任意生命周期的内存的能力是必不可少的。 556 | 557 | 然而，由于动态内存带来的复杂性，你应该注意寻找替代方案。例如，上面我们使用了 `std.fmt.allocPrint`，但标准库中还有一个 `std.fmt.bufPrint`。后者使用的是缓冲区而不是分配器： 558 | 559 | ```zig 560 | const std = @import("std"); 561 | 562 | pub fn main() !void { 563 | const name = "Leto"; 564 | 565 | var buf: [100]u8 = undefined; 566 | const greeting = try std.fmt.bufPrint(&buf, "Hello {s}", .{name}); 567 | 568 | std.debug.print("{s}\n", .{greeting}); 569 | } 570 | ``` 571 | 572 | 该 API 将内存管理的负担转移给了调用者。如果名称较长或 `buf` 较小，`bufPrint` 可能会返回 `NoSpaceLeft` 的错误。但在很多情况下，应用程序都有已知的限制，例如名称的最大长度。在这种情况下，`bufPrint` 更安全、更快速。 573 | 574 | 动态分配的另一个可行替代方案是将数据流传输到 `std.io.Writer`。与我们的 `Allocator` 一样，`Writer` 也是被许多具体类型实现的接口。上面，我们使用 `stringifyAlloc` 将 JSON 序列化为动态分配的字符串。我们本可以使用 `stringify` 将其写入到一个 Writer 中： 575 | 576 | ```zig 577 | const std = @import("std"); 578 | 579 | pub fn main() !void { 580 | const out = std.io.getStdOut(); 581 | 582 | try std.json.stringify(.{ 583 | .this_is = "an anonymous struct", 584 | .above = true, 585 | .last_param = "are options", 586 | }, .{.whitespace = .indent_2}, out.writer()); 587 | } 588 | ``` 589 | 590 | > `Allocator`通常是函数的第一个参数，而 `Writer`通常是最后一个参数。ಠ_ಠ 591 | 592 | 在很多情况下，用 `std.io.BufferedWriter` 封装我们的 `Writer` 会大大提高性能。 593 | 594 | 我们的目标并不是消除所有动态分配。这行不通，因为这些替代方案只有在特定情况下才有意义。但现在你有了很多选择。从堆栈到通用分配器，以及所有介于两者之间的东西，比如静态缓冲区、流式 `Writer` 和专用分配器。 595 | -------------------------------------------------------------------------------- /08-generics.md: -------------------------------------------------------------------------------- 1 | > 原文地址： 2 | 3 | # 泛型 Generics 4 | 5 | 在上一小节中，我们创建了一个名为 `IntList` 的动态数组。该数据结构的目标是保存数目不定的数值。虽然我们使用的算法适用于任何类型的数据，但我们的实现与 i64 值绑定。这就需要使用泛型，其目的是从特定类型中抽象出算法和数据结构。 6 | 7 | 许多语言使用特殊的语法和特定的泛型规则来实现泛型。而在 Zig 中，泛型并不是一种特定的功能，而更多地体现了语言的能力。具体来说，泛型利用了 Zig 强大的编译时元编程功能。 8 | 9 | 我们先来看一个简单的例子，以了解我们的想法： 10 | 11 | ```zig 12 | const std = @import("std"); 13 | 14 | pub fn main() !void { 15 | var arr: IntArray(3) = undefined; 16 | arr[0] = 1; 17 | arr[1] = 10; 18 | arr[2] = 100; 19 | std.debug.print("{any}\n", .{arr}); 20 | } 21 | 22 | fn IntArray(comptime length: usize) type { 23 | return [length]i64; 24 | } 25 | ``` 26 | 27 | 上述代码会打印了 `{ 1, 10, 100 }`。有趣的是，我们有一个返回类型的函数（因此函数是 PascalCase）。这也不是普通的类型，而是由函数参数动态确定的类型。这段代码之所以能运行，是因为我们将 `length` 声明为 `comptime`。也就是说，我们要求任何调用 `IntArray` 的人传递一个编译时已知的长度参数。这是必要的，因为我们的函数返回一个类型，而类型必须始终是编译时已知的。 28 | 29 | 函数可以返回任何类型，而不仅仅是基本类型和数组。例如，只需稍作改动，我们就可以让函数返回一个结构体： 30 | 31 | ```zig 32 | const std = @import("std"); 33 | 34 | pub fn main() !void { 35 | var arr: IntArray(3) = undefined; 36 | arr.items[0] = 1; 37 | arr.items[1] = 10; 38 | arr.items[2] = 100; 39 | std.debug.print("{any}\n", .{arr.items}); 40 | } 41 | 42 | fn IntArray(comptime length: usize) type { 43 | return struct { 44 | items: [length]i64, 45 | }; 46 | } 47 | ``` 48 | 49 | 也许看起来很奇怪，但 `arr` 的类型确实是 `IntArray(3)`。它和其他类型一样，是一个类型，而 `arr` 和其他值一样，是一个值。如果我们调用 `IntArray(7)`，那就是另一种类型了。也许我们可以让事情变得更简洁： 50 | 51 | ```zig 52 | const std = @import("std"); 53 | 54 | pub fn main() !void { 55 | var arr = IntArray(3).init(); 56 | arr.items[0] = 1; 57 | arr.items[1] = 10; 58 | arr.items[2] = 100; 59 | std.debug.print("{any}\n", .{arr.items}); 60 | } 61 | 62 | fn IntArray(comptime length: usize) type { 63 | return struct { 64 | items: [length]i64, 65 | 66 | fn init() IntArray(length) { 67 | return .{ 68 | .items = undefined, 69 | }; 70 | } 71 | }; 72 | } 73 | ``` 74 | 75 | 乍一看，这可能并不整齐。但除了匿名和嵌套在一个函数中之外，我们的结构看起来就像我们目前看到的其他结构一样。它有字段，有函数。你知道人们常说『如果它看起来像一只鸭子，那么就就是一只鸭子』。那么，这个结构看起来、游起来和叫起来都像一个正常的结构，因为它本身就是一个结构体。 76 | 77 | 希望上面这个示例能让你熟悉返回类型的函数和相应的语法。为了得到一个更典型的范型，我们需要做最后一个改动：我们的函数必须接受一个类型。实际上，这只是一个很小的改动，但 `type` 会比 `usize` 更抽象，所以我们慢慢来。让我们进行一次飞跃，修改之前的 `IntList`，使其能与任何类型一起工作。我们先从基本结构开始： 78 | 79 | ```zig 80 | fn List(comptime T: type) type { 81 | return struct { 82 | pos: usize, 83 | items: []T, 84 | allocator: Allocator, 85 | 86 | fn init(allocator: Allocator) !List(T) { 87 | return .{ 88 | .pos = 0, 89 | .allocator = allocator, 90 | .items = try allocator.alloc(T, 4), 91 | }; 92 | } 93 | }; 94 | } 95 | ``` 96 | 97 | 上面的结构与 `IntList` 几乎完全相同，只是 `i64` 被替换成了 `T`。我们本可以叫它 `item_type`。不过，按照 Zig 的命名约定，`type` 类型的变量使用 `PascalCase` 风格。 98 | 99 | > 无论好坏，使用单个字母表示类型参数的历史都比 Zig 要悠久得多。在大多数语言中，T 是常用的默认值，但你也会看到根据具体语境而变化的情况，例如哈希映射使用 K 和 V 来表示键和值参数类型。 100 | 101 | 如果你对上述代码还有疑问，可以着重看使用 T 的两个地方：`items：[]T` 和 `allocator.alloc(T, 4)`。当我们要使用这个通用类型时，我们将使用 102 | 103 | ```zig 104 | var list = try List(u32).init(allocator); 105 | ``` 106 | 107 | 编译代码时，编译器会通过查找每个 `T` 并将其替换为 `u32` 来创建一个新类型。如果我们再次使用 `List(u32)`，编译器将重新使用之前创建的类型。如果我们为 `T` 指定一个新值，例如 `List(bool)` 或 `List(User)`，就会创建与之对应的新类型。 108 | 109 | 为了完成通用的 List，我们可以复制并粘贴 `IntList` 代码的其余部分，然后用 `T` 替换 `i64`： 110 | 111 | ```zig 112 | const std = @import("std"); 113 | const Allocator = std.mem.Allocator; 114 | 115 | pub fn main() !void { 116 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 117 | const allocator = gpa.allocator(); 118 | 119 | var list = try List(u32).init(allocator); 120 | defer list.deinit(); 121 | 122 | for (0..10) |i| { 123 | try list.add(@intCast(i)); 124 | } 125 | 126 | std.debug.print("{any}\n", .{list.items[0..list.pos]}); 127 | } 128 | 129 | fn List(comptime T: type) type { 130 | return struct { 131 | pos: usize, 132 | items: []T, 133 | allocator: Allocator, 134 | 135 | fn init(allocator: Allocator) !List(T) { 136 | return .{ 137 | .pos = 0, 138 | .allocator = allocator, 139 | .items = try allocator.alloc(T, 4), 140 | }; 141 | } 142 | 143 | fn deinit(self: List(T)) void { 144 | self.allocator.free(self.items); 145 | } 146 | 147 | fn add(self: *List(T), value: T) !void { 148 | const pos = self.pos; 149 | const len = self.items.len; 150 | 151 | if (pos == len) { 152 | // we've run out of space 153 | // create a new slice that's twice as large 154 | var larger = try self.allocator.alloc(T, len * 2); 155 | 156 | // copy the items we previously added to our new space 157 | @memcpy(larger[0..len], self.items); 158 | 159 | self.allocator.free(self.items); 160 | 161 | self.items = larger; 162 | } 163 | 164 | self.items[pos] = value; 165 | self.pos = pos + 1; 166 | } 167 | }; 168 | } 169 | ``` 170 | 171 | 我们的 `init` 函数返回一个 `List(T)`，我们的 `deinit` 和 `add` 函数使用 `List(T)` 和 `*List(T)` 作为参数。在我们的这个简单的示例中，这样做没有问题，但对于大型数据结构，编写完整的通用名称可能会变得有点繁琐，尤其是当我们有多个类型参数时（例如，散列映射的键和值需要使用不同的类型）。`@This()` 内置函数会返回它被调用时的最内层类型。一般来说，我们会这样定义 `List(T)`： 172 | 173 | ```zig 174 | fn List(comptime T: type) type { 175 | return struct { 176 | pos: usize, 177 | items: []T, 178 | allocator: Allocator, 179 | 180 | // Added 181 | const Self = @This(); 182 | 183 | fn init(allocator: Allocator) !Self { 184 | // ... same code 185 | } 186 | 187 | fn deinit(self: Self) void { 188 | // .. same code 189 | } 190 | 191 | fn add(self: *Self, value: T) !void { 192 | // .. same code 193 | } 194 | }; 195 | } 196 | ``` 197 | 198 | `Self` 并不是一个特殊的名称，它只是一个变量，而且是 `PascalCase` 风格，因为它的值是一种类型。我们可以在之前使用 `List(T)` 的地方用 `Self` 来替代。 199 | 200 | --- 201 | 202 | 我们可以创建更复杂的示例，使用多种类型参数和更先进的算法。但归根结底，泛型代码的关键点与上述简单示例相差无几。在下一部分，我们将在研究标准库中的 `ArrayList(T)` 和 `StringHashMap(V)` 时再次讨论泛型。 203 | -------------------------------------------------------------------------------- /09-coding-in-zig.md: -------------------------------------------------------------------------------- 1 | > 原文地址： 2 | 3 | # 实战 4 | 5 | 在介绍了 Zig 语言的大部分内容之后，我们将对一些主题进行回顾，并展示几种使用 Zig 编程时一些实用的技巧。在此过程中，我们将介绍更多的标准库，并介绍一些稍复杂些的代码片段。 6 | 7 | ## 悬空指针 Dangling Pointers 8 | 9 | 我们首先来看看更多关于悬空指针的例子。这似乎是一个奇怪的问题，但如果你之前主要使用带垃圾回收的语言，这可能是你学习 Zig 最大的障碍。 10 | 11 | 你能猜到下面的输出是什么吗？ 12 | 13 | ```zig 14 | const std = @import("std"); 15 | 16 | pub fn main() !void { 17 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 18 | const allocator = gpa.allocator(); 19 | 20 | var lookup = std.StringHashMap(User).init(allocator); 21 | defer lookup.deinit(); 22 | 23 | const goku = User{.power = 9001}; 24 | 25 | try lookup.put("Goku", goku); 26 | 27 | // returns an optional, .? would panic if "Goku" 28 | // wasn't in our hashmap 29 | const entry = lookup.getPtr("Goku").?; 30 | 31 | std.debug.print("Goku's power is: {d}\n", .{entry.power}); 32 | 33 | // returns true/false depending on if the item was removed 34 | _ = lookup.remove("Goku"); 35 | 36 | std.debug.print("Goku's power is: {d}\n", .{entry.power}); 37 | } 38 | 39 | const User = struct { 40 | power: i32, 41 | }; 42 | ``` 43 | 44 | 当我运行这个程序时，我得到了 45 | 46 | ```bash 47 | Goku's power is: 9001 48 | Goku's power is: -1431655766 49 | ``` 50 | 51 | 这段代码引入了 Zig 的 `std.StringHashMap`，它是 `std.AutoHashMap` 的特定版本，键类型设置为 `[]const u8`。即使你不能百分百确定发生了什么，也可以猜测我的输出与我们从 `lookup` 中删除条目后的第二次打印有关。注释掉删除的调用，输出就正常了。 52 | 53 | 理解上述代码的关键在于了解数据在内存的中位置，或者换句话说，了解数据的所有者。请记住，Zig 参数是按值传递的，也就是说，我们传递的是值的浅副本。我们 `lookup` 中的 `User` 与 `goku` 引用的内存不同。我们上面的代码有两个用户，每个用户都有自己的所有者。`goku` 的所有者是 `main`，而它的副本的所有者是 `lookup`。 54 | 55 | `getPtr` 方法返回的是指向 `map` 中值的指针，在我们的例子中，它返回的是 `*User`。问题就在这里，删除会使我们的 `entry`指针失效。在这个示例中，`getPtr` 和 `remove` 的位置很近，因此问题也很明显。但不难想象，代码在调用 `remove` 时，并不知道 `entry` 的引用被保存在其他地方了。 56 | 57 | > 在编写这个示例时，我并不确定会发生什么。删除有可能是通过设置内部标志来实现的，实际删除是惰性的。如果是这样的话，上面的示例在简单的情况下可能会 "奏效"，但在更复杂的情况下就会失败。这听起来非常难以调试。 58 | 59 | 除了不调用 `remove` 之外，我们还可以用几种不同的方法来解决这个问题。首先，我们可以使用 `get` 而不是 `getPtr`。这样 `lookup` 将返回一个 `User` 的副本，而不再是 `*User`。这样我们就有了三个用户： 60 | 61 | 1. 定义在函数内部的 `goku`，`main` 函数是其所有者 62 | 2. 调用 `lookup.put` 时，形式参数会得到 `goku` 一个的副本，`lookup` 是其所有者 63 | 3. 使用 `get` 函数返回的 `entry`，`main` 函数是其所有者 64 | 65 | 由于 `entry` 现在是 `User` 的独立副本，因此将其从 `lookup` 中删除不会再使其失效。 66 | 67 | 另一种方法是将 `lookup` 的类型从 `StringHashMap(User)` 改为 `StringHashMap(*const User)`。这段代码可以工作： 68 | 69 | ```zig 70 | const std = @import("std"); 71 | 72 | pub fn main() !void { 73 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 74 | const allocator = gpa.allocator(); 75 | 76 | // User -> *const User 77 | var lookup = std.StringHashMap(*const User).init(allocator); 78 | defer lookup.deinit(); 79 | 80 | const goku = User{.power = 9001}; 81 | 82 | // goku -> &goku 83 | try lookup.put("Goku", &goku); 84 | 85 | // getPtr -> get 86 | const entry = lookup.get("Goku").?; 87 | 88 | std.debug.print("Goku's power is: {d}\n", .{entry.power}); 89 | _ = lookup.remove("Goku"); 90 | std.debug.print("Goku's power is: {d}\n", .{entry.power}); 91 | } 92 | 93 | const User = struct { 94 | power: i32, 95 | }; 96 | ``` 97 | 98 | 上述代码中有许多微妙之处。首先，我们现在只有一个用户 `goku`。`lookup` 和 `entry` 中的值都是对 `goku` 的引用。我们对 `remove` 的调用仍然会删除 `lookup` 中的值，但该值只是 `user` 的地址，而不是 `user` 本身。如果我们坚持使用 `getPtr`，那么被 `remove` 后，我们就会得到一个无效的 `**User`。在这两种解决方案中，我们都必须使用 `get` 而不是 `getPtr`，但在这种情况下，我们只是复制地址，而不是完整的 `User`。对于占用内存较多的对象来说，这可能是一个很大的区别。 99 | 100 | 如果把所有东西都放在一个函数中，再加上一个像 `User` 这样的小值，这仍然像是一个人为制造的问题。我们需要一个能让数据所有权成为当务之急的例子。 101 | 102 | ## 所有权 Ownership 103 | 104 | 我喜欢哈希表（HashMap），因为这是每个人都知道并且会经常使用的结构。它们有很多不同的用例，其中大部分你可能都用过。虽然哈希表可以用在一个短期查找的地方，但通常用于长期查找，因此插入其内的值需要同样长的生命周期。 105 | 106 | 这段代码将使用终端中输入的名称来填充我们的 `lookup`。如果名字为空，就会停止提示循环。最后，它会检测 `Leto` 是否出现在 `lookup` 中。 107 | 108 | ```zig 109 | const std = @import("std"); 110 | const builtin = @import("builtin"); 111 | 112 | pub fn main() !void { 113 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 114 | const allocator = gpa.allocator(); 115 | 116 | var lookup = std.StringHashMap(User).init(allocator); 117 | defer lookup.deinit(); 118 | 119 | // stdin is an std.io.Reader 120 | // the opposite of an std.io.Writer, which we already saw 121 | const stdin = std.io.getStdIn().reader(); 122 | 123 | // stdout is an std.io.Writer 124 | const stdout = std.io.getStdOut().writer(); 125 | 126 | var i: i32 = 0; 127 | while (true) : (i += 1) { 128 | var buf: [30]u8 = undefined; 129 | try stdout.print("Please enter a name: ", .{}); 130 | if (try stdin.readUntilDelimiterOrEof(&buf, '\n')) |line| { 131 | var name = line; 132 | // Windows平台换行以`\r\n`结束 133 | // 所以需要截取\r以获取控制台输入字符 134 | if (builtin.os.tag == .windows) { 135 | name = @constCast(std.mem.trimRight(u8, name, "\r")); 136 | } 137 | 138 | if (name.len == 0) { 139 | break; 140 | } 141 | try lookup.put(name, .{.power = i}); 142 | } 143 | } 144 | 145 | const has_leto = lookup.contains("Leto"); 146 | std.debug.print("{any}\n", .{has_leto}); 147 | } 148 | 149 | const User = struct { 150 | power: i32, 151 | }; 152 | ``` 153 | 154 | 上述代码虽然区分大小写，但无论我们如何完美地输入 `Leto`，`contains` 总是返回 `false`。让我们通过遍历 `lookup` 打印其值来调试一下： 155 | 156 | ```zig 157 | // 将这段代码放在 while 循环之后 158 | 159 | var it = lookup.iterator(); 160 | while (it.next()) |kv| { 161 | std.debug.print("{s} == {any}\n", .{kv.key_ptr.*, kv.value_ptr.*}); 162 | } 163 | 164 | ``` 165 | 166 | 这种迭代器模式在 Zig 中很常见，它依赖于 while 和可选类型（`Optional`）之间的协同作用。我们的迭代器返回指向键和值的指针，因此我们用 `.*` 对它们进行反引用，以访问实际值而不是地址。输出结果将取决于你输入的内容，但我得到的是 167 | 168 | ```bash 169 | Please enter a name: Paul 170 | Please enter a name: Teg 171 | Please enter a name: Leto 172 | Please enter a name: 173 | 174 | �� == learning.User{ .power = 1 } 175 | 176 | ��� == learning.User{ .power = 0 } 177 | 178 | ��� == learning.User{ .power = 2 } 179 | false 180 | ``` 181 | 182 | 值看起来没问题，但键不一样。如果你不确定发生了什么，那可能是我的错。之前，我故意误导了你的注意力。我说哈希表通常声明周期会比较长，因此需要同等生命周期的值（value）。事实上，哈希表不仅需要长生命周期的值，还需要长生命周期的键（key）！请注意，`buf` 是在 `while` 循环中定义的。当我们调用 `put` 时，我们给了哈希表插入一个键值对，这个键的生命周期比哈希表本身短得多。将 `buf` 移到 `while` 循环之外可以解决生命周期问题，但每次迭代都会重复使用缓冲区。由于我们正在更改底层的键数据，因此它仍然无法工作。 183 | 184 | 对于上述代码，实际上只有一种解决方案：我们的 `lookup` 必须拥有键的所有权。我们需要添加一行并修改另一行： 185 | 186 | ```zig 187 | // 用这两行替换现有的 lookup.put 188 | const owned_name = try allocator.dupe(u8, name); 189 | 190 | // name -> owned_name 191 | try lookup.put(owned_name, .{.power = i}); 192 | ``` 193 | 194 | `dupe` 是 `std.mem.Allocator` 中的一个方法，我们以前从未见过。它会分配给定值的副本。代码现在可以工作了，因为我们的键现在在堆上，比 `lookup`的生命周期更长。事实上，我们在延长这些字符串的生命周期方面做得太好了，以至于引入了内存泄漏。 195 | 196 | 你可能以为当我们调用 lookup.deinit 时，键和值就会被释放。但 StringHashMap 并没有放之四海而皆准的解决方案。首先，键可能是字符串文字，无法释放。其次，它们可能是用不同的分配器创建的。最后，虽然更先进，但在某些情况下，键可能不属于哈希表。 197 | 198 | 唯一的解决办法就是自己释放键值。在这一点上，创建我们自己的 `UserLookup` 类型并在 `deinit` 函数中封装这一清理逻辑可能会比较合理。一种简单的改法： 199 | 200 | ```zig 201 | // 用以下的代码替换现有的 defer lookup.deinit(); 202 | defer { 203 | var it = lookup.keyIterator(); 204 | while (it.next()) |key| { 205 | allocator.free(key.*); 206 | } 207 | lookup.deinit(); 208 | } 209 | ``` 210 | 211 | 这里的 `defer` 逻辑使用了一个代码快，它释放每个键，最后去释放 `lookup` 本身。我们使用的 `keyIterator` 只会遍历键。迭代器的值是指向哈希映射中键的指针，即 `*[]const u8`。我们希望释放实际的值，因为这是我们通过 `dupe` 分配的，所以我们使用 `key.*`. 212 | 213 | 我保证，关于悬挂指针和内存管理的讨论已经结束了。我们所讨论的内容可能还不够清晰或过于抽象。当你有更实际的问题需要解决时，再重新讨论这个问题也不迟。不过，如果你打算编写任何稍具规模（non-trivial）的程序，这几乎肯定是你需要掌握的内容。当你觉得可以的时候，我建议你参考上面这个示例，并自己动手实践一下。引入一个 `UserLookup` 类型来封装我们必须做的所有内存管理。尝试使用 `*User` 代替 `User`，在堆上创建用户，然后像处理键那样释放它们。编写覆盖新结构的测试，使用 `std.testing.allocator` 确保不会泄漏任何内存。 214 | 215 | ## ArrayList 216 | 217 | 现在你可以忘掉我们的 `IntList` 和我们创建的通用替代方案了。Zig 标准库中有一个动态数组实现：`std.ArrayList(T)`。 218 | 219 | 它是相当标准的东西，但由于它如此普遍需要和使用的数据结构，值得看看它的实际应用: 220 | 221 | ```zig 222 | const std = @import("std"); 223 | const Allocator = std.mem.Allocator; 224 | const builtin = @import("builtin"); 225 | 226 | pub fn main() !void { 227 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 228 | const allocator = gpa.allocator(); 229 | 230 | var arr = std.ArrayList(User).init(allocator); 231 | defer { 232 | for (arr.items) |user| { 233 | user.deinit(allocator); 234 | } 235 | arr.deinit(); 236 | } 237 | 238 | // stdin is an std.io.Reader 239 | // the opposite of an std.io.Writer, which we already saw 240 | const stdin = std.io.getStdIn().reader(); 241 | 242 | // stdout is an std.io.Writer 243 | const stdout = std.io.getStdOut().writer(); 244 | 245 | var i: i32 = 0; 246 | while (true) : (i += 1) { 247 | var buf: [30]u8 = undefined; 248 | try stdout.print("Please enter a name: ", .{}); 249 | if (try stdin.readUntilDelimiterOrEof(&buf, '\n')) |line| { 250 | var name = line; 251 | if (builtin.os.tag == .windows) { 252 | name = @constCast(std.mem.trimRight(u8, name, "\r")); 253 | } 254 | 255 | if (name.len == 0) { 256 | break; 257 | } 258 | const owned_name = try allocator.dupe(u8, name); 259 | try arr.append(.{.name = owned_name, .power = i}); 260 | } 261 | } 262 | 263 | var has_leto = false; 264 | for (arr.items) |user| { 265 | if (std.mem.eql(u8, "Leto", user.name)) { 266 | has_leto = true; 267 | break; 268 | } 269 | } 270 | 271 | std.debug.print("{any}\n", .{has_leto}); 272 | } 273 | 274 | const User = struct { 275 | name: []const u8, 276 | power: i32, 277 | 278 | fn deinit(self: User, allocator: Allocator) void { 279 | allocator.free(self.name); 280 | } 281 | }; 282 | ``` 283 | 284 | 以上是哈希表代码的基于 `ArrayList(User)` 的另一种实现。所有相同的生命周期和内存管理规则都适用。请注意，我们仍在创建 `name` 的副本，并且仍在删除 `ArrayList` 之前释放每个 `name`。 285 | 286 | 现在是指出 Zig 没有属性或私有字段的好时机。当我们访问 `arr.items` 来遍历值时，就可以看到这一点。没有属性的原因是为了消除阅读 Zig 代码中的歧义。在 Zig 中，如果看起来像字段访问，那就是字段访问。我个人认为，没有私有字段是一个错误，但我们可以解决这个问题。我已经习惯在字段前加上下划线，表示『仅供内部使用』。 287 | 288 | 由于字符串的类型是 `[]u8` 或 `[]const u8`，因此 `ArrayList(u8)` 是字符串构造器的合适类型，比如 .NET 的 `StringBuilder` 或 Go 的 `strings.Builder`。事实上，当一个函数的参数是 `Writer` 而你需要一个字符串时，就会用到 `ArrayList(u8)`。我们之前看过一个使用 `std.json.stringify` 将 JSON 输出到 `stdout` 的示例。下面是将 JSON 输出到 `ArrayList(u8)` 的示例： 289 | 290 | ```zig 291 | const std = @import("std"); 292 | 293 | pub fn main() !void { 294 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 295 | const allocator = gpa.allocator(); 296 | 297 | var out = std.ArrayList(u8).init(allocator); 298 | defer out.deinit(); 299 | 300 | try std.json.stringify(.{ 301 | .this_is = "an anonymous struct", 302 | .above = true, 303 | .last_param = "are options", 304 | }, .{.whitespace = .indent_2}, out.writer()); 305 | 306 | std.debug.print("{s}\n", .{out.items}); 307 | } 308 | ``` 309 | 310 | ## Anytype 311 | 312 | 在[语言概述的第一部分](02-language-overview-part1.md)中，我们简要介绍了 `anytype`。这是一种非常有用的编译时 duck 类型。下面是一个简单的 logger： 313 | 314 | ```zig 315 | pub const Logger = struct { 316 | level: Level, 317 | 318 | // "error" is reserved, names inside an @"..." are always 319 | // treated as identifiers 320 | const Level = enum { 321 | debug, 322 | info, 323 | @"error", 324 | fatal, 325 | }; 326 | 327 | fn info(logger: Logger, msg: []const u8, out: anytype) !void { 328 | if (@intFromEnum(logger.level) <= @intFromEnum(Level.info)) { 329 | try out.writeAll(msg); 330 | } 331 | } 332 | }; 333 | ``` 334 | 335 | `info` 函数的 `out` 参数类型为 `anytype`。这意味着我们的 logger 可以将信息输出到任何具有 writeAll 方法的结构中，该方法接受一个 `[]const u8` 并返回一个 `!void`。这不是运行时特性。类型检查在编译时进行，每使用一种类型，就会创建一个类型正确的函数。如果我们试图调用 `info`，而该类型不具备所有必要的函数（本例中只有 `writeAll`），我们就会在编译时出错： 336 | 337 | ```zig 338 | var l = Logger{.level = .info}; 339 | try l.info("sever started", true); 340 | ``` 341 | 342 | 会得到如下错误： 343 | 344 | ```bash 345 | no field or member function named 'writeAll' in 'bool' 346 | ``` 347 | 348 | 使用 `ArrayList(u8)` 的 `writer` 就可以运行： 349 | 350 | ```zig 351 | pub fn main() !void { 352 | var gpa = std.heap.GeneralPurposeAllocator(.{}){}; 353 | const allocator = gpa.allocator(); 354 | 355 | var l = Logger{.level = .info}; 356 | 357 | var arr = std.ArrayList(u8).init(allocator); 358 | defer arr.deinit(); 359 | 360 | try l.info("sever started", arr.writer()); 361 | std.debug.print("{s}\n", .{arr.items}); 362 | } 363 | ``` 364 | 365 | `anytype` 的一个最大缺点就是文档。下面是我们用过几次的 `std.json.stringify` 函数的签名： 366 | 367 | ```zig 368 | // 我**讨厌**多行函数定义 369 | // 不过，鉴于你可能在小屏幕上阅读这个指南，因此这里破一次例。 370 | 371 | fn stringify( 372 | value: anytype, 373 | options: StringifyOptions, 374 | out_stream: anytype 375 | ) @TypeOf(out_stream).Error!void 376 | ``` 377 | 378 | 第一个参数 `value: anytype` 是显而易见的，它是要序列化的值，可以是任何类型（实际上，Zig 的 JSON 序列化器不能序列化某些类型，比如 HashMap）。我们可以猜测，`out_stream` 是写入 JSON 的地方，但至于它需要实现什么方法，你和我一样猜得到。唯一的办法就是阅读源代码，或者传递一个假值，然后使用编译器错误作为我们的文档。如果有更好的自动文档生成器，这一点可能会得到改善。不过，我希望 Zig 能提供接口，这已经不是第一次了。 379 | 380 | ## @TypeOf 381 | 382 | 在前面的部分中，我们使用 `@TypeOf` 来帮助我们检查各种变量的类型。从我们的用法来看，你可能会认为它返回的是字符串类型的名称。然而，鉴于它是一个 PascalCase 风格函数，你应该更清楚：它返回的是一个 `type`。 383 | 384 | 我最喜欢用 `anytype` 与 `@TypeOf` 和 `@hasField` 内置函数搭配使用，以编写测试帮助程序。虽然我们看到的每个 `User` 类型都非常简单，但我还是要请大家想象一下一个有很多字段的更复杂的结构。在许多测试中，我们需要一个 `User`，但我们只想指定与测试相关的字段。让我们创建一个 `userFactory`： 385 | 386 | ```zig 387 | fn userFactory(data: anytype) User { 388 | const T = @TypeOf(data); 389 | return .{ 390 | .id = if (@hasField(T, "id")) data.id else 0, 391 | .power = if (@hasField(T, "power")) data.power else 0, 392 | .active = if (@hasField(T, "active")) data.active else true, 393 | .name = if (@hasField(T, "name")) data.name else "", 394 | }; 395 | } 396 | 397 | pub const User = struct { 398 | id: u64, 399 | power: u64, 400 | active: bool, 401 | name: [] const u8, 402 | }; 403 | ``` 404 | 405 | 我们可以通过调用 `userFactory(.{})` 创建默认用户，也可以通过 `userFactory(.{.id = 100, .active = false})` 来覆盖特定字段。这只是一个很小的模式，但我非常喜欢。这也是迈向元编程世界的第一步。 406 | 407 | 更常见的是 `@TypeOf` 与 `@typeInfo` 配对，后者返回一个 `std.builtin.Type`。这是一个功能强大的带标签的联合（tagged union），可以完整描述一个类型。`std.json.stringify` 函数会递归地调用它，以确定如何将提供的 `value` 序列化。 408 | 409 | # 构建系统 410 | 411 | 如果你通读了整本指南，等待着深入了解如何建立更复杂的项目，包括多个依赖关系和各种目标，那你就要失望了。Zig 拥有强大的构建系统，以至于越来越多的非 Zig 项目都在使用它，比如 libsodium。不幸的是，所有这些强大的功能都意味着，对于简单的需求来说，它并不是最容易使用或理解的。 412 | 413 | > 事实上，是我不太了解 Zig 的构建系统，所以无法解释清楚。 414 | 415 | 不过，我们至少可以获得一个简要的概述。为了运行 Zig 代码，我们使用了 `zig run learning.zig`。有一次，我们还用 `zig test learning.zig` 进行了一次测试。运行和测试命令用来玩玩还行，但如果要做更复杂的事情，就需要使用构建命令了。编译命令依赖于带有特殊编译入口的 `build.zig` 文件。下面是一个示例： 416 | 417 | ```zig 418 | // build.zig 419 | 420 | const std = @import("std"); 421 | 422 | pub fn build(b: *std.Build) !void { 423 | _ = b; 424 | } 425 | ``` 426 | 427 | 每个构建程序都有一个默认的『安装』步骤，可以使用 `zig build install` 运行它，但由于我们的文件大部分是空的，你不会得到任何有意义的工件。我们需要告诉构建程序我们程序的入口是 `learning.zig`： 428 | 429 | ```zig 430 | const std = @import("std"); 431 | 432 | pub fn build(b: *std.Build) !void { 433 | const target = b.standardTargetOptions(.{}); 434 | const optimize = b.standardOptimizeOption(.{}); 435 | 436 | // setup executable 437 | const exe = b.addExecutable(.{ 438 | .name = "learning", 439 | .target = target, 440 | .optimize = optimize, 441 | .root_source_file = b.path("learning.zig"), 442 | }); 443 | b.installArtifact(exe); 444 | } 445 | ``` 446 | 447 | 现在，如果运行 `zig build install`，就会在 `./zig-out/bin/learning` 中得到一个二进制文件。通过使用 `standardTargetOptions` 和 `standardOptimizeOption`，我们就能以命令行参数的形式覆盖默认值。例如，要为 `Windows` 构建一个大小优化的程序版本，我们可以这样做： 448 | 449 | ```bash 450 | zig build install -Doptimize=ReleaseSmall -Dtarget=x86_64-windows-gnu 451 | ``` 452 | 453 | 除了默认的『安装』步骤外，可执行文件通常还会增加两个步骤：『运行』和『测试』。一个库可能只有一个『测试』步骤。对于基本的无参数即可运行的程序来说，只需要在构建文件的最后添加四行： 454 | 455 | ```zig 456 | // 在这行代码后添加下面的代码: b.installArtifact(exe); 457 | 458 | const run_cmd = b.addRunArtifact(exe); 459 | run_cmd.step.dependOn(b.getInstallStep()); 460 | 461 | const run_step = b.step("run", "Start learning!"); 462 | run_step.dependOn(&run_cmd.step); 463 | ``` 464 | 465 | 这里通过 `dependOn` 的两次调用创建两个依赖关系。第一个依赖关系将我们的 `run_cmd` 与内置的安装步骤联系起来。第二个是将 `run_step` 与我们新创建的 `run_cmd` 绑定。你可能想知道为什么需要 `run_cmd` 和 `run_step`。我认为这种分离是为了支持更复杂的设置：依赖于多个命令的步骤，或者在多个步骤中使用的命令。如果运行 `zig build --help` 并滚动到顶部，你会看到新增的 `run` 步骤。现在你可以执行 `zig build run` 来运行程序了。 466 | 467 | 要添加『测试』步骤，你需要重复刚才添加的大部分运行代码，只是不再使用 `b.addExecutable`，而是使用 `b.addTest`： 468 | 469 | ```zig 470 | const tests = b.addTest(.{ 471 | .target = target, 472 | .optimize = optimize, 473 | .root_source_file = b.path("learning.zig"), 474 | }); 475 | 476 | const test_cmd = b.addRunArtifact(tests); 477 | test_cmd.step.dependOn(b.getInstallStep()); 478 | const test_step = b.step("test", "Run the tests"); 479 | test_step.dependOn(&test_cmd.step); 480 | ``` 481 | 482 | 我们将该步骤命名为 `test`。运行 `zig build --help` 会显示另一个可用步骤 `test`。由于我们没有进行任何测试，因此很难判断这一步是否有效。在 `learning.zig` 中，添加 483 | 484 | ```zig 485 | test "dummy build test" { 486 | try std.testing.expectEqual(false, true); 487 | } 488 | ``` 489 | 490 | 现在运行 `zig build test`时，应该会出现测试失败。如果你修复了测试，并再次运行 `zig build test`，你将不会得到任何输出。默认情况下，Zig 的测试运行程序只在失败时输出结果。如果你像我一样，无论成功还是失败，都想要一份总结，那就使用 `zig build test --summary all`。 491 | 492 | 这是启动和运行构建系统所需的最低配置。但是请放心,如果你需要构建你的程序，Zig 内置的功能大概率能覆盖你的需求。最后，你可以（也应该）在你的项目根目录下使用 `zig init`，让 Zig 为你创建一个文档齐全的 `build.zig` 文件。 493 | 494 | ## 第三方依赖 495 | 496 | Zig 的内置软件包管理器相对较新，因此存在一些缺陷。虽然还有改进的余地，但它目前还是可用的。我们需要了解两个部分：创建软件包和使用软件包。我们将对其进行全面介绍。 497 | 498 | 首先，新建一个名为 `calc` 的文件夹并创建三个文件。第一个是 `add.zig`，内容如下： 499 | 500 | ```zig 501 | // 哦，下面的函数定义中有语法之前没讲过，看看 b 的类型和返回类型！！ 502 | 503 | pub fn add(a: anytype, b: @TypeOf(a)) @TypeOf(a) { 504 | return a + b; 505 | } 506 | 507 | const testing = @import("std").testing; 508 | test "add" { 509 | try testing.expectEqual(@as(i32, 32), add(30, 2)); 510 | } 511 | ``` 512 | 513 | 这个例子可能看起来有点傻，一整个软件包只是为了加两个数值，但它能让我们专注于打包方面。接下来，我们将添加一个同样愚蠢的：`calc.zig`： 514 | 515 | ```zig 516 | pub const add = @import("add.zig").add; 517 | 518 | test { 519 | // By default, only tests in the specified file 520 | // are included. This magic line of code will 521 | // cause a reference to all nested containers 522 | // to be tested. 523 | @import("std").testing.refAllDecls(@This()); 524 | } 525 | ``` 526 | 527 | 我们将其分割为 `calc.zig` 和 `add.zig`，以证明 `zig build` 可以自动构建和打包所有项目文件。最后，我们可以添加 build.zig： 528 | 529 | ```zig 530 | const std = @import("std"); 531 | 532 | pub fn build(b: *std.Build) !void { 533 | const target = b.standardTargetOptions(.{}); 534 | const optimize = b.standardOptimizeOption(.{}); 535 | 536 | const tests = b.addTest(.{ 537 | .target = target, 538 | .optimize = optimize, 539 | .root_source_file = b.path("calc.zig"), 540 | }); 541 | 542 | const test_cmd = b.addRunArtifact(tests); 543 | test_cmd.step.dependOn(b.getInstallStep()); 544 | const test_step = b.step("test", "Run the tests"); 545 | test_step.dependOn(&test_cmd.step); 546 | } 547 | ``` 548 | 549 | 这些都是我们在上一节中看到的内容的重复。有了这些，你就可以运行 `zig build test --summary all`。 550 | 551 | 回到我们的 `learning`项目和之前创建的 `build.zig`。首先，我们将添加本地 `calc` 作为依赖项。我们需要添加三项内容。首先，我们将创建一个指向 `calc.zig`的模块： 552 | 553 | ```zig 554 | // 你可以把这些代码放在构建函数的顶部， 555 | // 即调用 addExecutable 之前。 556 | 557 | const calc_module = b.addModule("calc", .{ 558 | .root_source_file = b.path("PATH_TO_CALC_PROJECT/calc.zig"), 559 | }); 560 | ``` 561 | 562 | 你需要调整 `calc.zig` 的路径。现在，我们需要将这个模块添加到现有的 `exe` 和 `tests` 变量中。由于我们的 build.zig 变得越来越复杂，我们将尝试稍微组织一下： 563 | 564 | ```zig 565 | const std = @import("std"); 566 | 567 | pub fn build(b: *std.Build) !void { 568 | const target = b.standardTargetOptions(.{}); 569 | const optimize = b.standardOptimizeOption(.{}); 570 | 571 | const calc_module = b.addModule("calc", .{ 572 | .root_source_file = b.path("PATH_TO_CALC_PROJECT/calc.zig"), 573 | }); 574 | 575 | { 576 | // 设置我们的 "run" 命令。 577 | 578 | const exe = b.addExecutable(.{ 579 | .name = "learning", 580 | .target = target, 581 | .optimize = optimize, 582 | .root_source_file = b.path("learning.zig"), 583 | }); 584 | // 添加这些代码 585 | exe.root_module.addImport("calc", calc_module); 586 | b.installArtifact(exe); 587 | 588 | const run_cmd = b.addRunArtifact(exe); 589 | run_cmd.step.dependOn(b.getInstallStep()); 590 | 591 | const run_step = b.step("run", "Start learning!"); 592 | run_step.dependOn(&run_cmd.step); 593 | } 594 | 595 | { 596 | // 设置我们的 "test" 命令。 597 | const tests = b.addTest(.{ 598 | .target = target, 599 | .optimize = optimize, 600 | .root_source_file = b.path("learning.zig"), 601 | }); 602 | // 添加这行代码 603 | tests.root_module.addImport("calc", calc_module); 604 | 605 | const test_cmd = b.addRunArtifact(tests); 606 | test_cmd.step.dependOn(b.getInstallStep()); 607 | const test_step = b.step("test", "Run the tests"); 608 | test_step.dependOn(&test_cmd.step); 609 | } 610 | } 611 | ``` 612 | 613 | 现在，可以在项目中 `@import("calc")`： 614 | 615 | ```zig 616 | const calc = @import("calc"); 617 | ... 618 | calc.add(1, 2); 619 | ``` 620 | 621 | 添加远程依赖关系需要花费更多精力。首先，我们需要回到 `calc` 项目并定义一个模块。你可能认为项目本身就是一个模块，但一个项目（project）可以暴露多个模块（module），所以我们需要明确地创建它。我们使用相同的 `addModule`，但舍弃了返回值。只需调用 `addModule` 就足以定义模块，然后其他项目就可以导入该模块。 622 | 623 | ```zig 624 | _ = b.addModule("calc", .{ 625 | .root_source_file = b.path("calc.zig"), 626 | }); 627 | ``` 628 | 629 | 这是我们需要对库进行的唯一改动。因为这是一个远程依赖的练习，所以我把这个 `calc` 项目推送到了 GitHub，这样我们就可以把它导入到我们的 `learning` 项目中。它可以在 https://github.com/karlseguin/calc.zig 上找到。 630 | 631 | 回到我们的 `learning`项目，我们需要一个新文件 `build.zig.zon`。ZON 是 Zig Object Notation 的缩写，它允许以人类可读格式表达 Zig 数据，并将人类可读格式转化为 Zig 代码。`build.zig.zon` 的内容包括： 632 | 633 | ```zig 634 | .{ 635 | .name = "learning", 636 | .paths = .{""}, 637 | .version = "0.0.0", 638 | .dependencies = .{ 639 | .calc = .{ 640 | .url = "https://github.com/karlseguin/calc.zig/archive/d1881b689817264a5644b4d6928c73df8cf2b193.tar.gz", 641 | .hash = "12ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff" 642 | }, 643 | }, 644 | } 645 | ``` 646 | 647 | 该文件中有两个可疑值，第一个是 url 中的 d1881b689817264a5644b4d6928c73df8cf2b193<。这只是 git 提交的哈希值。第二个是哈希值。据我所知，目前还没有很好的方法来告诉我们这个值应该是多少，所以我们暂时使用一个假值。 648 | 649 | 要使用这一依赖关系，我们需要对 `build.zig` 进行一处修改： 650 | 651 | ```zig 652 | // 将这些代码: 653 | const calc_module = b.addModule("calc", .{ 654 | .root_source_file = b.path("calc/calc.zig"), 655 | }); 656 | 657 | // 替换成: 658 | const calc_dep = b.dependency("calc", .{.target = target,.optimize = optimize}); 659 | const calc_module = calc_dep.module("calc"); 660 | ``` 661 | 662 | 在 `build.zig.zon` 中，我们将依赖关系命名为 `calc`，这就是我们要加载的依赖关系。在这个依赖关系中，我们将使用其中的 `calc` 模块，也就是我们在 `calc` 的 `build.zig.zon` 中命名的模块。 663 | 664 | 如果你尝试运行 `zig build test`，应该会看到一个错误： 665 | 666 | ```bash 667 | hash mismatch: manifest declares 668 | 122053da05e0c9348d91218ef015c8307749ef39f8e90c208a186e5f444e818672da 669 | 670 | but the fetched package has 671 | 122036b1948caa15c2c9054286b3057877f7b152a5102c9262511bf89554dc836ee5 672 | ``` 673 | 674 | 将正确的哈希值复制并粘贴回 `build.zig.zon`，然后再次尝试运行 `zig build test`，现在一切应该都正常了。 675 | 676 | 听起来很多，我希望能精简一些。但这主要是你可以从其他项目中复制和粘贴的东西，一旦设置完成，你就可以继续了。 677 | 678 | 需要提醒的是，我发现 Zig 对依赖项的缓存偏激。如果你试图更新依赖项，但 Zig 似乎检测不到变化。这时，我会删除项目的 `zig-cache` 文件夹以及 `~/.cache/zig`。 679 | 680 | --- 681 | 682 | 我们已经涉猎了很多领域，探索了一些核心数据结构，并将之前的大块内容整合到了一起。我们的代码变得复杂了一些，不再那么注重特定的语法，看起来更像真正的代码。让我感到兴奋的是，尽管如此复杂，但代码大部分都是有意义的。如果暂时没有看懂，也不要放弃。选取一个示例并将其分解，添加打印语句，为其编写一些测试。亲自动手编写自己的代码，然后再回来阅读那些没有看懂的部分。 683 | -------------------------------------------------------------------------------- /10-conclusion.md: -------------------------------------------------------------------------------- 1 | > 原文总结： 2 | 3 | # 总结 4 | 5 | 有些读者可能会认出我是各种『The Little $TECH Book』 的作者（译者注：原作者还写过 [The Little Go Book](https://github.com/karlseguin/the-little-go-book)、[The Little MongoDB Book](https://github.com/karlseguin/the-little-mongodb-book)），并想知道为什么这本书不叫『The Little Zig Book』。事实上，我不确定 Zig 是否适合『小』这个范畴。部分挑战在于，Zig 的复杂性和学习曲线会因个人背景和经验的不同而大相径庭。如果你是一个经验丰富的 C 或 C++ 程序员，那么简明扼要地总结一下这门语言可能就够了，这种情况下你可能会更需要[Zig 的官方文档](https://ziglang.org/documentation/master/)。 6 | 7 | 虽然我们在本指南中涉及了很多内容，但仍有大量内容我们尚未触及。我不希望这让你气馁或不知所措。所有语言的学习都是循序渐进的，通过本教程，你有了一个良好基础，也可以把它当作参考资料，可以开始学习 Zig 语言中更高级的功能。坦率地说，我没有涉及的部分我本身就理解有限，因此无法很好的解释。但这并不妨碍我使用 Zig 编写有意义的东西，比如一个流行的 [HTTP 服务器](https://github.com/karlseguin/http.zig)。 8 | 9 | 最后，我想强调一件完全被略过的事情，你之前可能有所耳闻，即 Zig 与 C 代码交互非常容易。因为 Zig 的生态还很年轻，标准库也很小，所以在某些情况下，使用 C 库可能是最好的选择。例如，Zig 标准库中没有正则表达式模块，使用 C 语言库就是一个合理的选择。我曾为 SQLite 和 DuckDB 编写过 Zig 库，这很简单。如果你基本遵循了本指南中的所有内容，应该不会有任何问题。 10 | 11 | 希望本资料对你有所帮助，也希望你能在编程过程中获得乐趣。 12 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | The MIT License (Expat) 2 | 3 | Copyright (c) Zigcc contributors 4 | 5 | Permission is hereby granted, free of charge, to any person obtaining a copy 6 | of this software and associated documentation files (the "Software"), to deal 7 | in the Software without restriction, including without limitation the rights 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9 | copies of the Software, and to permit persons to whom the Software is 10 | furnished to do so, subject to the following conditions: 11 | 12 | The above copyright notice and this permission notice shall be included in 13 | all copies or substantial portions of the Software. 14 | 15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 21 | THE SOFTWARE. 22 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- 1 | 2 | .PHONY: format 3 | format: 4 | npx prettier@3.1.1 --write . 5 | 6 | .PHONY: lint 7 | lint: 8 | npx prettier@3.1.1 . --check 9 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # [Learning Zig](https://www.openmymind.net/learning_zig/) 中文翻译 2 | 3 | [![](https://img.shields.io/discord/1155469703846834187?label=Chat%20on%20Discord)](https://discord.gg/57JR9u7M) 4 | [![](https://img.shields.io/github/stars/zigcc/learning-zig?style=square&color=#30a14e)](https://github.com/zigcc/learning-zig/stargazers) 5 | 6 | > [!IMPORTANT] 7 | > 迁移到 [zigcc.github.io](https://ziglang.cc/learn/) 仓库维护。 8 | -------------------------------------------------------------------------------- /SUMMARY.md: -------------------------------------------------------------------------------- 1 | # 目录 2 | 3 | [简介](README.md) 4 | 5 | - [前言](00-preface.md) 6 | - [安装 Zig](01-installing-zig.md) 7 | - [语言概览 -- 第一部分](02-language-overview-part1.md) 8 | - [语言概览 -- 第二部分](03-language-overview-part2.md) 9 | - [编码风格](04-style-guide.md) 10 | - [指针](05-pointers.md) 11 | - [栈内存](06-stack-memory.md) 12 | - [堆内核与分配器](07-heap-memory-and-allocator.md) 13 | - [泛型](08-generics.md) 14 | - [实战](09-coding-in-zig.md) 15 | - [总结](10-conclusion.md) 16 | -------------------------------------------------------------------------------- /book.toml: -------------------------------------------------------------------------------- 1 | [book] 2 | title = "学习 Zig" 3 | description = "Learning Zig 中文翻译" 4 | authors = ["ZigCC"] 5 | language = "zh-CN" 6 | multilingual = false 7 | src = "." 8 | 9 | [output.html] 10 | git-repository-url = "https://github.com/zigcc/learning-zig" 11 | edit-url-template = "https://github.com/zigcc/learning-zig/edit/main/{path}" 12 | additional-js = ["static/zig-hl.js"] 13 | additional-css = ["static/last-changed.css"] 14 | site-url = "/learning-zig/" 15 | 16 | [output.html.print] 17 | enable = true # include support for printable output 18 | page-break = true # insert page-break after each chapter 19 | 20 | [output.html.search] 21 | enable = true 22 | 23 | [preprocessor.last-changed] 24 | command = "mdbook-last-changed" 25 | renderer = ["html"] -------------------------------------------------------------------------------- /static/index.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 |

Redirect to https://ziglang.cc/learn/

7 | 8 | 9 | -------------------------------------------------------------------------------- /static/last-changed.css: -------------------------------------------------------------------------------- 1 | footer { 2 | font-size: 0.8em; 3 | text-align: center; 4 | border-top: 1px solid black; 5 | padding: 5px 0; 6 | } 7 | -------------------------------------------------------------------------------- /static/zig-hl.js: -------------------------------------------------------------------------------- 1 | const zigLanguageSupport = (hljs) => { 2 | return { 3 | name: "Zig", 4 | aliases: ["zig"], 5 | keywords: { 6 | keyword: 7 | "unreachable continue errdefer suspend return resume cancel break catch async await defer asm try " + 8 | "threadlocal linksection allowzero stdcallcc volatile comptime noalias nakedcc inline export packed extern align const pub var " + 9 | "struct union error enum while for switch orelse else and if or usingnamespace test fn", 10 | type: "comptime_float comptime_int c_longdouble c_ulonglong c_longlong c_voidi8 noreturn c_ushort anyerror promise c_short c_ulong c_uint c_long isize c_int usize void f128 i128 type bool u128 u16 f64 f32 u64 i16 f16 i32 u32 i64 u8 i0 u0", 11 | literal: "undefined false true null", 12 | }, 13 | contains: [ 14 | hljs.C_LINE_COMMENT_MODE, 15 | hljs.QUOTE_STRING_MODE, 16 | hljs.APOS_STRING_MODE, 17 | hljs.C_NUMBER_MODE, 18 | { 19 | className: "string", 20 | begin: "@[a-zA-Z_]\\w*", 21 | }, 22 | { 23 | className: "meta", 24 | begin: /@[a-zA-Z_]\w*/, 25 | }, 26 | { 27 | className: "symbol", 28 | begin: /'[a-zA-Z_][a-zA-Z0-9_]*'/, 29 | }, 30 | { 31 | className: "literal", 32 | begin: /\\[xuU][a-fA-F0-9]+/, 33 | }, 34 | { 35 | className: "number", 36 | begin: /\b0x[0-9a-fA-F]+/, 37 | }, 38 | { 39 | className: "number", 40 | begin: /\b0b[01]+/, 41 | }, 42 | { 43 | className: "number", 44 | begin: /\b0o[0-7]+/, 45 | }, 46 | { 47 | className: "number", 48 | begin: /\b[0-9]+\b/, 49 | }, 50 | hljs.REGEXP_MODE, 51 | { 52 | // multiline string literals 53 | className: "string", 54 | begin: /\\/, 55 | end: /$/, 56 | relevance: 0, 57 | contains: [ 58 | { 59 | begin: /\\/, 60 | end: /$/, 61 | relevance: 0, 62 | }, 63 | ], 64 | }, 65 | ], 66 | }; 67 | }; 68 | 69 | document.addEventListener("DOMContentLoaded", (event) => { 70 | if (typeof hljs !== "undefined") { 71 | console.log("register zig support"); 72 | hljs.registerLanguage("zig", zigLanguageSupport); 73 | hljs.initHighlighting(); 74 | } 75 | }); 76 | --------------------------------------------------------------------------------