3

Если мы хотим "унаследовать" конструкторы базового класса, то мы можем написать примерно так: using std::base_class::base_class. Я с таким подходом сделал такую структуру:

struct SharedHandle : std::shared_ptr<void> {

    using std::shared_ptr<void>::shared_ptr;

};

Если я правильно понимаю принцип работы using, то из, например, родительского конструктора shared_ptr(void* ptr) создается конструктор дочернего класса подобного формата:

explicit SharedHandle(void* ptr)
    : std::shared_ptr<void>::shared_ptr(ptr) {}

Это происходит неявно на этапе компиляции (поэтому слово "унаследовать" было написано в кавычках). Допустим, теперь я хочу сделать свой конструктор, принимающий void, но вызывающий другой конструктор базового класса, отличный от того, что вызывается при генерации из using. Получается такая структура:

struct SharedHandle : std::shared_ptr<void> {

    using std::shared_ptr<void>::shared_ptr;

    SharedHandle(void* ptr)
        : std::shared_ptr<void>::shared_ptr(ptr, AnyDeleter) {}
        // Тут мы вызываем конструктор shared_ptr(void*, Deleter)
        // А не shared_ptr(void*), как это было бы при генерации из using

};

И отсюда вопрос: почему мне не выбивает ошибку об одинаковых сигнатурах конструктора, создаваемого из using, и конструктора, написанного мной. У них же одинаковая сигнатура. Или же компилятор во время сборки программы видит это и намеренно не генерирует из using "наследуемый" конструктор?

5
  • Просто наугад: using перетягивает все конструкторы, а при желании часть из них потом можно переопределить.
    – Qwertiy
    Commented 31 окт. 2021 в 21:26
  • @Qwertiy вы уверены, что это так работает или это ваша догадка? Как вы вообще представляете переопределение классов с одинаковой сигнатурой с учетом того, что они оба находятся в одном дочернем классе? Или я чего-то не знаю?
    – ComeInRage
    Commented 31 окт. 2021 в 21:36
  • @Qwertiy Я сейчас почитал про переопределение еще раз. Для нормального переопределения функция должна быть виртуальной в родительском классе. Но виртуальных конструкторов явно в С++ нет. Боюсь, что вы не правы
    – ComeInRage
    Commented 31 окт. 2021 в 21:54
  • 1
    Информация к размышлениям. Вот компилятор, например, генерирует конструктор по умолчанию или там конструктор копирования... Почему же, если вы напишете свой, "не выбивает ошибку об одинаковых сигнатурах конструктора"?...
    – Harry
    Commented 1 нояб. 2021 в 5:06
  • @ComeInRage, я ж прямым текстом написал, что это просто догадка. Тем не менее, представляю себе вполне нормально, иначе бы не написал. UPDATE: и судя по ответу, догадка вполне правильная.
    – Qwertiy
    Commented 1 нояб. 2021 в 7:22

1 ответ 1

3

См. здесь:

Using-declaration introduces a member of a base class into the derived class definition, such as to expose a protected member of base as public member of derived. In this case, nested-name-specifier must name a base class of the one being defined. If the name is the name of an overloaded member function of the base class, all base class member functions with that name are introduced. If the derived class already has a member with the same name, parameter list, and qualifications, the derived class member hides or overrides (doesn't conflict with) the member that is introduced from the base class.

(Выделено мной.)

Так что никакого конфликта нет и быть не должно...

Ваш ответ

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

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