亚马逊开发大神Lawrence：去年我们做重构，从python转向了Go，迁了几个月才发现Go的一些问题，又转向了Jav。现在，我来谈谈不喜欢 Go 语言的十个理由。

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 语言中没有异常，而是通过多个返回值来返回错误。

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

db.Exec("DELTE FROM item WHERE id = 2")

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

另外，看一下这个语句：

user, err := getUserById(userId)

它并不保证 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 = showArchived ? model.SerializeAll : model.SerializeNonArchivedOnly

不得不写成这样：

var serializeType model.SerializeType
if showArchived {
 serializeType = model.SerializeAll
} else {
 serializeType = model.SerializeNonArchivedOnly
}

8. sort 接口很笨。

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

sort.Sort(sort.Reverse(UsersByLastSignedInAt(users)))

9. 缺少泛型。

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

stack = append(stack, object)

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

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

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

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

users = append(users, newUser)

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

append(users, newUser)

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

总 结

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

【扩展阅读：技术反思之路系列】

• Java SpringBoot和SpringMVC有什么区别（中间件系列）
• 为什么MySQL DB不采用Java Kafka的索引机制？
• 我们为什么用gRPC取代了Kafka（Java消息中间件）
• Apache Kafka作者谈架构演进（Java消息中间件）

【扩展阅读：技术CTO之路系列】

• 互联网CTO、怎么才能带好方向
• 你想当CTO、技术总监还是首席架构师？
• 为什么说互联网CTO经常背锅？（技术管理系列）
• 互联网的技术CTO是怎么炼成的、有七种武器
• 投资人喜欢什么样的互联网CTO？（Java技术之路）
• 互联网的技术CTO整天在干啥（Java技术总监之路）
• BAT出来的CTO最容易掉进哪些坑里？（技术总监系列）
• 360技术总监出来当CTO、这半年有什么收获（Java之路）

【扩展阅读：技术总监之路系列】

• 5年从DBA做到技术总监 - 专注的力量
• 互联网的技术总监整天都在干啥
• 阿里JAVA技术总监：什么是该管的事？
• JAVA技术总监刚当不久、犯的4个错误
• JAVA技术总监为什么也会选错技术架构？
• JAVA技术总监：技术团队管理的6大坑
• JAVA技术总监怎么修炼技术领导力
• JAVA技术总监：我用这三招做管理
• 腾讯技术总监：怎么才能带好团队？
• 唱吧技术总监：带团队的4点思考
• 面试一些JAVA技术总监的经历

喜欢关于程序猿成长的内容，可关注我的头条号 “软件真理与光”！