Go语言的三元表达式

Tue, 25 Feb 2014 00:00:00 +0000

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

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 。因为三元表达式是一个表达式，必然是允许嵌套的。

不过我觉得嵌套不是问题的本质，函数也能导致嵌套的滥用。但是不能因为滥用的行为来排斥有存在价值的语法（比如三元表达式）。

Tenary on chai2010 的博客

Go语言的三元表达式