Go 中的 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

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