新提案:由迭代器启发的 Go 错误函数处理

大家好,我是煎鱼。

Go 错误处理的问题一直是各大开发者关注的话题。最近 Go1.23 出了迭代器后,又有许多同学有了新的灵感和想法。

今天给大家分享的是社区里的新提案:《proposal: spec: error handling via iterator-inspired handler functions》,该提案提出了一个创新的概念:通过迭代器启发式处理函数来改进 Go 的错误处理方式。本文将详细介绍这一提案,并通过示例代码展示其潜在的应用价值。

背景

Go 语言的错误处理机制主要依赖于返回错误值,并通过 if err != nil 来检查和处理错误。

例如如下代码:

go 复制代码
_, err = fd.Write(p0[a:b])
if err != nil {
    return err
}
_, err = fd.Write(p1[c:d])
if err != nil {
    return err
}
_, err = fd.Write(p2[e:f])
if err != nil {
    return err
}
// 煎鱼进脑子了...

但这种模式在某些情况下可能会导致代码冗长且难以维护。

新提案

提案的核心思想是引入一种名为守护函数(guard functions)的特殊函数,这些函数通过一个操作符(如 ? )与函数调用结合使用。

守护函数(guard functions)接收函数的返回类型以及一个由编译器自动生成的特殊函数作为参数。

当守护函数(guard function)调用这个特殊函数时,它会导致调用它的函数立即返回。

提案中提出的语法示例如下:

go 复制代码
func handle[R, V any](ret func(R, error "R, V any"), v V, err error) V {
    if err != nil {
        var r R
        ret(r, err)
    }
    return v
}

func Example() (int, error) {
    v1 := strconv.ParseInt(str1, 10, 0) ? handle
    v2 := strconv.ParseInt(str2, 10, 0) ? handle
    return int(v1 + v2), nil
}

在这个伪代码的示例中,handle 函数接收一个返回类型为 Rerror 的函数 ret,以及函数调用的返回值 v 和错误信息 err

如果 err 不为 nil,也就是有错误信息。则调用 ret 函数,这将会导致 Example 函数立即返回错误。

ret 函数没有被调用的情况下,整个 f() ? handle 表达式返回所传入的 handle 函数返回值。

一些设计考虑

与现有特性的交互

提案认为,这种变化与泛型和现有的错误处理机制很好地融合。

它不仅适用于错误处理,还可以用于任何需要自定义条件来调用 ret 函数的场景。

学习难度

尽管这种新特性可能会增加 Go 语言的复杂性,但提案作者认为,由于其基于高阶函数的设计,人们可能会很快适应这种新的错误处理方式。

性能成本

这种变化可能会在编译时带来轻微的性能开销。

但在运行时(Runtime),如果优化得当,应该不会有显著的性能损失。

总结

这个新提案提出了一种创新的错误处理机制,通过引入迭代器启发式处理函数,为 Go 语言的错误处理提供了新的可能性。

虽然这种变化可能会增加语言的复杂性,但它也为开发者提供了更多的灵活性和控制力。

随着 Go 语言的不断发展,这种新特性可能会成为未来版本的一部分,进一步丰富 Go 语言的生态系统。

  • 本文作者:煎鱼
  • 公众号:脑子进煎鱼了
  • 联系方式(微信号):cJY0728(加我拉你进技术交流群)

文章持续更新,可以微信搜【脑子进煎鱼了】阅读,本文 GitHub github.com/eddycjy/blo... 已收录,学习 Go 语言可以看 Go 学习地图和路线,欢迎 Star 催更。

推荐阅读

相关推荐
newerp18 小时前
语法分析与 AST:Parser 与 go/ast
后端·程序员·go
newerp18 小时前
Go 编译过程全景
后端·程序员·go
stark张宇1 天前
Go语言runtime全景图:从编译到GC,带你彻底吃透Go的底层血脉
后端·go
名字还没想好☜1 天前
Go 用 slices/maps 标准库泛型函数:告别手写 Contains、Sort、去重(Go 1.21)
开发语言·后端·算法·golang·go
运维开发笔记2 天前
5.2 Go 数组进阶学习笔记(多维、排序、搜索)
go
newerp3 天前
Redis 操作与缓存策略
后端·程序员·go
newerp3 天前
GORM ORM 基础
后端·程序员·go
newerp3 天前
CRUD 操作与预处理语句
后端·程序员·go
程序员爱钓鱼3 天前
Go 编程实战:闭包 Closure——函数如何记住外部变量
后端·google·go
橘bird4 天前
Go 语言学习教程 万字精讲(新手完整版)
go