c++ - 为什么允许在构造函数中对临时变量进行C++引用？

Question

在下面的代码示例中，对bar变量的引用是否无效，因为该变量是本地变量？构造函数返回后，是否不删除bar变量？此后引用会发生什么？

class Foo
{
public:
    Foo(int bar) : bar_(bar)
    {
    }

    int &bar_;
};

Foo foo{456};

int main()
{
    std::cout << foo.bar_ << std::endl;
    // output: 456
    return 0;
}

(此代码使用 g++ -Wall -Wextra编译时没有错误或警告)

Answer 1

简短的答案是您的分析基本上是正确的。 bar_将是一个悬挂的引用，因为它的引用将在ctor返回时被销毁。

一些编译器(特别是clang)会警告您这一点:

foo.cpp:6:25: warning: binding reference member 'bar_' to stack allocated
      parameter 'bar' [-Wdangling-field]
    Foo(int bar) : bar_(bar)
                        ^~~
foo.cpp:10:10: note: reference member declared here
    int &bar_;
         ^
1 warning generated.

我的个人建议是安装并定期至少使用几个不同的编译器，并在每个虚拟机上启用(实际上是？)所有警告，以帮助捕获此类问题。像cppcheck这样的类似于Lint的工具也很有用。