Arr*_*rrr 1 for-loop go control-flow
我注意到，当我编写以下代码时，编译器会生成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
}
}
第一个代码在逻辑上和技术上都很好，因为该方法不可能无法返回。编译器显示该错误有什么原因吗？或者这是某种缺失的逻辑或错误？
将 @Cerise Lim\xc3\xb3n\ 的评论扩展为答案，“第一个代码是..技术上很好”的断言是错误的。
\nGo语言规范是这样说的：
\n\n\n如果函数的签名声明了结果参数，则函数体的语句列表必须以终止语句结束。
\n
还有这个：
\n\n\n[终止语句包括]“for”语句，其中：
\n
- 没有引用“for”语句的“break”语句，并且
-不存在循环条件，并且
- “for”语句不使用范围子句。
（重点是我加上的）
\n检查第一个函数中的代码，我们可以看到不满足规范的这些条件：
\nfunc TestMethod() int {\n for i:= 0; i < 10; i++ {\n return 0\n }\n}\n该函数有一个结果参数（int返回值），因此必须以终止语句结束，但该函数的最终语句是带有条件的for语句，这不是规范所定义的“终止语句”。
这可能看起来很奇怪，但实际上在技术上是正确的。
\n那么为什么第二个函数没问题呢？
\nfunc TestMethod() int {\n for {\n return 0\n }\n}\n在这种情况下，该函数中的最终语句是for无条件且无引用 for 循环的break语句 ，满足终止语句的语言规范定义。
工作中有逻辑。
\n如果for没有条件的语句包含 a break，则循环可能终止，因此函数需要 return 语句。
如果for没有条件的语句不包含a break（并且没有return语句），则循环将不会终止（至少不会作为需要函数返回值的正常执行路径的结果）。
另外值得注意的是，没有控制流分析来确定任何break语句是否可达；他们只需要存在。例如，以下内容也会触发“缺少返回”编译错误，即使break明显无法访问：
func foo() int {\n for {\n if false {\n break\n }\n return 0\n }\n // <-- error: missing return\n}\n