Всем привет. У меня следующий вопрос. Когда мы реализуем механизм наследования, в некоторых книгах пишут, что объекты производного класса также являются объектами базового класса, однако обратное не верно. Приведите пожалуйста примеры что имеется в виду. Спасибо.

Так говорят, потомучто объекты производного класса содержат такие же поля как и объекты базового класса и объекты производных
классвов могут пользоваться методами, которые реализованы в базовом классе. Т.е. объект производного класса состоит из: 
объекта базового класса + своих полей и методов, 
поэтому и говорят что объект производного класса является объектом базового.


Обратное конечно же не верно, потомучто объект базового класса ну никак не может содержать поля производного класса,
по крайней мере потому, что базовому классу ничего не известно о существовании производного класса. 

Если надо, могу развить мысль.

Любая селедка -  рыба, но далеко не каждая рыба является селедкой. © помойму Люиса Кэрола

Спасибо за объяснения, а скажите тогда. 
Где можно использовать и зачем нужно приводить тип указатель производного класса указателю базового класса. Если можно с примерами

Это сообщение отредактировал(а) yngwie19 - 2.12.2008, 19:04

Немного криво написано, но если я правильно понял, то это нужно для того, чтобы в базовом классе были недоступны те функции, которые используются в производном классе (функции, которые присущи только производному классу). Как-то вот так   

Это сообщение отредактировал(а) Dmi3ev - 2.12.2008, 19:26

Приведение вверх используется совместно с виртуальными функциями.

Например, мы создаем абстрактный класс(Область), и объявляем в нем виртуальную функцию(вычисление площади). От это класса наследуются классы Прямоугольник и Треугольник - конкретные фигуры, и там эта функция перекрывается конкретными реализациями вычисления площади. При этом, мы можем использовать указатель базового класса Область для создания объектов классов-наследников Прямоугольник и Треугольник. При вызове через этот указатель виртуальной функции подсчета площади, будет выполняться та функция, которая соответствует размещенному по этому указателю объекту. Таким образом, в интерфейсе программы мы можем не задумываться о том, объект какого из классов-наследников у нас создан - просто вызываем функцию, и она считает то, что нужно.

Описанный пример на C++

Наоборот, надо базовый к производному привести.

dsx, Я понял твою мысль, а не мог бы ты привести пример попроще. Очень много кода, сложно сразу охватить.

dsx, Все теперь понятно, т.е при использовании полиморфизма мы всегда работаем через указатель на базовый абстрактный класс да? А когда динамически выделяем для него пямять, например:

то здесь происходит неявное преобразование  (Human*)Man, так?
P.S: Кстати зачем скобки после Man и Woman ?

вот пример с использованием и понижающего и повышающего преобразования :


Это сообщение отредактировал(а) mes - 2.12.2008, 23:53

mes, спасибо за пример, это пока сложно для меня, ответь пожалуйста на последний вопрос который я задал

этот ? считайте, что для красоты ) 


добавил комментарии



Это сообщение отредактировал(а) mes - 2.12.2008, 23:36

наличие и отсутствие скобок имеет значение для PODS/POD типов - наличие означает инициализация дефолтным констрактором, отсутствие - отсутствие инициализации
т.е.


Это сообщение отредактировал(а) J0ker - 3.12.2008, 00:16

т.е при использовании полиморфизма мы всегда работаем через указатель на базовый абстрактный класс да? А когда динамически выделяем для него пямять, например:


 то здесь происходит неявное преобразование  (Human*)Man, так?