Герб Саттер - Стандарты программирования на С++. 101 правило и рекомендация

// Объявляем копирующий конструктор как explicit (у данного

// решения имеется побочное действие, так что требуется

// улучшение этого метода)

class B { // ...

public:

explicit B(const B& rhs);

};

class D : public B { /* ... */ };

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

void Transmogrify(B obj); // Теперь эта функция вообще не

// может быть вызвана (!)

void Transmogrify2(const B& obj) // Идиома для намерения в

{ // любом случае получить

В b( obj ); // параметр obj по значению

// ... // (с возможной срезкой)

}

B b; // Базовые классы не должны быть конкретными

D d; // (см. рекомендацию 35), но допустим это

Transmogrify(b); // Должна быть ошибка (см. примечание)

Transmogrify(d); // Должна быть ошибка (см. примечание)

Transmogrify2(d); // Все в порядке

Примечание: на момент написания данной рекомендации некоторые компиляторы ошибочно допускали один или оба приведенных вызова функции Transmogrify. Эта идиома вполне стандартна, но (пока что) не полностью переносима.

Имеется лучший способ предупреждения срезки, с более высокой степенью переносимости. Пусть, например, функция наподобие Transmogrifyв действительности хочет получить полную глубокую копию без информации о действительном производном типе переданного объекта. Более общее идиоматическое решение состоит в том, чтобы сделать копирующий конструктор базового класса защищенным (чтобы функция наподобие Transmogrifyне могла случайно его вызвать), а вместо него воспользоваться виртуальной функцией Clone:

// добавление функции Clone (уже лучше, но все еще требуется

// усовершенствование)

class B { // ...

public:

virtual B* Clone() const = 0;

protected:

B(const B&);

};

class D : public B { // ...

public:

virtual D* Clone() const { return new D(*this); }

protected:

D( const D& rhs ): B(rhs) {/*...*/ }

};

Теперь попытка срезки будет (переносимо) генерировать ошибку времени компиляции, а объявление функции Cloneкак чисто виртуальной заставляет непосредственный производный класс перекрыть ее. К сожалению, с данным решением все еще связаны две проблемы, которые компилятор не в состоянии обнаружить: в классе, производном от производного, функция Cloneможет оказаться неперекрытой, а перекрытие Cloneможет реализовать ее некорректно, так что копия будет не того же типа, что и оригинал. Функция Cloneдолжна следовать шаблону проектирования Nonvirtual Interface (NVI; см. рекомендацию 39), который разделяет открытую и виртуальную природы Cloneи позволяет вам использовать ряд важных проверок:

class В { // ...

publiс:

B* Clone() const { // Невиртуальная функция

B* р = DoClone();

assert(typeid(*p) == typeid(*this) &&

"DoClone incorrectly overridden");

return p; // проверка типа, возвращаемого DoClone

}

protected:

B(const B&);

private:

virtual B* DoClone() const = 0;

};

Функция Cloneтеперь является невиртуальным интерфейсом, используемым вызывающим кодом. Производные классы должны перекрыть функцию DoClone. Дополнительная проверка обнаружит все копии, которые имеют тип, отличный от оригинала, тем самым оповещая, что в некотором производном классе не перекрыта функция DoClone; в конце концов, задача assertсостоит именно в обнаружении и сообщении о таких программных ошибках (см. рекомендации 68 и 70).

Некоторые проектные решения могут требовать, чтобы копирующие конструкторы базовых классов оставались открытыми (например, когда часть вашей иерархии представляет собой библиотеку стороннего производителя). В таком случае следует предпочесть передачу посредством (интеллектуального) указателя передаче по ссылке; как показано в рекомендации 25, передача посредством указателя существенно менее подвержена срезке и нежелательному созданию временных объектов.

[Dewhurst03] §30, §76, §94 • [Meyers96] §13 • [Meyers97] §22 • [Stroustrup94] §11.4.4 • [Stroustrup00] §12.2.3

При реализации оператора operator=предпочитайте использовать канонический вид — невиртуальный с определенной сигнатурой.

Предпочтительно объявлять копирующее присваивание для типа Tс одной из следующих сигнатур (см. [Stroustrup00] и [Alexandrescu03a]):