您可以使用复制赋值运算符创建新实例吗?

时间:2018-03-19 06:39:00

标签: c++ null new-operator copy-assignment

我试图在C ++中围绕复制赋值运算符,我想知道如果对象为空,是否有创建新实例的方法。

class Person {
public:
    Person(string name) { pName_ = new string(name); }
    ~Person() { delete pName_; }
    Person(const Person& rhs) {
        if (pName_ != NULL) delete pName_;
        pName_ = new string(*(rhs.pName()));
    }
    Person& operator=(const Person& rhs) {
        cout << "begin copy..." << endl;
        if (this == NULL) {
            Person* p = new Person(rhs);
            cout << "end copy null..." << endl;
            return *p; // Not working?
        }
        delete pName_;
        pName_ = new string(*(rhs.pName()));
        cout << "end copy..." << endl;
        return *this;
    };
    string* pName() const { return pName_; }
    void printName() { cout << *pName_ << endl; }
private:
    string* pName_;
};
int main() {
    Person *a = new Person("Alex");
    Person *b = new Person("Becky");
    Person *c = NULL;
    *b = *a; // copy works
    *c = *a; // copy doesn't
    if (a != NULL) a->printName(); // Alex
    if (a != NULL) delete a;
    if (b != NULL) b->printName(); // Alex
    if (b != NULL) delete b;
    if (c != NULL) c->printName(); // NULL
    if (c != NULL) delete c;
    return 0;
}

这是输出:

begin copy...
end copy...
begin copy...
end copy null...
Alex
Alex

我的代码中是否可以更改某些内容以使其正常工作,或者这是我不应尝试尝试的内容?

1 个答案:

答案 0 :(得分:0)

你所展示的代码是各种错误的,需要重写。

您正在通过取消引用的NULL指针调用未正确实现的复制赋值运算符,这是未定义的行为。复制赋值运算符定义为仅使用有效对象调用,并且必须将值从一个对象复制到另一个对象,并返回对复制到的对象的引用。你不这样做。

要回答您的问题,请注意,当this为NULL时,复制赋值运算符无法创建新对象。对于初学者,如果this为NULL,那么您的代码中有一个需要修复的错误。但即使this为NULL,操作员也无法更新调用者的指针(假设首先使用了指针)来指向新的对象实例。 this只是一个编译器生成的参数,包含被调用对象的内存地址,它不是调用者用于调用操作符的原始指针。因此,如果操作员确实在堆上分配了一个新对象,那么当操作符退出时该对象将被泄露,因为调用者将没有指向该对象的指针以便稍后释放它。

您的代码的正确版本应该更像是这样:

class Person {
public:
    Person(const string &name) : pName_(name) {}

    Person& operator=(const Person& rhs) {
        // if you remove these output statements then
        // this entire operator can be removed...
        cout << "begin copy..." << endl;
        if (this != &rhs) {
            pName_ = rhs.pName();
            cout << "non self copied..." << endl;
        }
        cout << "end copy..." << endl;
        return *this;
    }

    string pName() const {
        return pName_;
    }

    void printName() const {
        cout << pName_ << endl;
    }

private:
    string pName_;
};

int main() {
    Person *a = new Person("Alex");
    Person *b = new Person("Becky");
    Person *c = NULL;

    *b = *a;
    //*c = *a; UNDEFINED BEHAVIOR! 

    if (a) {
        a->printName();
        delete a;
    }

    if (b) {
        b->printName();
        delete b;
    }

    if (c) {
        c->printName();
        delete c;
    }

    return 0;
}