2025年四月月 发布的文章

“错误即值”,不同实现:Go与Zig错误处理哲学对比

本文永久链接 – https://tonybai.com/2025/04/30/go-vs-zig-in-error-handling

大家好,我是Tony Bai。

使用Go语言有些年头的开发者,大多对其错误处理机制有着复杂的情感。一方面,我们认同 Rob Pike 所倡导的“错误即值 (Errors are values)”的核心哲学——错误不是需要特殊通道(如异常)处理的“二等公民”,它们是普通的值,可以传递、检查,甚至被编程。这赋予了错误处理极大的灵活性和明确性。

但另一方面,我们也不得不承认Go的错误处理有时可能相当冗长。标志性的if err != nil代码块几乎遍布在Go代码的各个角落,占据了相当大的代码比例,这常常成为社区讨论的热点。 有趣的是,近期另一门备受关注的系统编程语言 Zig,也采用了“错误即值”的哲学,但其实现方式却与Go大相径庭。

近期自称是Zig新手的packagemain.tech博主在他的一期视频中也分享了自己敏锐地观察到的Zig和Go在设计哲学上的相似性(都追求简洁、快速上手)以及在错误处理实现上的显著差异。

今天,我们就基于这位开发者的分享,来一场 Go 与 Zig 错误处理的对比,看看同一种哲学思想,是如何在两种语言中开出不同但各有千秋的花朵。

Go 的错误处理:接口、显式检查与可编程的值

我们先快速回顾下 Go 的错误处理方式,这也是大家非常熟悉的:

error 接口

Go中的错误本质上是实现了Error() string方法的任何类型。这是一个极其简单但强大的约定。

// $GOROOT/src/builtin/builtin.go

// The error built-in interface type is the conventional interface for
// representing an error condition, with the nil value representing no error.
type error interface {
    Error() string
}

显式返回值

函数通过返回 (result, error) 对来表明可能出错。通常error放到函数返回值列表的最后一个,并且一个函数通常只返回一个错误值。

显式检查

调用者必须显式检查返回的 error 是否为 nil。

package main

import (
    "fmt"
    "os"
)

func readFileContent(filename string) (string, error) {
    data, err := os.ReadFile(filename) // ReadFile returns ([]byte, error)
    if err != nil {
        // If an error occurs (e.g., file not found), return it
        return "", fmt.Errorf("failed to read file %s: %w", filename, err) // Wrap the original error
    }
    return string(data), nil // Success, return data and nil error
}

func main() {
    content, err := readFileContent("my_file.txt")
    if err != nil {
        // The iconic check
        fmt.Fprintf(os.Stderr, "Error reading file: %v\n", err)
        // Here you would typically handle the error (log, return, etc.)
        return
    }
    fmt.Println("File content:", content)

    // Slightly shorter form for functions returning only error (like Close)
    // Use dummy file creation/opening for example that runs
    f, createErr := os.Create("temp_file.txt")
    if createErr != nil {
        fmt.Fprintf(os.Stderr, "Error creating file: %v\n", createErr)
        return
    }
    if f != nil {
        // Ensure file is closed even if writes fail later (using defer is better practice)
        defer f.Close()
        defer os.Remove("temp_file.txt") // Clean up the dummy file

        // Example usage...
        _, _ = f.WriteString("hello")

        // Now explicitly check close error if needed at the end of func,
        // though defer handles the call itself.
        // For demonstration of the if err := ... style on Close:
        // (Note: defer already schedules the close, this is just for syntax demo)
        // closerFunc := func() error { return f.Close() } // Wrap Close if needed
        // if err := f.Close(); err != nil { // Potential re-close if not careful with defer
        //     fmt.Fprintf(os.Stderr, "Error closing file: %v\n", err)
        // }
        // A more practical place for this pattern might be a non-deferred close.
    }
}

示例中,对每一处返回错误的地方都做了显式检查,这保证了错误不会被轻易忽略,控制流清晰可见,但也导致了代码冗长。上面代码因my_file.txt文件不存在,会输出“Error reading file: failed to read file my_file.txt: open my_file.txt: no such file or directory”并退出。

错误是可编程的

  • 自定义错误类型

开发者可以定义自己的 struct 实现 error 接口,从而携带更丰富的上下文信息。

package main

import (
    "errors"
    "fmt"
    "os"
    "time"
)

// Custom error type
type OperationError struct {
    Op      string
    Err     error // Underlying error
    Timestamp time.Time
}

// Implement the error interface
func (e *OperationError) Error() string {
    return fmt.Sprintf("[%s] operation %s failed: %v", e.Timestamp.Format(time.RFC3339), e.Op, e.Err)
}

// Function that might return our custom error
func performCriticalOperation() error {
    // Simulate a failure
    err := errors.New("connection refused")
    return &OperationError{
        Op:      "connect_database",
        Err:     err,
        Timestamp: time.Now(),
    }
}

// (main function using this will be shown in the next point)
  • 错误检查

标准库 errors 包提供了 errors.Is (检查错误值是否匹配特定目标) 和 errors.As (检查错误链中是否有特定类型并提取) 方法,允许对错误进行更精细的判断和处理。

// (Continuing from previous snippet within the same package)
func main() {
    err := performCriticalOperation()
    if err != nil {
        fmt.Fprintf(os.Stderr, "Operation failed: %v\n", err) // Prints the formatted custom error

        // Example: Check if the underlying error is a specific known error
        // Note: Standard errors package doesn't export connection refused directly,
        // this is conceptual. Real check might involve string matching or syscall types.
        // if errors.Is(err, someSpecificNetworkError) {
        //     fmt.Println("It was specifically a network error")
        // }

        // Check if the error is of our custom type and extract it
        var opErr *OperationError
        if errors.As(err, &opErr) {
            fmt.Fprintf(os.Stderr, "  Operation details: Op=%s, Time=%s, UnderlyingErr=%v\n",
                opErr.Op, opErr.Timestamp.Format(time.Kitchen), opErr.Err)
            // Can now use opErr.Op, opErr.Timestamp etc. for specific handling
        }
    }
}

该博主认为,Go的方式虽然有点“乏味”和冗长,但非常直接 (straightforward),且自定义错误携带丰富上下文的能力是一大优势,使得错误本身更具“可编程性”。

Zig的错误处理:错误联合类型、语法糖与强制处理

Zig作为一门较新的语言(诞生于2016年),同样推崇简洁和“无隐藏控制流”,并在错误处理上给出了不同的答案:

错误联合类型

Zig中可能失败的函数,其返回类型会使用!标记,形式如 !ReturnType 或 !void。这表示函数要么返回 ReturnType 类型的值,要么返回一个错误集 (Error Set) 中的错误值。错误本质上是一种特殊的枚举值。

const std = @import("std");

// Define possible errors for our function
const MyError = error{
    InvalidInput,
    ConnectionFailed,
    SomethingElse,
};

// Function signature indicating it can return MyError or u32
fn doSomething(input: u32) MyError!u32 {
    if (input == 0) {
        return MyError.InvalidInput; // Return a specific error
    }
    if (input > 100) {
        return MyError.ConnectionFailed; // Return another error
    }
    // Simulate success
    return input * 2; // Return the successful result (u32)
}

// Example usage needs a main function
// pub fn main() !void { // Example main, !void indicates main can return error
//     const result = try doSomething(50);
//     std.debug.print("Result: {}\n", .{result});
// }

强制处理

在Zig 中,你不能像在 Go 中那样直接忽略一个可能返回错误值的函数的错误。Go 允许你使用空白标识符 _ 来丢弃返回值,包括错误,这在 Zig 中是不允许的,因为 Zig编译器强制要求调用者必须处理所有潜在的错误,不允许忽略。

但是,Zig 提供了几种方法来处理你不想显式处理的错误,尽管这些方法都需要你明确地承认你正在忽略错误,而不是简单地丢弃它。这个我们在下面会提及。

简洁的语法糖

Zig 提供了多种简洁的语法来处理错误:

try: 极其简洁的错误传播机制

下面代码中的一行 try 基本等同于 Go 中三四行的 if err != nil { return err }

const std = @import("std");
const MyError = error{InvalidInput, ConnectionFailed}; // Simplified error set

// Function definition (same as above)
fn doSomething(input: u32) MyError!u32 {
    if (input == 0) return MyError.InvalidInput;
    if (input > 100) return MyError.ConnectionFailed;
    return input * 2;
}

// This function also returns MyError or u32
fn processData(input: u32) MyError!u32 {
    // If doSomething returns an error, 'try' immediately propagates
    // that error from processData. Otherwise, result holds the u32 value.
    const result = try doSomething(input);

    // ... further processing on result ...
    std.debug.print("Intermediate result in processData: {}\n", .{result});
    return result + 1;
}

pub fn main() !void { // Main now can return errors (due to try)
    const finalResult = try processData(50); // Propagate error from processData
    std.debug.print("Final result: {}\n", .{finalResult});

     // Example of triggering an error propagation
     // Uncommenting the line below will cause main to return InvalidInput
     // _ = try processData(0);
}

注:Zig中的try可不同于Java等支持try-catch等错误处理机制中的try。Zig 的 try 用于传播错误,而 Java 的 try-catch 用于捕获和处理异常。

catch: 用于捕获和处理错误

  • 与代码块结合 (catch |err| { … }),执行错误处理逻辑
const std = @import("std");
const MyError = error{InvalidInput, ConnectionFailed};
fn doSomething(input: u32) MyError!u32 { /* ... */ if (input == 0) return MyError.InvalidInput; return input * 2; }

pub fn main() void { // Main does not return errors itself
    const result = doSomething(0) catch |err| {
        // Error occurred, execution enters the catch block
        std.debug.print("Caught error: {s}\n", .{@errorName(err)}); // Prints "Caught error: InvalidInput"
        // Handle the error, maybe exit or log differently
        // For this example, we just print and return from main
        return; // Exit main gracefully
    };
    // This line only executes if doSomething succeeded
    // If input was non-zero, this would print.
    std.debug.print("Success! Result: {}\n", .{result});
}
  • 与回退值结合 (catch fallbackValue),在出错时提供一个默认的成功值
const std = @import("std");
const MyError = error{InvalidInput, ConnectionFailed};
fn doSomething(input: u32) MyError!u32 { /* ... */ if (input == 0) return MyError.InvalidInput; return input * 2; }

pub fn main() void {
    // If doSomething fails (input is 0), result will be assigned 999
    const result = doSomething(0) catch 999;
    std.debug.print("Result (with fallback): {}\n", .{result}); // Prints 999

    const success_result = doSomething(10) catch 999;
    std.debug.print("Result (with fallback, success case): {}\n", .{success_result}); // Prints 20
}
  • 与命名块结合

label: { … } catch |err| { … break :label fallbackValue; }),既能执行错误处理逻辑,又能返回一个回退值。

const std = @import("std");

const MyError = error{
    FileNotFound,
    InvalidData,
};

fn readDataFromFile(filename: []const u8) MyError![]const u8 {
    // 模拟读取文件,如果文件名是 "error.txt" 则返回错误
    if (std.mem.eql(u8, filename, "error.txt")) {
        return MyError.FileNotFound;
    }

    // 模拟读取成功
    const data: []const u8 = "Some valid data";
    return data;
}

fn handleReadFile(filename: []const u8) []const u8 {
    return readDataFromFile(filename) catch |err| {
        std.debug.print("Error reading file: {any}\n", .{err});
        std.debug.print("Using default data\n", .{});
        return "Default data";
    };
}

pub fn main() !void {
    const filename = "data.txt";
    const errorFilename = "error.txt";

    const data = handleReadFile(filename);
    std.debug.print("Data: {s}\n", .{data});

    const errorData = handleReadFile(errorFilename);
    std.debug.print("Error Data: {s}\n", .{errorData});
}

注:对于Gopher而言,是不是开始感觉有些复杂了:)。

if/else catch

分别处理成功和失败的情况,else 块中还可以用 switch err 对具体的错误类型进行分支处理。

const std = @import("std");
const MyError = error{InvalidInput, ConnectionFailed, SomethingElse};
fn doSomething(input: u32) MyError!u32 {
     if (input == 0) return MyError.InvalidInput;
     if (input > 100) return MyError.ConnectionFailed;
     if (input == 55) return MyError.SomethingElse; // Add another error case
     return input * 2;
}

pub fn main() void {
    // Test Case 1: Success
    if (doSomething(10)) |successValue| {
        std.debug.print("Success via if/else (input 10): {}\n", .{successValue}); // Prints 20
    } else |err| { std.debug.print("Error (input 10): {s}\n", .{@errorName(err)}); }

    // Test Case 2: ConnectionFailed Error
    if (doSomething(101)) |successValue| {
         std.debug.print("Success via if/else (input 101): {}\n", .{successValue});
    } else |err| {
        std.debug.print("Error via if/else (input 101): ", .{});
        switch (err) {
            MyError.InvalidInput => std.debug.print("Invalid Input\n", .{}),
            MyError.ConnectionFailed => std.debug.print("Connection Failed\n", .{}), // This branch runs
            else => std.debug.print("Unknown error\n", .{}),
        }
    }

     // Test Case 3: SomethingElse Error (falls into else)
    if (doSomething(55)) |successValue| {
         std.debug.print("Success via if/else (input 55): {}\n", .{successValue});
    } else |err| {
        std.debug.print("Error via if/else (input 55): ", .{});
        switch (err) {
            MyError.InvalidInput => std.debug.print("Invalid Input\n", .{}),
            MyError.ConnectionFailed => std.debug.print("Connection Failed\n", .{}),
            else => std.debug.print("Unknown error ({s})\n", .{@errorName(err)}), // This branch runs
        }
    }
}

catch unreachable

在不期望出错或不想处理错误(如脚本中)时使用,若出错则直接 panic。

const std = @import("std");
// Assume this function logically should never fail based on guarantees elsewhere
fn doSomethingThatShouldNeverFail() !u32 {
    // For demo, make it fail sometimes
    // if (std.time.timestamp() % 2 == 0) return error.UnexpectedFailure;
    return 42;
}

pub fn main() void {
    // If doSomethingThatShouldNeverFail returns an error, this will panic.
    // Useful when an error indicates a programming bug.
    const result = doSomethingThatShouldNeverFail() catch unreachable;
    std.debug.print("Result (unreachable case): {}\n", .{result});

    // To see it panic, you'd need doSomethingThatShouldNeverFail to actually return an error.
}

该博主认为,Zig 的错误处理方式功能更丰富、更强大、也更简洁 (concise)。try 关键字尤其强大,极大地减少了错误传播的样板代码。

对比与思考:殊途同归,各有侧重

对比 Go 和 Zig 的错误处理,我们可以看到:

两者都坚守了“错误即值”的阵地,避免了异常带来的隐式控制流跳转。但:

  • Go 选择了更直接、更“笨拙”但上下文信息更丰富的路径。 它的冗长换来的是每一处错误检查点的明确无误,以及通过自定义类型深度编程错误的能力。
  • Zig 则选择了更精巧、更简洁且由编译器强制保证的路径。 它通过强大的语法糖显著减少了样板代码,提升了编写体验,但在错误本身携带上下文信息方面目前有所欠缺。

该博主最后总结道,他个人很喜欢这两种语言的实现方式(特别是与有异常的语言相比)。Zig提供了一种功能更丰富、强大且简洁的方式;而 Go 则更直接,虽冗长但易于理解,且拥有丰富的上下文错误处理能力。

小结

Go 与 Zig 在错误处理上的不同实现,完美诠释了语言设计中的权衡 (trade-offs)。追求极致简洁和强制性,可能会牺牲一部分灵活性或信息承载能力;追求灵活性和信息丰富度,则可能带来冗余和对开发者约定的依赖。

这场对比并非要评判孰优孰劣,而是展示“错误即值”这一共同哲学在不同设计选择下的具体实践。了解这些差异,有助于我们更深刻地理解自己所使用的语言,并在技术选型或学习新语言时做出更明智的判断。或许,Go 的未来版本可以借鉴 Zig 的某些简洁性?又或者,Zig 的生态会发展出更丰富的错误上下文传递机制?这都值得我们期待。

你更喜欢 Go 还是 Zig 的错误处理方式?为什么?欢迎在评论区留下你的看法!


深入探讨,加入我们!

今天讨论的 Go 与 Zig 错误处理话题,只是冰山一角。在我的知识星球 “Go & AI 精进营” 里,我们经常就这类关乎 Go 开发者切身利益、技术选型、生态趋势等话题进行更深入、更即时的交流和碰撞。

如果你想:

  • 与我和更多资深 Gopher 一起探讨 Go 的最佳实践与挑战;
  • 第一时间获取 Go 与 AI 结合的前沿资讯和实战案例;
  • 提出你在学习和工作中遇到的具体问题并获得解答;

欢迎扫描下方二维码加入星球,和我们一起精进!

img{512x368}

感谢阅读!


商务合作方式:撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。如有需求,请扫描下方公众号二维码,与我私信联系。

Go的简洁神话?转Go前你需要知道的5个“真相”

本文永久链接 – https://tonybai.com/2025/04/29/hard-truths-before-switching-to-go

大家好,我是Tony Bai。

Go 语言近年来势头强劲,凭借其简洁、高效、出色的并发能力和工具链,吸引了大量开发者投身其中。甚至连TypeScript 团队也宣布将其编译器和工具集迁移到 Go,以提升性能。这无疑是对 Go 的巨大认可。

然而,正如一位拥有超过 15 年经验(主要使用 Java/Kotlin/TypeScript)、并在过去一年深度使用 Go 的开发者(以下简称“视频作者”)在其分享的油管视频中提到的那样,尽管 Go 非常出色,但光环之下并非没有阴影。在投入实际项目,特别是构建一些非同小可的东西之后,会发现 Go 的一些设计决策有利有弊,有些“简洁”的背后隐藏着需要注意的“真相”。

这位作者认为,计划学习或在下一个项目中使用 Go 的开发者,都应该了解这些潜在的“硬伤”或权衡。以下是他总结的、在转向 Go 之前你需要真正了解的五件事,主要转述自他的分享:

真相一:简洁的表象与表达力的代价

Go 最大的卖点之一是它的简洁性。表面上看,它确实如此。但视频作者认为,一旦你超越了教程的范畴,就会发现这种简洁很多时候是以牺牲表达力为代价的。

  • 隐藏而非消除复杂性?
    • 比如,Go 有 while 循环的功能,却没有 while 关键字,你需要用 for 循环省略条件来实现。
    • 可见性(公有/私有)由首字母大小写决定,而非明确的 public/private 关键字。这虽然简洁,但在重构时容易忽略,更改大小写可能在没有编译器警告的情况下破坏 API。
    • 枚举(Enum)也没有原生支持,而是通过 const 和 iota 的变通方法实现。

在作者看来,Go 似乎不惜一切代价追求简单和极简的外观,有时这意味着隐藏了复杂性,而不是真正消除了它

真相二:多返回值并非“一等公民”

从函数返回多个值是 Go 的一个特色,尤其在错误处理上,(value, error) 模式初看很优雅,没有异常、没有 try-catch。

但视频作者指出的根本问题是:Go 中的多返回值实际上不是元组 (Tuples) 或一等公民 (First-class values)

  • 你不能将它们整体存入一个变量。
  • 你不能将它们放入切片 (Slice)。
  • 你不能通过通道 (Channel) 发送它们。
  • 你无法用泛型 (Generics) 对它们进行抽象。

这意味着,当需要处理一系列返回 (value, error) 的结果时(例如并发执行多个操作后收集),你被迫创建一个自定义的结构体 (struct) 类型来将这些值打包在一起。作者认为,这种为了传递数据而创建额外类型的做法,正是他当年想要逃离 Java 时所厌恶的不必要的样板代码 (boilerplate code)

真相三:错误处理极其冗长

Go 的错误处理方式,特别是 if err != nil { return …, err } 的模式,是开发者初次接触 Go 时最常见的抱怨点之一。

视频作者坦言,在 Go 中管理错误是极其冗长 (extremely verbose) 的。

  • 虽然 Go 官方称之为“显式错误处理”,并由 Rob Pike 等创造者辩护其提高了可读性、保持了控制流清晰,但与其他语言(如 Rust)提供的解决方案相比,确实显得繁琐。
  • 社区曾尝试改进,甚至有过添加内置 try 机制的提案,但最终因担心破坏 Go 的简洁性而被否决。

真相四:拥抱组合,但需适应思维转变

Go 的创造者们反对像 Java 那样复杂的继承体系,认为继承容易导致脆弱、混乱的代码库。因此,Go 的官方哲学是避免继承,倾向于组合 (composition)

  • Go 中的嵌入 (Embedding) 看起来有点像继承,但作者强调它完全是另一回事
  • 这种方法确实在很多方面让 Go 代码更简单、更可预测,但它意味着来自传统面向对象编程 (OOP) 语言的开发者需要调整他们的思维方式
  • Go 并非试图成为部分 OOP 语言,而是提供了一种不同的代码组织方法,用清晰性和简洁性换取了继承的部分灵活性。

真相五:泛型设计,简洁性优先于灵活性

Go 最初没有泛型,这个决定限制了语言十多年。泛型最终在 2022 年 (Go 1.18) 引入,但其设计仍然体现了 Go 简洁性优于灵活性的哲学。

  • Go 不支持函数或运算符重载 (overloading)
  • 其类型约束系统虽然对许多用例足够强大,但并未提供其他语言中 traits 或 type classes 的全部表达能力

这依然符合 Go 优先考虑清晰度和可读性,而非极致表达能力的基本理念。

结语:睁大眼睛看Go

视频作者最后总结,如果你期望 Go 能提供像具有大量语法糖的高级语言那样的开发体验,你会感到失望。

但如果你在寻找一门快速、可靠、务实、不碍事且编译飞快的语言,Go可能就是最适合你的工具。

关键在于,要“睁大眼睛去看待它 (go in with your eyes open)”。因为,仅仅通过看视频或教程喜欢上一门语言,和在维护一个有真实用户、边缘情况的真实世界项目后仍然喜欢它,这两者之间可能存在巨大的差别。理解 Go 的这些设计选择和它所带来的权衡,对于做出明智的技术决策至关重要。

希望转述的这些来自一线开发者的“硬核”观察,能帮助大家更全面地认识 Go。

你对 Go 的这些特性有什么实际体验或看法?欢迎在评论区留言讨论!

视频地址:https://www.youtube.com/watch?v=UEU4SzBjqrc


系统学习,夯实基础

想要更系统、更深入地理解 Go 语言,从基础语法、并发编程到设计哲学和工程实践,全面掌握这门高效的语言吗?欢迎订阅我在极客时间的专栏 《Go 语言第一课》。那里有更结构化的知识体系和详尽的讲解,助你打下坚实的 Go 语言基础,从容应对真实世界的挑战。

img{512x368}


商务合作方式:撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。如有需求,请扫描下方公众号二维码,与我私信联系。

如发现本站页面被黑,比如:挂载广告、挖矿等恶意代码,请朋友们及时联系我。十分感谢! Go语言第一课 Go语言进阶课 Go语言精进之路1 Go语言精进之路2 Go语言第一课 Go语言编程指南
商务合作请联系bigwhite.cn AT aliyun.com

欢迎使用邮件订阅我的博客

输入邮箱订阅本站,只要有新文章发布,就会第一时间发送邮件通知你哦!

这里是 Tony Bai的个人Blog,欢迎访问、订阅和留言! 订阅Feed请点击上面图片

如果您觉得这里的文章对您有帮助,请扫描上方二维码进行捐赠 ,加油后的Tony Bai将会为您呈现更多精彩的文章,谢谢!

如果您希望通过微信捐赠,请用微信客户端扫描下方赞赏码:

如果您希望通过比特币或以太币捐赠,可以扫描下方二维码:

比特币:

以太币:

如果您喜欢通过微信浏览本站内容,可以扫描下方二维码,订阅本站官方微信订阅号“iamtonybai”;点击二维码,可直达本人官方微博主页^_^:
本站Powered by Digital Ocean VPS。
选择Digital Ocean VPS主机,即可获得10美元现金充值,可 免费使用两个月哟! 著名主机提供商Linode 10$优惠码:linode10,在 这里注册即可免费获 得。阿里云推荐码: 1WFZ0V立享9折!


View Tony Bai's profile on LinkedIn
DigitalOcean Referral Badge

文章

评论

  • 正在加载...

分类

标签

归档



View My Stats