Западло

[psilogic]

[ Предупреждение: для непрограммистов неинтересно ]

Пусть у нас есть два класса - базовый Base и отнаследованный от него Derived. В Derived есть конструктор, похожий на конструктор копии с параметром типа Base.

class Base
{
...
};

class Derived: public Base
{
public:
    Derived() {...}
    Derived(const Base &b) { /* важные манипуляции */ }
};

Допустим, в программе это используется вот так:

Derived d1;
Derived d2(d1);

И оно не работает.

Тщательное расследование показало эпическое западло...



В какой-то момент я внес часть кода в функцию:

void foo(Base &d1)
{
    Derived d2(d1);
    ...
}
...
Derived d1;
foo(d1);

И вдруг оно начало работать! Счастливый, я все так и оставил, предполагая разобраться как-нибудь потом. Сегодня это как-нибудь наступило.

Западло состоит в том, что в строке Derived d2(d1) не всегда вызывается второй конструктор и не будут выполняться "важные манипуляции". Вместо этого будет вызван "невидимый" автоматически сгенерированный конструктор-копии, и все поля будут тупо скопированы из d1 в d2.

Это происходит в том случае, если d1 имеет тип Derived. Если Base - то все хорошо. Вот почему та функция исправляла проблему. Так тоже будет работать:

Derived d2((Base&)d1);

Лечится это легко:

class Base
{
...
};

class Derived: public Base
{
public:
    Derived() {...}
    Derived(const Base &b) { /* важные манипуляции */ }
    Derived(const Derived &b) { /* важные манипуляции */ }
};

Но ведь и вляпаться тоже легко...

Comments

[seryjvolk.livejournal.com]

Скотт Мейерс. Кажется "50 рекомендаций...".
Очень полезная книжка, нагуглите.

[bsivko.livejournal.com]

Важные манипуляции объединить нужно в одну функцию.

[http://technorati.com/people/technorati/ketmar (from livejournal.com)]

э… а где западло-то? компилятор сделал точно то, о чём его попросили же. с какой стороны я не смотрел, но равенства «Base» и «Derived» в упор не увидел. более того — не увидел даже фигнюшки для преобразования одного в другое (тогда, емнип, компилер мог бы нашаманить преобразование и вызов конструктора, уж не помню, лень проверять, это идиотизм всё равно). а для случая «коструктор копирования отсутствует» стандарт прямо предписывает его неявно зашаманить, а не ебстись с преобразованием типов. именно поэтому конструктор копирования, если он не очевиден, всегда объявляют явно. а дальше пишут там *this = aValue (при наличии унаследованного — или своего — operator =, натурально).

итого: «а этот пацак всё время думает на языках, продолжения которых не знает!» (ц)