三元表达式的介绍在这里:
官方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 。
因为三元表达式是一个表达式,必然是允许嵌套的。
不过我觉得嵌套不是问题的本质,函数也能导致嵌套的滥用。
但是不能因为滥用的行为来排斥有存在价值的语法(比如三元表达式)。
有疑问加站长微信联系(非本文作者)