我无法理解此复制构造函数行为-解网

问：

我有一些奇怪的行为，如下：

using namespace std;
struct Number
{
    Number(int init) : a(init) {}
    Number() {};
    int a;
    static Number& getNumber() { return Number(555); }

    //Number(const Number& other)
    //{
    //  a = other.a;
    //}  // I've commented this out you'll see why
};

int main()
{
    Number num1;  // Is now junk
    Number num2;  // Is now junk
    num2 = Number::getNumber(); // num 2 is still junk

    Number num3 = Number::getNumber(); // num3 has been assigned 555. 
                                       // If I define my own copy constructor
                                       // (uncomment it), it stays junk.
    cout << num3.a;
}

当我制作自己的复制构造函数时，无论它是否采用常量，“other”参数中的值都是垃圾。如果复制构造函数是默认构造函数，则我不会出现这种行为。我使用 GCC 在 IDEOne 上尝试过，但此代码无法编译。但是，在我的 Visual Studio 上，它按照我的描述运行。

我发现很难理解临时有效期的规则。例如，我认为如果 getNumber（）返回对本地临时的引用，那么直接在同一行上分配它是可以的。我错了。

C++ 引用复制构造函数生存期

该函数创建一个临时函数并返回对它的引用。临时对象在函数结束时不复存在，这意味着您现在返回的引用是指已销毁的对象。这是未定义的行为，这意味着该行为可以是任何东西，包括有时看起来有效。编译器不需要诊断此错误，但某些编译器（如 GCC）需要诊断此错误。如果要返回对共享实例的可变引用，请在函数正文中声明一个静态本地对象，并返回对它的引用。static Number& getNumber() { return Number(555); }Number

static Number& getNumber() 
{ 
    static Number my_instance{555}; 
    return my_instance;
}

2赞 NathanOliver 9/27/2017 #2

getNumber具有未定义的行为。您正在返回对本地对象的引用。当函数返回该对象时，该对象被销毁，因此现在您具有对不再存在的对象的引用。为了解决这个问题，我们可以按值返回，例如

static Number getNumber() { return {555}; }

现在，返回的数字是直接从返回值构造的。

在创建返回值之后，但在执行继续之前，所有函数局部变量都会被销毁。这意味着返回任何类型的引用或指向本地对象的指针都会给你留下一个悬空的引用/指针。

我无法理解此复制构造函数行为

I can't understand this copy constructor behaviour

评论

评论

评论