三元表达式的介绍在这里:

官方FAQ推荐的做法是用 if 代替：

if expr {

n = trueVal

} else {

n = falseVal

}

不过用 if 的问题是变量 n 有作用域问题.

我们需要在 if 之前先定义变量 n，这样才可以在 if 语句之后使用变量 n。

var n int

if expr {

n = trueVal

} else {

n = falseVal

}

println(n)

本来一个简单的 n := expr? trueVal: falseVal 就能够表达的问题，变的复杂了很多。

这和Go所追求的简单思路是有冲突的。

类似的有 max/min 等函数。因为这类函数使用频度比较高，在很多pkg的内部都定义了私有的实现。

func max(a, b int) int {

if a < b {

return b

}

return a

}

熟悉Go语言的用户应该可以发现，这个 max 只支持 int 类型。

对于支持泛型的C++语言来说，max 一般被实现为一个模板函数：

template

const T& max (const T& a, const T& b) {

return (a

}

在C++版本中，不仅用到的泛型T，还依赖 a

在C语言中，虽然没有泛型和运算符重载，但是三元表达式也具备全部的特性(因为表达式天生就是支持泛型的)。

而这些都是Go语言中缺少的特性。

不过在Go语言中可以模拟一个更普通的函数(If 的首字母大写，是函数名，不是 if 关键字)：

func If(condition bool, trueVal, falseVal interface{}) interface{} {

if condition {

return trueVal

}

return falseVal

}

a, b := 2, 3

max := If(a > b, a, b).(int)

println(max)

有几个关键点：

Go不支持运算符重载，因此需要先将 a

Go不支持泛型，只能用 interface{} 模拟

返回的类型安全需要用户自己保证，.(type) 的类型必须匹配

interface{} 是运行时泛型，性能没有编译时泛型高

由此可见，?: 不仅仅是一个简单的三元表达式。其实它更像一个内置的泛型版的函数(因为表达式天生就是支持泛型的)。

期望未来的Go版本中，能完善对 ?: 三元表达式 和 编译时的泛型 的支持。

补充：

星星 同学的提示：可能会导致深入嵌套的滥用： c?d?e?0:1:2:3 。

因为三元表达式是一个表达式，必然是允许嵌套的。

不过我觉得嵌套不是问题的本质，函数也能导致嵌套的滥用。

但是不能因为滥用的行为来排斥有存在价值的语法(比如三元表达式)。

有疑问加站长微信联系(非本文作者)