Самоназначение, не проверенное в операторе, возникает, когда не проверяется, является ли аргумент для оператора копирования назначения объекта самим объектом.

Самостоятельное назначение вызывает ненужное копирование. Хотя маловероятно, что объект назначается самому себе, из-за наложения псевдонимов вы или пользователи вашего класса не всегда могут обнаружить самостоятельное назначение.

Самостоятельное назначение может привести к тонким ошибкам, если элемент данных является указателем, а память выделяется указателю динамически. В операторе присвоения копирования обычно выполняются следующие шаги:

Если аргумент оператору, opArgument, является сам объект, после вашего первого шага, элемент данных указателя в аргументе оператора, opArgument.ptr, не связан с расположением памяти. *opArgument.ptr содержит непредсказуемые значения. Поэтому на втором шаге выполняется инициализация новой ячейки памяти с непредсказуемыми значениями.

Проверьте самоназначение в операторе присвоения копии класса. Только после тестирования выполните назначения в операторе присвоения копирования.

class MyClass1 { };
class MyClass2 {
public:
    MyClass2()                : p_(new MyClass1())      { }
    MyClass2(const MyClass2& f)   : p_(new MyClass1(*f.p_)) { }
    ~MyClass2()                {
        delete p_;
    }
    MyClass2& operator= (const MyClass2& f)
    {
        delete p_;
        p_ = new MyClass1(*f.p_);
        return *this;
    }
private:
    MyClass1* p_;
};

В этом примере оператор присвоения копирования в MyClass2 не проверяет самоназначение. Если параметр f является текущим объектом, после оператора delete p_, память, выделенная указателю f.p_ также освобождается. Поэтому заявление p_ = new MyClass1(*f.p_) инициализирует расположение памяти, p_ указывает на с непредсказуемыми значениями.

Одной из возможных корректировок является проверка самостоятельного присвоения в операторе присвоения копии.

class MyClass1 { };
class MyClass2 {
public:
    MyClass2()                : p_(new MyClass1())      { }
    MyClass2(const MyClass2& f)   : p_(new MyClass1(*f.p_)) { }
    ~MyClass2()                {
        delete p_;
    }
    MyClass2& operator= (const MyClass2& f)
    {
        if(&f != this) {
           delete p_;
           p_ = new MyClass1(*f.p_);
        }
        return *this;
    }
private:
    MyClass1* p_;
};