const 引用是否绑定到另一个从临时悬空引用投射的引用？

Question

下面是sn-p的代码：

#include <iostream>
using namespace std;
struct B{
     int b;
     ~B(){cout <<"destruct B" << endl;}
};
B func(){
    B b;
    b.b = 1;
    return b;
}
int main(){
    const B& instance = (const B&)func(); //is `instance` a dangling reference?
    cout <<instance.b<<endl;
    return 0;
}

在this online compiler 中的输出是

destruct B
destruct B
1

所以返回值似乎比cout 操作更早被破坏。所以instance 似乎是一个悬空引用。

如果我们把const B& instance = (const B&)func();改成const B& instance =func();，那么结果就是

destruct B
1
destruct B

作为补充，如果我在vs2015中测试代码，那么输出就是最后一个。但是，如果在gcc(before 4.6)中测试，输出的是前者，但在4.6之后的版本中输出的是后者。所以想知道是网上的编译器有错还是引用其实是悬空的。

Answer 1

根据最新草稿[class.temporary]/6（无关部分被我省略了）：

第三个上下文是当一个引用被绑定到一个临时对象时。如果通过以下方式之一获得引用绑定到的泛左值，则引用绑定到的临时对象或作为引用绑定到的子对象的完整对象的临时对象在引用的生命周期内持续存在：

• ...

• const_cast ([expr.const.cast])、static_cast ([expr.static.cast])、dynamic_cast ([expr.dynamic.cast]) 或 reinterpret_cast ([expr.reinterpret.cast] ) 在没有用户定义的转换的情况下，将作为这些表达式之一的泛左值操作数转换为引用由操作数指定的对象或其完整对象或其子对象的泛左值，

• ...

... [ 注意：显式类型转换 ([expr.type.conv], [expr.cast]) 被解释为一系列基本类型转换，如上文所述。 [ 示例：

const int& x = (const int&)1;  // temporary for value 1 has same lifetime as x

— 结束示例 ]— 结束注释 ]

您的代码格式正确。

---

在C++14之前，标准中对这种情况的措辞不清楚，存在缺陷问题1376。这个问题阐明了临时对象的生命周期在这种情况下应该不延长。但是，此说明已被问题 1299 所取代（即使在 C++17 中也没有包含其解决方案，但在当前草案中）。

所以你可以断定在issue 1299解决之前，这是GCC 4.6以后版本的一个bug。 GCC 还有一个bug report 52202。