Наследуются ли конструкторы и деструкторы?

При наследовании происходит ли наследование конструкторов и деструкторов базового класса?

0

Так если вернутся к вопросу наследуется ли конструктор: ответ таков -

автор языка давай ответ нет не наследуется, но в то же время понятие что такое наследование говорит, что конструктор как метод должен наследоваться. И к тому же using A::A; это не наследование а указание компилятору сделать imlementation для derivered с вызовом base

Добавлено через 12 минут
P.P. если тема перейдет в одностороннюю "не наследуется" из-за блока hoggy, я официально поверю в существование масонов. hoggy братишь живи! Ты один приводил доводы в этом холиваре за версию "наследуется"

0

Я кстати тоже попытаюсь вставить -
что такое наследование если абстрагироваться? Класс Б является классом А. Ученый является человеком. Получается так как существует делигирование конструкторов класс Б говорит, так как я являюсь и классом А, пусть часть членов, которые я унаследовал от А, будут инициализированы конструктором А. Как я могу являтся классом А, передавать ему часть инициализации, если мы не приобрели с наследованием весь класс А ?

0

По идее, при создании наследуемого класса, он получает все от родителя, и добавляет свои "фишки".
Но! Так как он наследник, инициализацию своих членов может произвести как ему угодно, тогда как
инициализацию членов родителя, может произвести строго в соответствии с реализацией конструкторов родителя.
Получается, что конструктор наследуется, но с "жесткой" реализацией конструкторов родителя.

0

Сообщение от rikimaru2013 если мы не приобрели с наследованием весь класс А ?

ну так конструктор ученого просит конструктор человека, -
"Эй, я тоже человек, пожалуйста, приведи себя в порядок, чтобы я мог стать ученым".
Просит, но не говорит, - "Я ученый, и сам соберу человека".
Собственно, Франкенштейн получается.
Заметьте, что кроме специальных членов класса, никто не дергает родителя.

1

Вообщем, mporro правильно писал про наследование.
Объект производного класса, унаследованного от одного какого-нибудь базового класса, содержит неименованный подобъект базового класса.
Объект производного класса, унаследованного от двух базовых классов (множественное наследование), содержит два неименованных подобъекта, относящихся к этим базовым классам.
Получается, такое отношение называется has a (содержит), а не is a (является). Т.е объект производного класса содержит реализацию базового класса при простом наследовании или нескольких базовых классов при множественном наследовании.
Чтобы объект смог достучаться до своих неименованных подобъектов, он должен использовать оператор расширения видимости, например так: объект->Base::f()
Помимо реализации производному классу ещё достаётся и интерфейс базового класса, т.е. интерфейс базового класса переходит в интерфейс САМОГО производного класса (не путать с интерфейсом при обращении к подобъектам). Т.е. если в базовом классе есть метод Base->f(), то в производный класс он перейдёт как Derived->f(). По сути, объект этого производного класса при обращении к f() будет вызывать функцию f() своего подобъекта. Если бы интерфейс функции f() базового класса не унаследовался бы в производный класс, то у нас не было бы возможности вызвать эту функцию через сам объект производного класса derivedObj->f(), но была бы возможность её вызвать через интерфейс его подбъекта derivedObj->подобъект->f(), т.е на C++ было выглядело так: derivedObj->Base::f()
Как раз интерфейс конструктора, деструктора и оператора присваивания не наследуется. А всё из-за того, что компилятор всегда генерирует для производного класса свои версии конструктора, деструктора и копирующего оператора присваивания, даже если они не были определены явно в классе. Т.е. в производном класса всегда имеется интерфейс к своим конструктору, деструктору, копирующему оператору присваивания, из-за чего интерфейс с версиями конструкторов, деструктора и операторов присваивания базового класса не может быть унаследован, т.к. если в производном классе есть функция с тем же именем, что и в базовом, то она перекрывает все функции базового класса с тем же именем в независимости от сигнатуры.

0