C++：含全分支return的switch函数是否需在末尾追加额外return

语法层面：完全没有必要 #

按照C语言的语法规则，你当前的写法完全合规，不需要在switch块之后额外添加return语句。
原因很直接：这个switch结构覆盖了x的所有可能取值——三个明确的case对应0、1、2的入参，剩下所有其他合法的int类型入参都会匹配default分支，而每个分支都内置了return返回值。也就是说程序控制流进入switch之后，必然会命中某一个分支并触发return退出函数，永远不可能执行到switch块后面的代码，根本不存在“非void函数执行到末尾却没有返回值”的未定义行为风险。
这也是你的编译器没有报错的核心原因：主流编译器的静态路径分析，完全可以识别出“所有可能的输入都会触发switch分支的return，没有路径会走到函数末尾”的逻辑，自然不会抛出control reaches end of non-void function这类警告。

实际开发中的常见选择 #

很多工程师写类似逻辑时，会主动在switch后面补一个和default返回值一致的兜底return，这属于工程层面的防御性编码习惯，和语法要求无关：

• 降低后续维护风险：如果后续修改switch逻辑时，不小心删掉了某个case或default里的return语句，函数末尾的兜底return可以避免出现漏返回的未定义bug
• 兼容老旧工具：部分老旧版本的编译器、代码检查工具，对全路径返回的判断能力不足，就算逻辑上走不到函数末尾，也可能误报漏返回的问题，加个兜底return可以消掉这类误报
• 统一编码风格：不少团队会强制要求所有非void函数的定义块最末尾有明确的return语句，不管逻辑上是不是可达，减少团队内的代码风格分歧

容易混淆的场景 #

要注意这个“不需要补return”的结论，只适用于“switch覆盖所有可能输入、且所有分支都带return”的情况。如果switch没有写default分支、或者存在分支会fallthrough穿透到switch块外面，那函数末尾必须补return，否则就是语法不合法的写法。

内容的提问来源于stack exchange，提问作者Eduard Morecat