编程学习

Zig 标准库、I/O 接口与并发:把知识串起来

本文基于 Zig 0.16。 经过前五篇的旅程——语法、错误处理、内存管理、编译期计算、构建系统——现在到了 Zig 篇章收官,该把知识串起来了。 0.16 是两个重要版本的交汇点:标准库容器完成了 Unmanaged 迁移,同时引入了新的 std.Io 接口。这两个变化深刻影响了 Zig 代码的写法。本篇将围绕它们展开,最后用三语言实战对比收束,并给出学习路线和资源。

Continue reading →

结构体与 comptime:编译期计算的威力

本文基于 Zig 0.16。 前几篇我们完成了基础语法、错误处理和内存分配器,现在进入 Zig 最核心的特性——编译期计算(comptime)。但在此之前,我们先花几分钟快速了解 Zig 的结构体与方法,它们是你理解 comptime 的基石。

Continue reading →

Zig 内存管理:显式分配器模式

本文基于 Zig 0.16。 前几篇我们走过了 Zig 的基础语法和错误处理。现在进入 Zig 最与众不同的部分——内存管理。 如果你有 Go 或 Rust 背景,Zig 的内存哲学会让你感到陌生:它既不提供垃圾回收,也不引入所有权系统,而是选择了一条完全不同的路——分配器模式(Allocator Pattern)。这个模式的核心约定极其简单,但影响深远:

Continue reading →

错误处理:Go、Rust 之外的第三条路

本文基于 Zig 0.16。 三种错误处理范式 错误处理是编程语言设计中最具争议的话题之一。Go 的多返回值、Rust 的 Result<T, E> 枚举、Zig 的错误联合类型——它们代表了三种截然不同的哲学。本文假设你已有 Go 或 Rust 经验,将以此为参照系来理解 Zig 的设计。

Continue reading →

基础语法:用 Go/Rust 经验快速上手 Zig

本文基于 Zig 0.16。 上一篇我们聊了为什么 Zig 值得学,以及怎么跑通你的第一个 Hello World。这一篇直接上手语法——变量、类型、控制流、函数、泛型。核心目标只有一个:让你能读懂和写出 Zig 代码。

Continue reading →

为什么是 Zig:从 Go/Rust 视角认识一门新系统语言

本文基于 Zig 0.16(2026-04-13 发布,当前最新稳定版)。Zig 是一门仍在快速演进的现代系统编程语言,它的源码仓库已从 GitHub 迁移到 Codeberg,官方下载页在 ziglang.org/download/。 为什么是 Zig? 如果你已经熟悉 Go 和 Rust,可能会问:为什么还要看第三门系统语言?Zig 的位置介于两者之间,试图兼顾 C 的轻量、Rust 的现代工具链和 Go 的低门槛。

Continue reading →

标准库、并发与 async:Rust 篇章收官

经过前四篇的旅程——所有权与借用、类型系统、错误处理、模式匹配——现在到了 Rust 篇章收官,该把零散的知识串起来了。 本篇聚焦 Rust 标准库的并发工具和 async/await 生态。这些是 Rust 与 Go 在并发领域最有趣的对标点:Go 通过 goroutine 和 channel 让并发看起来很简单,Rust 则通过严格的类型系统和所有权约束让并发变得安全可靠。

Continue reading →

错误处理与生命周期:Result、Option 与编译期借用检查

如果你习惯了 Go 的 if err != nil,第一次接触 Rust 的错误处理可能会感到困惑。Go 的哲学是显式多返回值,错误只是普通的值。而 Rust 则将错误提升到了类型系统层面——一个可能出错的函数必须在返回类型中显式声明。这种设计带来了零成本抽象,但也引入了初学者最头疼的两个概念:Result<T, E> 枚举和生命周期标注。

Continue reading →

Trait 与泛型:Rust 的类型抽象系统

前几篇我们了解了 Rust 的所有权系统、错误处理和模块管理,现在深入 Rust 类型系统的两大核心——trait(特征)和泛型(generics)。这两者构成了 Rust 抽象机制的基石:trait 提供了基于行为的编译期约束,而泛型则带来了类型安全的参数化编程。

Continue reading →

所有权与借用:Rust 内存安全的核心

本文基于 Rust 1.80+。 如果你有 Go 或 Java 背景,所有权系统可能是 Rust 中最让你困惑的概念。Go 有垃圾回收器(GC),你很少需要关心内存何时释放。Rust 选择了一条完全不同的路——编译期通过所有权规则保证内存安全,零运行时开销。

Continue reading →