为什么要在Ideone上编译？

Question

好的，所以我在Ideone上乱搞并意外地提交了这段代码，但令我惊讶的是它实际编译并运行输出值为0， 这里 。

#include <iostream>

using namespace std;

const int five(  )
{
        const int i = 5;
}

int main() {
        cout << five(  ) << endl;
        return 0;
}

然后我在Visual Studio中尝试了这个，然而在Codepad上，两个都无法编译，因为five()没有返回值，正如人们所期望的那样。 我的问题当然是，为什么这个在Ideone上编译正常，即使代码，我的理解是错误的，不应该编译。

Answer 1

简单而简单（来自C ++ 11 6.6.3“返回语句”）：

流出函数末尾相当于没有值的返回; 这会导致值返回函数中的未定义行为。

所以编译器几乎可以做任何想做的事情。 显然，诊断是我更喜欢编译器的东西，但有时很难诊断（比如返回是在条件逻辑中，并且永远不会达到函数的'结束'）。

请注意，我使用GCC 4.6.1（使用Wall选项）收到以下警告：

test.cpp:8:1: warning: no return statement in function returning non-void [-Wreturn-type]

我不知道什么ideone传递给GCC的选项（我想象-Wall会做与ideone使用4.3.4版本相同）。

一些相关信息：

在C中，声明返回值的函数在某些情况下实际上不会这样做是可以的。 在C中，如果实际使用了函数的返回值，它只会导致未定义的行为。 预标准C并不总是支持void类型，因此未返回任何内容的函数通常被声明为显式或隐式返回int 。 从C99 6.9.1 / 12“函数定义”：如果到达终止函数的} ，并且调用者使用函数调用的值，则行为未定义。

另外，正如一些注释中所提到的，流出main()的末尾是由C ++和C99以及后来专门处理的。

Answer 2

不从非void函数返回值是错误的，但并非所有编译器都将其视为错误 - 例如，GCC在遇到此错误时仅发出警告。 其他编译器可能是偏执的（并且它们是正确的）并且不允许您编译这样的代码。 当然，可以使用不同的开关和选项修改编译器行为。

返回值0只是一个随机值 - 它可能同样是255，-1或任何其他垃圾，因为这样做是未定义的行为（除了main，C99指定应该假定隐式0返回值） 。

Answer 3

似乎ideone不显示警告，它只在出现错误时显示编译器输出。 在ideone正在使用的GCC版本（gcc 4.3）上，这不是错误，它只是一个警告。

Answer 4

代码具有未定义的行为。 即使您正在做的事情是错误的，编译器也不需要诊断它。 另一点是，ideone使用的是现在相当古老的gcc版本。 一个合理的当前版本的gcc（例如，4.7）将至少给你一个警告，声明你的函数被声明为返回一个值，但不是 - 但默认情况下不是。 你必须用类似-Wall东西来打开警告（但作为一般规则，我总是至少使用-Wall和gcc）。