Можно ли в C++ вызывать один конструктор из другого (цепочка конструкторов)?

Проблема вызова конструктора из конструктора в C++

Вы столкнулись с классической ловушкой для новичков. В C++ прямой вызов конструктора из другого конструктора (как в Java с this()) не работает так, как вы ожидаете. В вашем примере:

MyClass() {
    MyClass(0, 0); // Создает временный объект, не инициализируя this
}

Строка MyClass(0, 0) создает новый временный объект в стеке, который уничтожается при выходе из конструктора. Поля текущего объекта (this->x и this->y) остаются неинициализированными, что приводит к неопределенному поведению.

Правильное решение: делегирующие конструкторы (C++11 и новее)

Начиная с C++11, в стандарте появилась поддержка делегирующих конструкторов. Синтаксис похож на список инициализации членов класса:

class MyClass {
private:
    int x;
    int y;
public:
    // Делегирующий конструктор
    MyClass() : MyClass(0, 0) { 
        // Дополнительная логика (если нужна)
    }
    
    // Целевой конструктор
    MyClass(int x, int y) : x(x), y(y) {
        // Основная инициализация
    }
};

В этом примере конструктор по умолчанию MyClass() делегирует свою работу конструктору с двумя параметрами MyClass(int, int). Важно: делегирование происходит в списке инициализации, а не в теле конструктора.

Важные ограничения делегирующих конструкторов

• Только один делегат: Нельзя вызвать несколько конструкторов. Один конструктор может делегировать только одному другому конструктору.
• Нельзя смешивать: Если вы используете делегирование, то не можете инициализировать другие члены класса в том же списке инициализации. Либо все члены инициализируются в целевом конструкторе, либо используется делегирование.
• Циклические вызовы запрещены: Компилятор обнаружит и выдаст ошибку, если конструкторы образуют цикл (A вызывает B, B вызывает A).
• Порядок выполнения: Сначала выполняется тело целевого конструктора, затем тело делегирующего конструктора.

Пример с более сложной логикой

class Rectangle {
private:
    int width;
    int height;
public:
    // Делегирующий конструктор с проверкой
    Rectangle() : Rectangle(1, 1) {
        std::cout << "Создан квадрат по умолчанию 1x1\n";
    }
    
    Rectangle(int size) : Rectangle(size, size) {
        std::cout << "Создан квадрат " << size << "x" << size << "\n";
    }
    
    Rectangle(int w, int h) : width(w > 0 ? w : 1), height(h > 0 ? h : 1) {
        std::cout << "Создан прямоугольник " << width << "x" << height << "\n";
    }
};

Альтернативы для старых стандартов (до C++11)

Если вы работаете с C++98/03, делегирующие конструкторы недоступны. Используйте один из подходов:

1. Общий метод инициализации:

   class MyClass {
   private:
       int x, y;
       void init(int x, int y) {
           this->x = x;
           this->y = y;
       }
   public:
       MyClass() { init(0, 0); }
       MyClass(int x, int y) { init(x, y); }
   };

2. Параметры по умолчанию (если подходит):

   class MyClass {
   public:
       MyClass(int x = 0, int y = 0) : x(x), y(y) {}
   };

3. Базовый класс с общим конструктором (паттерн "Строитель"):

   struct BaseInit {
       BaseInit(int x, int y) : x(x), y(y) {}
       int x, y;
   };
   class MyClass : private BaseInit {
   public:
       MyClass() : BaseInit(0, 0) {}
       MyClass(int x, int y) : BaseInit(x, y) {}
   };

Рекомендации

Используйте делегирующие конструкторы в современном C++ (C++11 и новее). Это наиболее чистый и прямой способ реализации цепочки конструкторов. Если ваш проект поддерживает только старые стандарты, используйте общий метод инициализации или параметры по умолчанию.

class MyClass {
private:
    int x;
    int y;
    MyClass(int x, int y) : x(x), y(y) {} // приватный конструктор
public:
    // Фабричные методы
    static MyClass createDefault() {
        return MyClass(0, 0);
    }
    static MyClass createFromPoint(const Point& p) {
        return MyClass(p.x, p.y);
    }
    static MyClass createFromSum(int sum) {
        return MyClass(sum / 2, sum / 2);
    }
};