三元表达式的介绍在这里:
Go语言明确不支持三元表达式,这里是相关的讨论:
https://groups.google.com/d/msg/golang-nuts/dbyqx_LGUxM/tLFFSXSfOdQJ
官方FAQ的说明在这里:
http://golang.org/doc/faq#Does_Go_have_a_ternary_form
官方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 <class T>
const T& max (const T& a, const T& b) {
return (a<b)?b:a; // or: return comp(a,b)?b:a; for version (2)
}
在C++版本中,不仅用到的泛型T
,还依赖 a<b
的运算符重载特性。
在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<b
在函数外转换为bool
条件 - Go不支持泛型,只能用
interface{}
模拟 - 返回的类型安全需要用户自己保证,
.(type)
的类型必须匹配 interface{}
是运行时泛型,性能没有编译时泛型高
由此可见,?:
不仅仅是一个简单的三元表达式。其实它更像一个内置的泛型版的函数(因为表达式天生就是支持泛型的)。
期望未来的Go版本中,能完善对 ?:
三元表达式 和 编译时的泛型 的支持。
补充:
星星 同学的提示:可能会导致深入嵌套的滥用: c?d?e?0:1:2:3
。
因为三元表达式是一个表达式,必然是允许嵌套的。
不过我觉得嵌套不是问题的本质,函数也能导致嵌套的滥用。
但是不能因为滥用的行为来排斥有存在价值的语法(比如三元表达式)。
有疑问加站长微信联系(非本文作者)