为什么Go语言中++/--不是表达式而是语句？

在Go语言中，自增（++）和自减（--）操作符的使用与其他类C语言（如C或Java）有显著区别。其核心特点在于，它们被设计为独立的语句，而非表达式。

从C语言的一个经典问题说起

如果你是C语言或者Java开发者，一定写过这样的代码：

int a = 1;
int b = a++;  // b是多少？a又是多少？

或者更复杂的：

int c = a++ + ++a;  // 这又是什么结果？

这些代码在C语言中虽然合法，但其结果往往令人困惑。这种困惑不仅让初学者头疼，也经常成为程序员面试中的"陷阱题"。

Go语言的简化与明确设计

Go语言的设计者们决定从根本上解决这个问题。在Go中，++和--只能作为独立的语句使用，不能作为表达式的一部分。

Go语言中的正确写法：

a := 1
a++      // 正确：独立语句
fmt.Println(a)  // 输出：2

// 以下写法在Go中都是错误的：
// b := a++     // 错误：不能用于赋值
// ++a          // 错误：没有前缀形式
// if a++ > 0 { // 错误：不能用于表达式

Go语言对自增自减运算符施加了两个主要限制：

1. 没有前缀形式：只支持a++和a--，不支持++a和--a
2. 只能独立使用：不能作为表达式的一部分，不能用于赋值、不能用于条件判断

为什么Go要这样设计？

1. 提高代码可读性

Go语言的设计哲学强调代码的可读性和明确性。通过消除前缀形式和表达式中的使用，代码的意图变得更加清晰。阅读代码的人不需要纠结于优先级和求值顺序的问题。

2. 避免求值顺序的歧义

在C语言中，b = a++ + ++a这样的表达式求值顺序，可能会导致难以发现的bug。Go通过彻底消除这种用法，从根源上避免了这类问题。

3. 统一编程风格

Go语言强制统一的编码风格。没有多种选择意味着团队协作时不会出现个人偏好的写法差异，代码库风格更加一致。

你可能会问：这种设计会不会限制表达能力？实际上，在日常编程中，这种限制带来的好处远远大于损失。

绝大多数情况下，我们只需要简单的自增操作：

// 循环中的典型用法
for i := 0; i < 10; i++ {
    // 循环体
}

// 计数器增量
count++

这些用法在Go中完全支持，而且更加清晰。对于原本需要复杂表达式的情况，通常可以拆分成多行语句，反而提高了代码的可读性。

写在最后

Go语言将++和--设计为语句而非表达式，不是功能上的缺失，它体现了Go语言对代码可读性、明确性和工程实用性的重视。

以上就是我个人的观点，简单就是复杂性的对立面。Go语言通过限制语言的灵活性，换来了更高的开发效率和可维护性。