为何golang中不存在三元运算符

三元运算符普遍存在于其余语言中，好比：

python：

val = trueValue if expr else falseValue

javascript：

const val = expr ? trueValue : falseValue

c、c++：

const char *val = expr ? "trueValue" : "falseValue";

然而，被普遍支持的三目运算符在golang中倒是不存在的！若是咱们写出相似下面的代码：

val := expr ? "trueValue" : "falseValue"

那么编译器就该抱怨了：invalid character U+003F '?'。意思是golang中不存在?这个运算符，编译器不认识并且非字母数字下划线也不能用作变量名，天然也就看成是非法字符了。

然而这是为何呢，其实官方给出了解释，这里简单引用一下：

The reason ?: is absent from Go is that the language's designers had seen the operation used too often to create impenetrably complex expressions. The if-else form, although longer, is unquestionably clearer. A language needs only one conditional control flow construct.

golang中不存在?:运算符的缘由是由于语言设计者已经预见到三元运算符常常被用来构建一些极其复杂的表达式。虽然使用if进行替代会让代码显得更长，但这毫无疑问可读性更强。一个语言只须要有一种条件判断结构就足够了。

毫无疑问，这是在golang“大道至简”的指导思想下的产物。

这段话其实没问题，由于某些三元运算符的使用场景确实会下降代码的可读性：

const status = (type===1?(agagin===1?'再售':'已售'):'未售')

const word = (res.distance === 0) ? 'a'
    : (res.distance === 1 && res.difference > 3) ? 'b'
    : (res.distance === 2 && res.difference > 5 && String(res.key).length > 5) ? 'c'
    : 'd';

乍一看确实很复杂，至少第二个表达式不花个20秒细看可能无法理清控制流程（想象一下当缩进错位或是彻底没有缩进的时候）。

若是把它们直接转化成if语句是这样的：

let status = ''
if (type === 1) {
    if (again === 1) {
        status = '再售'
    } else {
        status = '已售'
    }
} else {
    status = '未售'
}

let word = ''
if (res.distance === 0) {
    word = 'a'
} else {
    if (res.distance === 1 && res.difference > 3) {
        word = 'b'
    } else {
        if (res.distance === 2 && res.difference > 5 && String(res.key).length > 5) {
            word = 'c'
        } else {
            word = 'd'
        }
    }
}

看起来并无多少的改善，特别是例2，三层嵌套，不论是谁review到这段代码不免不会抱怨你几句。

然而事实上这些代码是能够简化的，考虑到三元运算符老是会给变量一个值，所以最后的else其实能够看做是变量的默认值，因而代码能够这么写：

let status = '未售'
if (type === 1) {
    if (again === 1) {
        status = '再售'
    } else {
        status = '已售'
    }
}

let word = 'd'
if (res.distance === 0) {
    word = 'a'
} else {
    if (res.distance === 1 && res.difference > 3) {
        word = 'b'
    } else {
        if (res.distance === 2 && res.difference > 5 && String(res.key).length > 5) {
            word = 'c'
        }
    }
}

其次，对于例2，显然可使用else if来清除嵌套结构：

let word = 'd'
if (res.distance === 0) {
    word = 'a'
} else if (res.distance === 1 && res.difference > 3) {
    word = 'b'
} else if (res.distance === 2 && res.difference > 5 && String(res.key).length > 5) {
    word = 'c'
}

如今再来看，显然使用if语句的版本的可读性更高，逻辑也更清晰（经过去除嵌套）。

然而事实也不尽然。除了用三元运算符表达流程控制以外，事实上更常见更普遍的一个应用是以下这样的表达式：

const val = expr ? trueValue : falseValue

const func = (age) => age > 18 ? '成年人' : '未成年人'

相似上述经过一个简短的条件表达式来肯定变量的值，在开发中的出现频率是至关高的。这时三元运算符的意图更清晰，可读性也较if语句更高，特别是配合匿名函数（lambda表达式）使用能够极大简化咱们的代码。

对此python的解决之道是之支持上述的简化版三元表达式，同时表达式不支持嵌套，达到了扬长避短的目的。不过代价是编译器的相关实现会复杂化。

而对于golang来讲一个简单的能只经过单遍扫描便可完成ast构建的编译器是其保持急速的构建速度的秘诀之一，为了这样简单的功能增长编译器实现的复杂度是不可接受的。同时因为golang“大道至简”的哲学，能用现有语法结构解决的问题，天然不会再添加新的语法。

不过仍是有办法的，虽然不推荐：

func If(cond bool, a, b interface{}) {
    if cond {
        return a
    }

    return b
}

age := 20
val := If(age > 18, "成年人", "未成年人").(string)

不推荐这么作是有几个缘由：

1. 使用接口致使性能降低
2. 须要强制的类型断言
3. 无论三元表达式仍是if语句，对于不会到达的分支是不会计算的，也就是惰性计算;而给函数传递参数时每个表达式都会被计算

最后总结一下：

三元运算符的优势：

• 对于简短的表达式使用三元运算符表意更清晰，特别是在习惯了线性阅读三元运算符表达式以后
• 不须要中间状态（例如第一个例子中的let变量能够替换为const，代码更健壮），心智负担更低
• 没有中间状态也就意味着更少或彻底没有反作用，代码更易跟踪和维护

但三元运算符也有明显的缺点：

• 对于复杂逻辑代码可读性较差（例如第一个例子中的status，须要在trueValue的位置进行进一步的条件判断时）
• 容易被滥用，不少人将其用于替代if语句或是简化复杂的if嵌套，这会致使上一条中所描述的结果
• 条件分支只能为表达式，不支持多条语句

因此这是一个见仁见智的问题，总之只能入乡随俗了。

参考

https://juejin.im/post/6844903561759850510

https://www.it-swarm.dev/zh/javascript/替代js中的嵌套三元运算符/1055944752/

https://golang.org/doc/faq#Does_Go_have_a_ternary_form