c++ - 为什么我的程序在 O0 和 O2 的优化级别返回不同的结果

Question

这是我的代码:

#include<iostream>

const int & Min(const int& a, const int& b);


int main() {
    using namespace std;

    auto&& val = Min(1,2);

    cout << val << endl;
    return 0;
}


const int & Min(const int& a, const int& b) {
    return a < b ? a : b;
}

如果我用 O0 选项编译它，g++ -O0 main.cpp -o main，结果是 1。如果我使用 O2 选项编译，g++ -O2 main.cpp -o main，结果将是 0。

为什么这会给出不同的结果？

Answer 1

您的代码有 undefined behavior .

对于Min(1,2);，构造了两个从1和2初始化的临时对象，然后绑定(bind)到引用参数a 和 b。请注意，临时对象会立即被销毁(在完整表达式之后)。 Min() 通过引用返回 a 或 b；这意味着返回的引用总是悬挂的，对它的取消引用会导致 UB，即一切皆有可能。

编辑

文字(如1 和2)不能直接绑定(bind)到引用，temporary是需要的，

Temporary objects are created when a prvalue is materialized so that it can be used as a glvalue, which occurs (since C++17) in the following situations:

• binding a reference to a prvalue