const 引用作为类成员

Question

即使这个话题在这里讨论过很多次，我也找不到关于我的具体案例的结论性解释。 const 会延长 RefTest 临时的生命周期吗？下面的例子合法吗？

#include <iostream>

class RefTest
{
public:
    RefTest(const std::string &input) : str(input) {}
    ~RefTest () {std::cout << "RefTest" << std::endl;}
private:
    std::string str;
};

class Child
{
public:
    Child (const RefTest &ref) : ref_m(ref) {}
    ~Child () {std::cout << "Test" << std::endl;}
private:
    const RefTest &ref_m;
};

class Test
{
public:
    Test () : child(RefTest("child")) {}//Will the temporary get destroyed here?
    ~Test () {std::cout << "Test" << std::endl;}
private:
    const Child child;
};

int main ()
{
   Test test;
}

Answer 1

引用不会延长生命周期。该代码是合法的，但这只是因为您在构造函数完成后永远不会访问ref_m。

临时绑定到构造函数参数ref。稍后绑定另一个引用 ref_m 不会延长生命周期。如果是这样，您将在堆栈上有一个对象，只要它绑定到的引用成员就必须持续存在，该引用成员可以在堆上分配，因此编译器将无法在构造函数返回时展开堆栈。

收到警告会很好，但编译器并不完美，有些事情很难警告。临时文件是在与它绑定到引用的地方不同的上下文中创建的，因此编译器只能判断打开了 inlinging 或一些巧妙的静态分析存在问题。

Answer 2

C++ 标准规定：

第二个上下文是引用绑定到临时的。这 引用绑定到的临时对象或临时对象 将临时对象绑定到子对象的完整对象 除非下面指定，否则在引用的生命周期内持续存在。 临时绑定到构造函数中的引用成员 ctor-initializer (12.6.2) 持续存在，直到构造函数退出。 A 临时绑定到函数调用中的引用参数 (5.2.2) 一直持续到包含 打电话。

注意：顺便说一句，这是重复的（1，2），你应该更好地搜索，下次......:)