Go语言条件分支穷尽仍报函数末尾缺少返回值错误问题

问题复现代码 #

package main

import (
    "fmt"
)

func main() {
    fmt.Println(test(1, 2))
}

func test(a, b int) bool {
    if a == b {
        return true
    }
    if a > b {
        return true
    }
    if a < b {
        return false
    }
}

报错信息 #

编译运行上述代码时，会抛出如下错误：

./main.go:21:1: missing return at end of function

核心疑问 #

test函数内的条件判断已经覆盖了两个int类型入参a、b比较的所有可能场景（相等、大于、小于），每个条件分支均编写了对应的return返回语句，为什么编译器仍然要求在函数末尾补充返回语句？

问题原因 #

这个报错来自Go编译器的静态检查规则设计限制：

• Go编译器刻意没有实现跨独立if分支的语义穷尽推导，不会去分析a == b、a > b、a < b这类条件是不是在逻辑上互斥、是不是覆盖了所有可能的取值场景——这类推导会大幅增加编译器的实现复杂度，拖慢编译速度，还容易出现规则不一致导致的预期外错误。
• 编译器的返回检查逻辑非常直白：对于声明了返回值的函数，必须保证所有可静态扫描到的执行路径最终都能走到返回语句。在扫描你写的test函数时，它看到的是三个平级的独立if判断，默认会存在“三个if条件都不命中、函数直接走到末尾”的路径，这条路径下没有返回语句，就会直接抛出编译错误。

修复方式 #

不需要保留三个独立的if判断，直接去掉最后一个冗余的if a < b分支，在函数末尾直接返回对应值即可，逻辑和原写法完全一致，也能通过编译检查：

func test(a, b int) bool {
    if a == b {
        return true
    }
    if a > b {
        return true
    }
    return false
}

也可以把最后一个分支改为else块，编译器也能识别到全分支都有返回，但这种写法不如上面的简洁。

内容的提问来源于stack exchange，提问作者shuangyang qian