Golang的泛型特性现在引入是否太晚？

Golang的泛型特性现在引入是否太晚？ 我已经使用Go语言四年了，从中获益良多，但泛型确实是它非常缺失的一个特性，因此我决定尝试一下Rust。在尝试了Rust之后，我意识到了泛型、特质（traits）以及其他概念在Rust中的强大之处。所以我在想，Go语言在如此长时间缺乏泛型的情况下，还能否生存下去？还有正确的错误处理机制呢？

10 回复

好的，如果我在老生常谈，那先道个歉了 😄

更多关于Golang的泛型特性现在引入是否太晚？的实战系列教程也可以访问 https://www.itying.com/category-94-b0.html


关于错误处理的这个观点很好。必须承认，我对这门语言中没有异常处理机制感到惊讶，在我看来，这是一种捕获错误条件的非常好的方式。

我是Go语言的新手，仅发表一点个人浅见。

社区的呼声在Go核心团队决定引入泛型时起到了重要作用。但将如此重大的改动添加到代码库中需要付出相当大的努力。

Go语言社区由一群渴望学习和探索的开发者组成。我认为他们接受泛型不会花费太长时间。

如果能像Rust那样拥有?操作符就好了，但在Rust中这是与Result类型兼容的，而在Go中，我不知道该如何实现，因为被调用的函数可能具有与主函数不同的返回值。也许可以只返回零值和错误，但我不确定，人们不再讨论这个了，我们都放弃了。

老兄，你抱怨的这两点，讽刺的是，恰恰是我在 Go 语言中最喜欢的：强大的类型系统和显式的错误处理。即使没有泛型，Go 也能存活下去，因为仍然有很多像我和其他人一样喜欢它的人。祝你在 Rust 的世界里好运，我也挺喜欢 Rust 的。

是的，简洁的语法固然很好，但一旦因为缺乏泛型而陷入代码重复，代码就会变得杂乱。同时，由于错误处理，代码也变得杂乱，你经常会看到：

if err != nil {
  return err
}

我已经编写了大量Go代码，这些确实是使用Go时非常糟糕的方面。第三点可能是缺乏枚举类型，在很多情况下，常量不够严格。

大家好，给大家带来一个好消息 😄 🙃

github.com/golang/go

spec: add generic programming using type parameters

我们建议为 Go 添加对类型参数的支持。这将改变 Go 语言以支持一种形式的泛型…

标签： Proposal Proposal-Accepted Proposal-FinalCommentPeriod

skillian:

我不明白你所说的“正确的错误处理”是什么意思。

我指的是更简短、更整洁的方式，就像 Rust 中的 ? 操作符。与其总是这样写：

if err != nil {
  return err
}

如果能有一些简单的方法来实现这一点，那会好得多。

至于泛型功能在语言中进展如此缓慢，我认为主要原因是一些核心开发者的抵制。我认为社区的意见应该驱动包括 Go 在内的每一个开源项目，而不是开发者或某些“重要”（通常是公司）人物。

通过添加泛型，这门语言能获得什么？我的意思是，它是必需的，还仅仅是为了方便？ 我的背景是Java，它曾经是一门简洁优美的面向对象语言。现在，为了匹配其他语言拥有的那些特性，它变得杂乱无章，充斥着许多便利特性。

我曾经被要求为一次面试做一个编程挑战。在代码审查时，一位面试官问我为什么没有更多地使用Java 8的特性。我当时应该说的是，“因为我不需要” 😊

我的观点是，仅仅因为一个语言特性方便，并不意味着它是必需的，并且它可能会给语言增加杂乱。毕竟，现在大多数IDE都可以插入代码片段，甚至直接为你写代码！ 我不希望看到Go因为大量的语法包袱而变得杂乱。我喜欢它那令人耳目一新的简洁方法。

Go语言在1.18版本正式引入泛型，虽然比其他语言晚，但时机很合适。Go的泛型设计强调简洁性和可读性，通过类型参数和约束实现。例如：

package main

import "fmt"

func PrintSlice[T any](s []T) {
    for _, v := range s {
        fmt.Println(v)
    }
}

func main() {
    PrintSlice([]int{1, 2, 3})
    PrintSlice([]string{"a", "b", "c"})
}

错误处理方面，Go采用多返回值模式，鼓励显式处理错误：

func Divide(a, b float64) (float64, error) {
    if b == 0 {
        return 0, fmt.Errorf("division by zero")
    }
    return a / b, nil
}

result, err := Divide(10, 2)
if err != nil {
    log.Fatal(err)
}

Go的泛型实现避免了过度复杂化，保持了语言的一贯哲学。错误处理机制虽然简单，但通过显式错误返回确保了代码的可靠性。这些特性使Go在系统编程和云原生领域继续保持竞争力。

回到顶部