Описание

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

Риск

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

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

Если аргумент к оператору, 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_;
};