c++ - "Rule of Three"执行出错

Question

下面是“三法则”的错误实现，我试图理解它。

调试程序，我发现调试器在清理 int *k 时出现问题，可以通过定义 int *k = nullptr 或简单地设置来解决它在复制构造函数中是合理的。

但是，我不明白程序的结果错误(访问冲突)是如何产生的。

我知道，在复制赋值构造函数 v1 的 int *k 不再指向有效的内存地址之后。

class Vector2 {
public:
    std::string name = "default";
    int* k;

    Vector2(int s, std::string n) : k(new int[s]), name(n) {
    }

    Vector2(const Vector2 &other)  {
        std::cout<< "Copy constructor: " << name << std::endl;
    }

    ~Vector2() {
        std::cout << "Deleting: " << name << std::endl;
        delete[] k;
    }

    void swap(Vector2& other) {
        using std::swap;
        swap(k, other.k);
    }

    Vector2& operator=(Vector2 other) {
        std::cout << "Copy assignment constructor: " << name << std::endl;
        swap(other);
        return *this;
    }
};


int main() {
        Vector2 v1 = Vector2(2, "v1");
        Vector2 v2 = Vector2(4, "v2");
        v1 = v2;
        std::cout << &v1 << " " << &v2 << std::endl;
        std::cout << &v1.k << " " << &v2.k << std::endl;
        return 0;
    }

下面是上面程序的控制台输出:

Copy constructor: default
Copy assignment constructor: v1
Deleting: default
0000001B5611FA28 0000001B5611FA78
0000001B5611FA50 0000001B5611FAA0
Deleting: v2
Deleting: v1
16:18:42: The program has unexpectedly finished.

Answer 1

其实很简单:你的拷贝构造函数不做拷贝。事实上，它没有初始化任何成员，所以这个构造函数创建的任何实例都是垃圾。

对于operator=(Vector2 other)的调用，调用复制构造函数创建other(这是三法则的要点)，所以other 充满了废话。然后，将 this(又名 v1)的有效 k 与 other< 的蹩脚 k 交换.

然后，当 v1 的析构函数被调用时，它会在糟糕的 k --> 访问冲突上调用 delete[] k。

解决方案

让你的复制构造函数制作一个拷贝。或者至少，让它正确地初始化 k(例如 nullptr)。