Question

假设我有：

A类，不可复制
作为成员的B级，const A＆amp; a（并在其构造函数中获取A并将其设置在其初始化列表中）
一个函数A GenerateA();

这是否意味着它应该有效： B（GenerateA（））？

即，const ref是否表示没有生成A（）返回的A副本完成？这是否意味着只要B存在，返回的临时范围就会延长？

编辑：来自评论的插件问题：返回A＆amp; A是否可以接受如果左值是const A＆amp;？

，则从GenerateA（）到本地A.

谢谢！

Answer 1

如果A不可复制，则函数A GenerateA()无效，因为按值返回需要创建副本。

如果函数返回引用（即A &GenerateA()）并且引用是本地创建的A对象，则函数退出后它将变为无效。 C ++没有任何形式的垃圾收集，因此只要它正在使用，就无法“延长”对象的生命周期。

Answer 2

正如其他人已经说过的那样，如果A GenerateA()不可复制，则A无法编译。

关于const ref：no，临时的生命周期不会延长到B的生命周期。标准[12.2.5]指出：

构造函数的ctor-initializer（12.6.2）中的引用成员的临时绑定将持续存在，直到构造函数退出。 [...]函数返回语句（6.6.3）中返回值的临时绑定将一直存在，直到该函数退出。

所以是的，临时的生命周期的延长存在于某些情境中（并且有时非常有用：see this article），但不是在你提出的那个中。

关于你的上一个问题，从GenerateA()返回对局部变量的引用是不合法的（并且将结果绑定到const引用将没有任何帮助）。

Answer 3

是和否。

是的，const引用将绑定到临时变量。不，作为类成员的const引用不会像const引用自动持续时间那样延长生命周期。

Answer 4

这是示例：

#include <iostream>
using namespace std;

int& GenX(bool reset)
{
    static int* x = new int;
    *x = 100;
    if (reset)
    {
        delete x;
        x = new int;
        *x = 200;
    }
    return *x;
}

class YStore
{
public:
    YStore(int& x);
    int& getX() { return my_x; }
private:
    int& my_x;
};

YStore::YStore(int& x)
 : my_x(x)
{
}

int main()
{
    YStore Y(GenX(false));
    cout << "X: " << Y.getX() << endl;
    GenX(true); // side-effect in Y
    cout << "X: " << Y.getX() << endl;
    return 0;
}

<强>输出：

X: 100
X: 200

C ++ const左值引用

4 个答案: