2
#include <iostream>

struct A {
    A() { std::cout << 'A'; }
    A(const A&) { std::cout << 'a'; }
};

struct B : A {
    B() { std::cout << 'B'; }
    B(const B&) { std::cout << 'b'; }
};

int main() {
    B b1;
    B b2{b1};
}

Почему программа выводит

ABAb

а не ожидаемое мной

ABab

Почему разработчики стандарта решили именно такое поведение установить?

8
  • 1
    Потому что конструктор A(const A&) в приведенном примере нигде не используется. Вы могли бы легко в этом убедится, написав его как A(const A&) = delete; 9 июл 2020 в 7:26
  • @user7860670 понятно, что не используется, раз не выводит. Но почему?
    – bezos
    9 июл 2020 в 7:32
  • 1
    Ну это к вам вопрос, почему вы его не используете? Конструктор без параметров A() называется конструктором по-умолчанию не без причины, он вызывается каждый раз, когда при создании объекта не вызывается какой-то другой конструктор. Никакого конструктора подобъекта А в объекте B вы не вызываете, следовательно вызывается конструктор по-молчанию. 9 июл 2020 в 7:34
  • @user7860670 "он вызывается каждый раз, когда при создании объекта не вызывается какой-то другой конструктор" - почему так? Не логичнее ли вызывать конструктор по-умолчанию у базового класса, когда вызывается конструктор по-умолчанию, а когда вызывается конструктор копирования, то вызывать конструктор копирования базовый?
    – bezos
    9 июл 2020 в 7:39
  • 2
    Нет, не логичнее. Вызов конструктора по-умолчанию (и деструктора) не требует передачи аргумента (который в этом коде даже не обозначен). А еще бывает конструктор перемещения, для которого по такой логике потребовалось не только неявно передавать аргумент, но и предварительно кастовать его в rvalue. Хотя бы в чем-то С++ консистентен. 9 июл 2020 в 7:49

1 ответ 1

2

Раз вы не указали конструктор для базового класса A явно:

B(const B&) { std::cout << "b"; }

компилятор вызывает конструктор по умолчанию.

Если напишете

B(const B&b):A(b) { std::cout << "b"; }

то получите ожидаемую вами строку.

8
  • Почему в B b1; не надо явно указывать, а в B b2{b1}; надо?
    – bezos
    9 июл 2020 в 7:06
  • @bezos конструктор по умолчанию также и вызывает конструктор по умолчанию родительский также по дефолту если иного не указать
    – Ildar
    9 июл 2020 в 7:21
  • @Ildar так а почему контруктор копирования не вызывает родительский конструктор копирования по-умолчанию?
    – bezos
    9 июл 2020 в 7:32
  • @bezos при переопределении других конструкторов надо явно указывать какие конструкторы нужны, иначе конструктор по умолчанию везде вызывается
    – Ildar
    9 июл 2020 в 7:35
  • @Ildar почему так?
    – bezos
    9 июл 2020 в 7:40

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.