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

学习Golang要努力，但是不要急！今天的这篇文章《带条件的 for 循环中缺少 return 语句》将会介绍到等等知识点，如果你想深入学习Golang，可以关注我！我会持续更新相关文章的，希望对大家都能有所帮助！

我注意到，当我编写以下代码时，编译器会产生 missing return statements 错误:

// 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
    }
}

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

正确答案

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

Go 语言规范是这么说的：

还有还有这个：

（重点是我添加的）

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

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

该函数有一个结果参数（int 返回值），因此必须以终止语句结束，但该函数的最终语句是 for 语句带有条件，即 不是规范所定义的“终止语句”。

这可能看起来很奇怪，但实际上在技术上是正确的。

奖励材料

那么为什么第二个函数没问题呢？

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

在本例中，该函数中的最终语句是 for，其中无条件 和，没有引用 for 循环的break 语句 ，满足终止语句的语言规范定义。

工作中有逻辑。

如果没有条件的 for 语句包含 break，则循环可能终止，因此该函数需要 return 语句。

如果没有条件的 for 语句不包含 break （并且没有 return 语句），则循环将不会终止（至少不会作为正常执行路径的结果）需要函数返回值）。

还值得注意的是，没有控制流分析来确定任何 break 语句是否可达； 它们只需要存在。例如即使 break 明显无法访问，以下内容也会触发“缺少返回”编译错误：

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

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《带条件的 for 循环中缺少 return 语句》文章吧，也可关注golang学习网公众号了解相关技术文章。