为什么我的程序在 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初始化的两个临时对象，然后绑定到引用参数a和b。请注意，临时对象会立即被销毁（在完整表达式之后）。 Min() 通过引用返回 a 或 b；这意味着返回的引用总是悬空的，对其取消引用会导致 UB，即一切皆有可能。

编辑

文字（如1 和2）不能直接绑定到引用，而是需要temporary，

临时对象在 when a prvalue is materialized so that it can be used as a glvalue, which occurs (since C++17) 中创建 以下情况：

• 将引用绑定到纯右值