Программисты - ленивые существа. Поэтому норовят решить задачу минимальным количеством кода. Это похвальное и хорошее стремление. Главное не увлечься процессом и вовремя остановиться.
Например, программистам бывает лень создавать единую функцию инициализации в классе, чтобы затем вызывать её из разных конструкторов. Программист думает: "Зачем мне лишняя функция? Я лучше вызову один конструктор из другого". К сожалению, даже эту простую задачу программисту удается решить не всегда. Для выявлений таких неудачных попыток я как раз сейчас реализовываю в http://www.viva64.com/ru/pvs-studio/ новое правило. Вот, пример кода, который я обнаружил в проекте eMule:
| Код |
class CSlideBarGroup |
Рассмотрим внимательнее реализацию последнего конструктора. Программист решил, что код
| Код |
CSlideBarGroup( |
просто вызывает другой констурктор. Ничего подобного. Здесь создается и тут же уничтожается новый неименованный объект типа CSlideBarGroup.
Получается, что программист действительно вызвал другой конструктор. Вот только сделал он совсем не то, что задумал. Поля класса останутся неинициализированными.
Такие ошибки, это только половина беды. Некоторые знают, как все-таки действительно вызвать другой конструктор. И вызывают. Лучше бы они не знали, как это делается.
Например, приведенный код, можно было бы переписать так:
| Код |
CSlideBarGroup::CSlideBarGroup(CSlideBarGroup& Group) |
или так:
| Код |
CSlideBarGroup::CSlideBarGroup(CSlideBarGroup& Group) |
Теперь действительно один конструктор для инициализации данных вызывает другой конструктор.
Если увидите, программиста, который так делает, отвесьте ему один шелбан в лоб от себя и один от меня лично.
Приведенные примеры являются очень опасным кодом, и нужно хорошо понимать, как они работают!
Из-за мелочной оптимизации (лень писать отдельную функцию), этот код может нанести больше вреда, чем пользы. Рассмотрим подробнее, почему иногда подобные конструкции работают, но чаще нет.
| Код |
class SomeClass |
Этот код будет корректно работать. Код безопасен и работает, так как класс содержит простые типы данных и не наследуется от других классов. В этом случае двойной вызов конструктора ничем не грозит.
Рассмотрим другой код, где явный вызов конструктора приводит к ошибке (пример взят из http://www.viva64.com/go.php?url=790 на сайте StackOverflow):
| Код |
class Base |
Когда мы вызываем конструктор "new (this) Derived(bar.foo);", объект Base уже создан и поля инициализированы. Повторный вызов конструктора приведет к двойной инициализации. В 'ptr' запишем указатель на вновь выделенный участок памяти. В результате получаем утечку памяти. К чему приведет двойная инициализация объекта типа std::vector, вообще предсказать сложно. Ясно одно. Такой код недопустим.
Вывод
Явный вызов конструктора требуется только в крайне редких случаях. В обычном программировании, явный вызов конструктора, как правило, появляется из-за желания сокращения размера кода. Не надо этого делать! Создайте обыкновенную функцию инициализации.
Вот как должен выглядеть правильный код:
| Код |
class CSlideBarGroup |
P.S. Явный вызов одного конструктора из другого в C++11 (делегация)
Новый стандарт С++11 позволяет вызывать одни конструкторы класса из других (так называемая делегация). Это позволяет писать конструкторы, использующие поведение других конструкторов без внесения дублирующего кода. Пример корректного кода:
| Код |
class MyClass { |
