Правило 11: В operator= осуществляйте проверку на присваивание самому себе
Присваивание самому себе возникает примерно в такой ситуации:
>class Widget {...};
>Widget w;
>...
>w = w; // присваивание себе
Код выглядит достаточно нелепо, однако он совершенно корректен, и в том, что программисты на такое способны, вы можете не сомневаться ни секунды.
Кроме того, присваивание самому себе не всегда так легко узнаваемо. Например:
>a[i] = a[j]; // потенциальное присваивание себе
это присваивание себе, если i и j равны одному и тому же значению, и
>*px = *py; // потенциальное присваивание себе
тоже становится присваиванием самому себе, если окажется, что px и py указывают на одно и то же.
Эти менее очевидные случаи присваивания себе являются результатом совмещения имен (aliasing), когда для ссылки на объект существует более одного способа. Вообще, программа, которая оперирует ссылками или указателями на различные объекты одного и того же типа, должна считаться с тем, что эти объекты могут совпадать. Необязательно даже, чтобы два объекта имели одинаковый тип, ведь если они принадлежат к одной иерархии классов, то ссылка или указатель на базовый класс может в действительно относиться к объекту производного класса:
>class Base {...};
>class Derived: public Base {...};
>void doSomething(const Base& rb, // rb и *pd могут быть одним и тем же
>Derived * pd); // объектом
Если вы следуете правилам 13 и 14, то всегда пользуетесь объектами для управления ресурсами; следите за тем, чтобы управляющие объекты правильно вели себя при копировании. В таком случае операторы присваивания должны быть безопасны относительно присваивания самому себе. Если вы пытаетесь управлять ресурсами самостоятельно (а как же иначе, если вы пишете класс для управления ресурсами), то можете попасть в ловушку, нечаянно освободив ресурс до его использования. Например, предположим, что вы создали класс, который содержит указатель на динамически распределенный объект класса Bitmap:
>class Bitmap {...};
>class Widget {
>...
>private:
>Bitmap *pb; // указатель на объект, размещенный в куче
>};
Ниже приведена реализация оператора присваивания operator=, которая выглядит совершенно нормально, но становится опасной в случае выполнения присваивания самому себе (она также небезопасна с точки зрения исключений, но сейчас не об этом).
>Widget&
>Widget::operator=(const Widget& rhs) // небезопасная реализация operator=
