c++ - 默认赋值运算符检查自赋值

Question

我想知道赋值运算符的默认实现是否检查自赋值，因此这两个实现中哪一个可以被认为最接近默认实现:

class A{
    int x;
public :
    ...
    // first one
    A& operator=(const A& a){
        if(this != &a) x = a.x;
        return *this;
    }
    // second one
    A& operator=(const A& a){
        x = a.x;
        return *this;
    }
}

我已经搜索了 C++ 标准，但我能找到的唯一一个是 this但这没有什么内容

Answer 1

不，实现不检查“self”:

https://en.wikipedia.org/wiki/Assignment_operator_(C%2B%2B)

The copy assignment operator, often just called the "assignment operator", is a special case of assignment operator where the source (right-hand side) and destination (left-hand side) are of the same class type.

It is one of the special member functions, which means that a default version of it is generated automatically by the compiler if the programmer does not declare one.

The default version performs a memberwise copy, where each member is copied by its own copy assignment operator (which may also be programmer-declared or compiler-generated).