调用抛异常函数时出现「并非所有控制路径都返回值」问题

示例代码 #

int foo() { throw 0; }
int bar() { foo(); }

上述代码中，foo不会触发警告，但bar会报错「必须返回值」；通常若bar包含部分return语句，会触发「并非所有控制路径都返回值」警告。

问题解答 #

一、为何间接抛出异常不被视为合法的函数退出方式？

C++编译器对函数控制流的分析是局部性的，它不会深入追踪被调用函数的内部实现逻辑。对于bar函数，编译器看到的是它调用了foo，但默认会假设foo有可能正常返回（即便foo实际只会抛出异常）。由于bar在调用foo后没有显式的return语句，编译器判定存在未返回值的控制路径，因此触发警告。

从标准角度看，非void返回类型的函数要求所有控制路径都必须返回对应类型的值，除非编译器能明确判定函数会通过其他方式（比如抛出异常、调用终止函数）退出。但默认情况下，编译器不会跨函数推导这种行为。

二、仅修改foo的解决方法

给foo添加C++11引入的[[noreturn]]属性，明确告诉编译器：这个函数永远不会正常返回，要么抛出异常，要么直接终止程序。

修改后的foo代码如下：

[[noreturn]] int foo() { throw 0; }

添加该属性后，编译器会知晓bar调用foo后不会继续执行后续代码，因此不会再对bar触发返回值相关的警告。

实际场景适配 #

针对你的ThreadSafeExit函数，仅在末尾加throw 0无效的原因是：编译器不知道Exit函数本身是否会正常返回，而且如果Exit已经直接终止了程序，后续的throw根本不会执行。正确的做法是给ThreadSafeExit添加[[noreturn]]属性，明确告知编译器该函数不会正常返回，这样就能消除相关警告。

内容的提问来源于stack exchange，提问作者H.v.M.