C++ 将引用成员绑定到构造函数参数

Question

在 gcc 8 上运行以下代码时（https://wandbox.org/，使用“g++ prog.cc -Wall -Wextra -std=c++1z”）：

#include <iostream>

class B{
public:
    B(): copy(false){ std::cout << "B-constructed" << std::endl;}
    B(const B& b): copy(true){ std::cout << "B-copy-constructed" << std::endl; }
    ~B(){ std::cout << (copy?"B-destructed":"B-(copy)-destructed") << std::endl;}

    bool copy;
};

class A{
public:
    A(B b): bref(b){std::cout << "A-constructed" << std::endl;}
    ~A() {std::cout << "A-destructed" << std::endl;}
    B &bref;
};


void f(){
    B b;
    A a(b);

    std::cout << "f over" << std::endl;
}

int main()
{
    f();

    std::cout << "main over" << std::endl;
    return 0;
}

产生以下输出：

B-constructed
B-copy-constructed
A-constructed
B-destructed
f over
A-destructed
B-(copy)-destructed
main over

对象销毁的顺序似乎不寻常。就好像构造函数的参数的生命周期被延长了。标准是否说明了将成员引用绑定到构造函数参数？

我认为标准中的这句话不适用，因为参数不是临时对象（但是我不知道“临时表达式”的定义）：

绑定到 mem-initializer 中的引用成员的临时表达式格式不正确。 [ 例子：

结构 A {

A() : v(42) { } // 错误

const int& v;

};

——结束示例]

Answer 1

你的析构函数有一个逻辑错误，因为当copy 错误时，你打印出一个副本被破坏。

改变这个：

~B(){ std::cout << (copy?"B-destructed":"B-(copy)-destructed") << std::endl;}

到这里：

~B(){ std::cout << (copy?"B-(copy)-destructed":"B-destructed") << std::endl;}

现在输出：

B-constructed
B-copy-constructed
A-constructed
B-(copy)-destructed
f over
A-destructed
B-destructed
main over

简洁明了 (Order of member constructor and destructor calls)。

---

标准是否说明了将成员引用绑定到构造函数参数？

类似地，在对象的生命周期开始之前但在对象的生命周期开始之后 对象将占用的存储空间已被分配，或者在 对象的生命周期已经结束并且在存储之前 被占用的对象被重用或释放，任何引用 可以使用原始对象，但只能以有限的方式使用。对于一个对象 正在建设或销毁，请参阅 [class.cdtor]。否则，这样的 一个glvalue是指分配的存储 ([basic.stc.dynamic.deallocation])，并使用 不依赖于其值的 glvalue 是明确定义的。

Source