复制构造函数功能

Question

我正在尝试理解复制构造函数的概念。我用了这个例子：

#include <iostream>

using namespace std;

class Line
{
public:
    int GetLength();
    Line(int len);
    Line(const Line &obj);
    ~Line();

private:
    int *ptr;
};

Line::Line(int len)
{
    ptr = new int;
    *ptr = len;
};

Line::Line(const Line &obj)
{
    cout << "Copying... " << endl;
    ptr = new int;
    *ptr = *obj.ptr;
};

Line::~Line()
{
    delete ptr;
};

int Line::GetLength()
{
    return *ptr;
}

int main()
{
    Line line1 = Line(4);
    cout << line1.GetLength() << endl;

    Line line2 = line1;
    line1.~Line();

    cout << line2.GetLength() << endl;

    return 0;
}

问题是，为什么会出现运行时错误？如果我定义了一个为新 ptr 分配内存的复制构造函数，并将 line1 分配给 line2，这是否意味着这两个是单独的对象？通过破坏line1，我显然也搞砸了line2，还是我使用的析构函数调用错误？

Answer 1

你在这个语句中调用了析构函数

line1.~Line();

删除分配给ptr的内存

Line::~Line()
{
    delete ptr;
};

但是对象line1 是活动的，因为它具有自动存储持续时间。因此，在退出 main 之后，对象的析构函数将被再次调用，结果它将尝试删除 ptr 指向的已被明确删除的内存。

Answer 2

line1.~Line();

仅当您使用 placement new 时，手动调用析构函数才有用。

我不明白是什么让你想到在这个程序中手动调用析构函数。当您还是该语言的新手时，您并不想真正了解这种低级内存管理机制，但为了完整起见，它的工作方式如下：

int main()
{
    // provide static memory with enough space for one Line object:
    char buffer[sizeof(Line)];

    // create a Line object and place it into buffer:
    Line* line1 = new (buffer) Line(4);

    cout << line1->GetLength() << endl;

    Line line2 = *line1;

    // manually call the destructor:
    line1->~Line();

    cout << line2.GetLength() << endl;

    // - no delete necessary because buffer disappears automatically
    // - no automatic destructor call

    return 0;
}

但是，您的代码会导致尝试调用 line1 的析构函数两次。首先手动，然后在对象的范围结束时自动，即在main 的末尾。这是未定义的行为。见Does explicitly calling destructor result in Undefined Behavior here?

问题是，为什么会出现运行时错误？

因为未定义的行为意味着您的程序可以做或不做任何事情。不保证运行时错误，也不保证任何确定性行为。