带条件的 for 循环中缺少 return 语句

Question

我注意到，当我编写以下代码时，编译器会生成

missing return statement error

:

// Similar loops make sense in retry patterns
// but this is just a simple example
func TestMethod() int {
    for i := 0; i < 10; i++ {
        return 0
    }
}

此时以下编译没有任何错误：

func TestMethod() int {
    for {
        return 0
    }
}

第一个代码在逻辑上和技术上都很好，因为该方法不可能无法返回。编译器显示该错误有什么原因吗？或者这是某种缺失的逻辑或错误？

Answer 1

将@Cerise Limón 的评论扩展为答案，“第一个代码是..技术上很好”的断言是错误的。

Go 语言规范是这么说的：

如果函数的签名声明了结果参数，

函数体的语句列表必须以终止语句结束。

还有

还有这个：

[终止语句包括]“for”语句，其中：

- 没有引用“for”语句的“break”语句，并且
-
不存在循环条件，以及 -“for”语句不使用范围子句。

（重点是我添加的）

检查第一个函数中的代码，我们可以看到不满足规范的这些条件：

func TestMethod() int {
    for i:= 0; i < 10; i++ {
        return 0
    }
}

该函数有一个结果参数（

int

返回值），因此必须以终止语句结束，但该函数的最终语句是一个带有条件

的

for

语句，这不是“终止”声明”，如规范所定义。 这可能看起来很奇怪，但实际上在技术上是正确的。

奖励材料

那么为什么第二个函数就可以呢？

func TestMethod() int {
    for {
        return 0
    }
}

在这种情况下，该函数中的最终语句是

for

，其中

无条件

和，其中无break语句引用for循环，满足终止语句的语言规范定义。 工作有逻辑。

如果没有条件的

for

语句包含

break

，则循环

可能

终止，因此该函数需要 return 语句。 如果没有条件的

for

语句包含

break

（并且没有 return 语句），那么循环将不会终止（至少，不会作为需要函数返回值）。还值得注意的是，没有控制流分析来确定任何

break

语句是否可达；

它们只需要存在

。例如即使

break

明显无法访问，以下内容也会触发“缺少返回”编译错误：

func foo() int {
    for {
        if false {
            break
        }
        return 0
    }
    // <-- error: missing return
}