c++ - 不允许临时绑定(bind)到初始化列表中的引用的理由是什么？

Question

简单的例子:

struct A
{
   A() : i(int()) {}
   const int& i;
};

来自 gcc 的错误:

a temporary bound to 'A::i' only persists until the constructor exits

来自 12.2p5 的规则:

A temporary bound to a reference member in a constructor’s ctor-initializer (12.6.2) persists until the constructor exits.

问题

有人知道这条规则的基本原理吗？在我看来，让临时对象存活到引用消失会更好。

Answer 1

我认为不扩展到对象生命周期不需要理由。反之亦然!

临时对象的生命周期扩展仅扩展到封闭范围，这既自然又有用。这是因为我们对接收引用变量的生命周期有严格的控制。相比之下，类成员根本不在“范围内”。想象一下:

int foo();
struct Bar
{
    Bar(int const &, int const &, int const &) : /* bind */ { }
    int & a, & b, & c;
};

Bar * p = new Bar(foo(), foo(), foo());

为 foo() 临时对象定义有意义的生命周期延长几乎是不可能的。

相反，我们有默认行为，即 foo() 临时对象的生命周期延伸到包含它的完整表达式的末尾，不再延伸。