c++ - 为什么我们可以非常量引用临时对象并延长其生命周期？

Question

#include <iostream>

using namespace std;

struct A
{
    A()
        : _p(new int(1))
    {}

    ~A()
    {
        *_p = 0;

        delete _p;
        _p = nullptr;
    }

    int* _p;
};

int main()
{
    //
    // Let r_to_a reference to a temporary object
    //
    A& r_to_a = A();

    //
    // Is r_to_a still valid now?
    //
    cout << *r_to_a._p << endl; // Output : 1 instead of a run-time error
}

正如我所知道的，非常量引用临时对象是不正确的。但是，上面的代码表明它在 C++ 中似乎是合法的。为什么？

我的编译器是 VC++ 2013。

Answer 1

该代码并没有真正表明它在 C++ 中是合法的。它只是表明您的编译器支持非标准编译器扩展。您必须查阅编译器文档以了解临时文件的生命周期是否延长。您的实验似乎表明它已扩展。

不过，您的代码在标准 C++ 中格式不正确。如果您使用选项禁用该编译器中的编译器扩展/Za，它也会拒绝接受您的代码：

error C2440: 'initializing' : cannot convert from 'A' to 'A &'

或者，为避免使用/Za（显然已损坏），您可以这样做

#pragma warning(error : 4239)

或者更改下相应的项目设置，C/C++ -> Advanced -> Treat Specific Warnings As Errors以更有针对性的方式禁止此特定功能。