Если мы хотим "унаследовать" конструкторы базового класса, то мы можем написать примерно так: 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 "наследуемый" конструктор?