c++ - C++-运算符= self 分配检查

Question

This question already has answers here:

copy assignment operator= self-assignment check error

(2个答案)


在6个月前关闭。

class Person {
private:
    string name;
    int id;

public:
    Person(string name, int id): name(name), id(id) {}
    const Person& operator=(const Person &another) {
        if (*this == another) // What is the problem here?
            return *this;
        // do copy
        return *this;
    }
};

我想做一个operator =重载函数。在自我分配检查中，如果执行上述检查，则会显示 Invalid operands to binary expression (Person and const Person)并显示错误。但是，如果我执行 this == &another，则不会显示任何错误。
该错误是否表明 this的类型和 another的类型不同？但是，如果是这样， this == &another将如何工作？

最佳答案

在*this == another中，您尝试检查两个对象是否具有相同的值。为此，您必须为operator==定义Person。也就是说，Person::operator==()将确定两个Person对象是否具有相同的值。

但是，由于您要防止自我分配，因此您真正需要的是比较两个对象的身份–而不是它们的值(value)。您可以通过比较它们在内存中的地址来实现此目标，即:

if (this == &another) // Is "another" the same object?
   return *this; // skip assignment

对此 operator==的操作数是指向 Person的指针，而不是 Person对象。

关于c++ - C++-运算符= self 分配检查，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/62130443/

上一篇：c++ - 从第三方定义的类继承时的 shared_from_this

下一篇：c++ - Clang vs G++ 左值到右值转换

Answer 1

在*this == another中，您尝试检查两个对象是否具有相同的值。为此，您必须为operator==定义Person。也就是说，Person::operator==()将确定两个Person对象是否具有相同的值。

但是，由于您要防止自我分配，因此您真正需要的是比较两个对象的身份–而不是它们的值(value)。您可以通过比较它们在内存中的地址来实现此目标，即:

if (this == &another) // Is "another" the same object?
   return *this; // skip assignment

对此 operator==的操作数是指向 Person的指针，而不是 Person对象。