绑定到静态常量引用的右值的生存期-解网

问：

考虑一下：

std::string foo();

void bar() {
         const std::string& r1 = foo();
  static const std::string& r2 = foo();
}

我知道第一次调用生成的字符串的生存期将延长到的生存期。foo()r1

但是，临时绑定呢？它会一直存在到范围结束，还是在重新输入时仍然存在？r2bar()

注意：我不感兴趣的是某个特定的编译器是否这样做。（我对我们使用的那个很感兴趣，我可以很容易地用它来测试。我想知道标准对此有何规定。

C++ 参考临时

[C++14: 12.2/5]: 引用绑定到的临时对象或作为引用绑定到的子对象的完整对象的临时对象在引用的生存期内保持不变，但以下情况除外：
在构造函数的 ctor-initializer （12.6.2）中，与引用成员的临时绑定将持续到构造函数退出。

在函数调用（5.2.2）中，与引用参数的临时绑定将持续到包含调用的完整表达式完成为止。

函数返回语句（6.6.3）中临时绑定到返回值的生存期不会延长;临时值在 return 语句中完整表达式的末尾销毁。
与 new-initializer （5.3.4）中引用的临时绑定将持续存在，直到包含 new-initializer 的完整表达式完成。[ 示例：
struct S { int mi; const std::pair<int,int>& mp; };
S a { 1, {2,3} };
S* p = new S{ 1, {2,3} }; // Creates dangling reference
—结束示例 ] [ 注意：这可能会引入悬空引用，鼓励实现在这种情况下发出警告。——尾注]

^{（特别要注意的是，没有一个要点与此方案匹配。}

因此，在这种情况下，基本上是直到程序结束。

当然，我们可以非常简单地测试这一点：

#include <iostream>

struct Tracked
{
    Tracked() { std::cout << "ctor\n"; };
    Tracked(const Tracked&) { std::cout << "copy\n"; };
    ~Tracked() { std::cout << "dtor\n"; };
};

void foo()
{
    static const Tracked& ref = Tracked();
}

int main()
{
    std::cout << "main()\n";
    foo();
    std::cout << "bye\n";
}

结果：

main（）
ctor
bye
dtor

(现场演示)

上一个：如何在VxWorks中避免条件变量中的争用条件

下一个：为什么要编译代码“foo：：foo：：foo：：foob”？[复制]

绑定到静态常量引用的右值的生存期

Lifetime of rvalue bound to static const reference

评论

(现场演示)