GO有语法缺陷，缺少泛型、public/private、三元运算符？我不喜欢 Go 语言的十个理由

Go 语言有多火爆？国外如 Google、AWS、Cloudflare、CoreOS 等，国内如七牛、阿里、知乎等都已经开始大规模使用 Go 语言开发相关产品，可以说它是近来风头最盛的编程语言之一。但再好的编程语言也不会是完美的编程语言，本文作者 Lawrence 使用了三年 Go 语言，并在这三年间参与了几个大型 Go 语言项目，但三年后他彻底放弃 Go 语言，而且不打算在新项目中使用它。

Go 语言带给他的总体印象是：“好的方面非常好，不好的方面实在令人无法忍受”。Lawrence 在一篇博客文章中列出了他不再喜欢 Go 语言的十大理由，这篇文章很快在 HackerNews 上引发热议，下面就让我们一起来看看这十个理由到底有哪些。

1. Go 语言使用首字母大小写来决定标识符的可见性

以小写字母开头的标识符在包内可见，以大写字母开头的标识符是公开的。这样做可能是为了省掉 public 和 private 关键字，但是，首字母大写已经被用来表示其他意思——比如类名的首字母是大写的，常量完全是大写的。对于我来说，使用完全小写的字母来定义全局常量实在是有点不适应。

如果你要定义私有结构体，情况会变得更加糟糕，因为你必须使用小写字母。例如，你可能有一个结构体叫作 user，那么你会怎么定义这个结构体的变量呢？你可能会把它叫作 user，这样看起来是不是有点奇怪？因为变量的名字跟结构体的名字是一样的，而且如果编译器也搞不清楚哪个是哪个，就会抛出编译错误。

复制代码

type user struct {

name string

}

func main() {

var user *user

user = &user{} // Compile error

}

Go 语言通常会使用比较短的命名方式，比如 u。但是，35 年前，当我还在使用古董机 TRS-80 Basic 的时候就已经不再使用这种单字母的命名方式了。

当然，也有一些与实际开发相关的考虑。比如经常会出现这样的情况：刚开始定义了一个私有字段或结构体，后来需要把它们变成公开的，这样就不得不把所有使用这些标识符的地方都修改一遍。即使你不需要把它们变成公开的，但如果要使用 json 包来序列化它们，也不得不这么做。我就曾经定义过一个包含 74 个私有字段的结构体，因为要使用 json 序列化，不得不把所有字段都变成公开的，并且修改了所有使用这些字段的地方。

通过首字母大写的方式来决定可见性有一定的局限性（要么包内可见，要么公开）。例如，我经常需要使用文件内部可见的私有标识符，但目前 Go 语言不太可能引入这样的东西。

2. 在 Go 语言里，结构体不会显式声明它实现了哪些接口，而是通过匹配方法签名来辨别

这种设计犯了一个根本性的错误：它假设两个方法如果有相同的签名就表示有相同的契约。在 Java 中，如果一个类实现了一个接口，它会告诉编译器它实现了接口的所有方法。如果一个方法返回布尔类型，接口的注释会写清楚它的值代表什么意思（比如，true 表示成功，false 表示失败）。

但是，Go 语言的结构体可能一方面实现了同样的接口，但返回值的意思却是相反的。具体怎么实现可以自由发挥，因为并没有接口声明约束。当然，在 Java 里也可以这么做，但这很显然就是一个 bug。而在 Go 语言中，一个程序员可能在没有验证方法兼容性的情况下将一个对象转成某个接口，这样很容易引入潜在的 bug。验证兼容性的负担不应该强加给 API 使用者，应该由结构体的实现者承担，并在代码中声明清楚。

3. Go 语言中没有异常，而是通过多个返回值来返回错误

开发者会容易忘了检查返回值里是不是包含了错误。

复制代码

在这个语句里，DELETE 拼写错误，但没有任何消息告诉你出了什么问题。如果这个语句是一个大型事务的一部分，那么整个事务就什么事都不会做。通过返回值表示错误不是个问题，但程序员必须去检查返回值，或者把它赋值给 _。

另外，看一下这个语句：

复制代码

它并不保证 user 或 err 会包含正确的值。user 有可能没有被赋值（于是读取这个变量就会出现警告），而如果使用了联合类型，编译器只保证正确的那个可以被访问。

4. Go 语言里有很多“神奇”的行为

例如，如果我把源码文件命名为 i_love_linux.go，在 Mac 上就编译不过去。而如果我凑巧把一个函数名定义成 init()，在运行时它会自动被调用。这些都是“约定俗成而非配置（convention over configuration）”的表现。对于小型项目来说，这些都无关键要，但在大型项目中，它们会给你带来大麻烦。

5. 因为 Go 语言的首字母大写约定，很容易出现很多相同的标识符

比如，一些包名、结构体名和变量名都叫作 item。在 Java 中，包名使用了全限定名，类名首字母是大写的。有时候，我觉得 Go 代码不好阅读，因为可能无法一下子看出一个标识符的作用域是怎样的。

6. 要进行 Go 代码自动生成并不容易

编译器太过敏感，一些未被使用的导入和变量也会导致构建失败。在生成大型文件时，它在一开始可能并不知道需要导入那些包，而且可能会出现包名冲突，这种冲突也不好处理，因为即使你知道包名，却不知道导入的符号来自哪里。即使你知道，生成的代码为了避免冲突也会强制使用别名。在 Java 中，这些问题可以通过使用全限定类名来解决，而在 Go 语言中是不能这样做的。

7. Go 语言没有三元运算符（?:）

C 语言风格的编程语言都提供了这个运算符。在使用 Go 语言时，我无时不刻都在想念着这个运算符。当每个人都觉得这个运算符很有用的时候，Go 语言却把它移除掉了。原来很优雅的语句，比如：

复制代码

不得不写成这样：

复制代码

var serializeType model.SerializeType

if showArchived {

serializeType = model.SerializeAll

} else {

serializeType = model.SerializeNonArchivedOnly

}

8. sort 接口很笨

如果你有 10 个不同的结构体需要排序，必须写 30 个函数，其中有 20 个是几乎一样的。而且代码写起来很麻烦，你或许可以把它们委托给另一个 Less()，但你必须保证 Len() 和 Swap() 是兼容的。而且这样的代码看起来很奇怪，转型看起来像是在调用函数：

复制代码

9. 缺少泛型

我真的不想使用一门无法实现 Stack 泛型类的语言。临时的解决方案是使用 append() 函数替代，但现在都什么年代了，我可不想写像下面这样的代码：

复制代码

stack = append(stack, object)

object = stack[len(stack) - 1]

stack = stack[:len(stack) - 1]

我很好奇究竟有多少第三方库使用了 interface{}。可见 Go 语言的类型系统设计得非常糟糕。

10. 这是个小问题，但足以说明 Go 语言设计者没有完全站在程序员的角度考虑问题

append() 函数用于扩展一个数组，然后返回新数组：

复制代码

但下面这行代码总是能够调用成功：

复制代码

函数在可能的情况下进行原地数组修改，如果没有足够的空间就返回一个新的数组。这样的 API 设计真是再糟糕不过了。有多少 bug 是因为忘记把结果赋值给变量引起的？有很多。因为即使是在测试时也不一定会触发数组调整大小（这里需要说明一下，后来他们修改了编译器，如果 append() 函数没有被赋值给变量，就抛出错误）。

总 结

这是我个人对使用 Go 语言的一些建议：如果你的程序很小，基本上可以说清楚要实现什么功能，并且不会与太多外部数据（数据库、Web 等）打交道，那么使用 Go 语言是没有问题的。如果程序很大，有很复杂的数据结构，或者需要处理大量的外部数据，那么 Go 语言的类型系统会让你抓狂，你最好选择其他静态类型的语言（类型系统比较完善）或者动态语言（不会碍手碍脚）。

网友热议虽然这篇文章并非最近刚刚发布，但它这一次登上 HackerNews 后依然引发了网友的热烈讨论，收获了数百个讨论并在很短的时间里再次登上 HackerNews 热度榜。有的网友对作者的观点表示认同，并表示虽然会将 Go 语言作为一种备用的编程语言，但如无必要不会再去用它。有的网友则觉得作者提出的大部分缺点都不是问题，并希望 Go 语言保持初心，不要随意修改。以下是我们整理的网友精彩评论。