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

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

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

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

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

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

复制代码

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 语言却把它移除掉了。原来很优雅的语句，比如：

复制代码

不得不写成这样：

复制代码

8. sort 接口很笨

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

复制代码

9. 缺少泛型

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

复制代码

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

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

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

复制代码

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

复制代码

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

总 结

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

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