导致 SegFault C++ 的析构函数

Question

class Pair {

public:

    int *pa,*pb;


    Pair(int a, int b) 
    {
        pa = new int(a);
        pb = new int(b);
    }

    Pair(const Pair& other) {
        int* pc = new int(*other.pa);
        int* pd = new int(*other.pb);
    }


    ~Pair() {
        delete pa;
        delete pb;
    }

};

在这个程序中，编译器产生了一个分段错误（核心转储），在完全删除析构函数之后，我们可以让程序运行而没有任何错误，那么任何人都可以帮我解决这个问题吗？ 即使在参数化构造函数中，我也初始化了指针，编译器会发出警告，指出点 pa 和 pb 未初始化。

Answer 1

：你的复制构造函数创建了两个指针，然后将它们泄露出去。它从不设置类的成员变量。

您可能想参考三 / 五 / 等规则，为了清楚起见，delete 默认构造函数不会有什么坏处。

class Pair {
public:
    int *pa, *pb;

    Pair() = delete;
    Pair(int a, int b): pa{new int{a}}, pb{new int{b}} {}
    Pair(const Pair& other): pa{new int{*other.pa}}, pb{new int{*other.pb} {}

    ~Pair(){
        delete pa;
        delete pb;
    }
};

Answer 2

对于您的复制构造函数，您应该（很可能）这样做：

Pair(const Pair& other) {
    pa = new int(*other.pa);
    pb = new int(*other.pb);
}

这就是你期望复制构造函数做的事情。

使用您的代码，当您在 Pair 对象上调用析构函数时，通过其复制构造函数，您正在尝试删除未初始化的指针。

Answer 3

可能的问题（尽管仅用您当前给出的代码很难判断）是这些行：

int* pc = new int(*other.pa);
int* pd = new int(*other.pb);

这重新声明了新的指针pc 和pd，实际上并没有设置你的成员变量pa 和pb。一旦构造函数退出，这些新指针就会超出范围。最好的情况是潜在的内存泄漏，最坏的情况是 deleteing 未初始化的指针——这可能会导致崩溃。

要修复，您需要实际设置您的成员并删除 int* 关键字：

pa = new int(*other.pa);
pb = new int(*other.pb);

Answer 4

考虑使用std::unique_ptr 来管理资源，而不是使用原始指针：

#include <memory>

class Pair {
public:
    std::unique_ptr<int> pa, pb;

    Pair(int a, int b) 
    {
        pa = std::make_unique<int>(a);
        pb = std::make_unique<int>(b);
    }
};

int main() {
    Pair p {1, 2};
    return 0;
}