我试图回答this 的问题。正如接受的答案所建议的那样，该代码的问题在于并非所有控制路径都返回一个值。我在 VC9 编译器上尝试了这段代码，它给了我同样的警告。我的问题是为什么只是警告而不是错误？另外，如果不返回值的路径被执行，函数将返回什么（它必须返回一些东西）？它只是堆栈顶部的任何东西，还是再次出现可怕的未定义行为？
【问题讨论】：
标签： c++ compiler-warnings
无法从具有非void 返回类型的函数返回值会导致未定义的行为，但这不是语义错误。
据我所知，其原因主要是历史原因。
C 最初没有void，隐含的int 意味着大多数函数返回int，除非明确声明返回其他内容，即使无意使用返回值。
这意味着很多函数返回一个 int 但没有显式设置返回值，但这没关系，因为调用者永远不会为这些函数使用返回值。
有些函数确实返回了一个值，但使用了隐式的int，因为int 是一个合适的返回类型。
这意味着void之前的代码有很多名义上返回int但可以声明为返回void的函数以及许多其他应该返回int但没有明确方法的函数区别。在任何阶段对所有非void 函数的所有代码路径强制执行return 都会破坏遗留代码。
还有人认为函数中的某些代码路径可能无法访问，但这可能不容易从简单的静态分析中确定，那么为什么要强制执行不必要的return？
【讨论】：
switch，则可以轻松解释静态分析，而强烈建议您提供default，这不是必需的，也可能没有必要......但是如何编译器应该知道吗？另一方面......你应该在编译时将警告视为错误，这样会更好。
我猜这只是一个警告，因为编译器不能总是 100% 确定有可能不返回。
即如果你有：
-= source1.c =-
int func()
{
if(doSomething())
{
return 0;
}
}
-= source2.c =-
int doSomething()
{
return 1;
}
在这种情况下，编译器可能无法知道它总是会返回，但你知道。当然，依靠了解外部代码的工作原理，这是一种糟糕的编程实践。
至于实际返回的内容取决于平台。在 x86 ABI 上，EAX 用于返回值（最多 32 位），因此它将返回放置在该寄存器中的内容（可能是其他东西的返回值、临时值或总垃圾）。
【讨论】：
从技术上讲，如果您调用一个函数并且该函数总是抛出异常，则不能保证一定会出错。例如这里是一些伪代码，你知道 raiseError 总是抛出。
MyClass func( params )
{
if( allIsValid() )
{
return myObject;
}
else
{
raiseError( errorInfo );
}
}
如果编译器看不到 raiseError 的实现，它就不会知道该函数将要抛出。所以实际上这里实际上没有未定义的行为。当然，最好在此处使编译器静音，您可以通过在 raiseError 之后编写“虚拟”返回语句或虚拟“抛出”来做到这一点。我称它们为“哑巴”，因为它们在现实中永远无法触及。 （如果你真的坚持，你也可以压制警告）。但是没有错误或未定义的行为。
【讨论】：
这不是错误的另一个原因
以下内容会给你同样的警告，因为编译器希望你从 catch 块中返回一些东西，即使你在那里扔东西
int foo(){
try{
return bar(0);
} catch(std::exception& ex){
//do cleanup
throw ex;
}
}
int bar(unsigned int i){
if(i == 0){
throw std::string("Value must be greater than 0");
} else{
return 0;
}
}
【讨论】：
另一个例子，某些控制路径不返回值可能是可以的：
enum E : int {A, B};
int foo(E e) {
switch (e) {
case A: return 30;
case B: return 50;
}
}
e 可能不是A 或B，但这意味着它始终是这些值之一。如果是这样，那么代码很好，没有问题。将此警告变为强制性错误将需要不必要的、“无法访问”的混乱。
如果您希望警告仍然是错误，您可以配置您的编译器以使用 /WX 或 -Werror 之类的标志来执行此操作。当然，您应该注意，不同的编译器可能会对无法访问的内容做出不同的决定，因此您可能会为不同的编译器修复不同的东西。
【讨论】：
这不是错误，因为它可能是预期的行为。例如，一些加密库使用未初始化的本地数据作为种子的步骤。由于返回值保存在调用约定和平台特定的位置，这可能有助于一些不寻常的（如上述）情况。在这种情况下，函数返回用于返回返回值的寄存器中剩余的任何内容。
【讨论】：
考虑以下场景：
UINT GenderID(GENDER gender)
{
switch(gender)
{
case MALE:
return MALE_ID;
case FEMALE:
return FEMALE_ID;
}
// default not required because [GENDER] in our 'Matrix' CAN be either M or F
}
C++ 编译器应该让您按照自己的方式拥有“矩阵”；因此它不是错误。
【讨论】：