Указатель на производный класс

@NewBi · Регистрация: 20.04.2015

Author24 — интернет-сервис помощи студентам

Добрый вечер. Есть вопрос.

C++

class Base
{
    
};
 
class Derived : public Base
{
    
};
 
int main()
{
    Base *a = new Derived;
        return 0;
}

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

C++

1	Derived *a = new Base; //Ошибка.

Спасибо.

@Renji · 31.05.2016, 04:08

Сообщение от NewBi

Указатель на базовый класс может ссылаться на объект производного.

В качестве автомобиля (базовый класс) можно использовать автомобиль с прицепом (производный класс).

Сообщение от NewBi

А почему указатель производного класса не может ссылаться на объект базового класса ?

Так почему же в качестве автомобиля с прицепом (производный класс) нельзя использовать автомобиль без прицепа (базовый класс)?

Производный класс, это базовый класс+"прицеп". Если вы используете указатель на базовый класс, вы говорите что и без прицепа перетопчетесь. Но если прицеп все же есть - ну и фиг с ним, ехать же не мешает. Если вы используете указатель на производный класс, вы говорите что прицеп быть должон. Ну а раз сами сказали что прицеп быть должон, компилятор и проверяет есть прицеп (объект производного класса) или нет.

@Remuless · 31.05.2016, 04:08

ну... это принципы ООП, насколько я помню

как в свое время оглашалось у нас на лекциях: "все родители знают о своих детях, но дети не все знают о своих родителях, если вообще что-то о них знают".

@NewBi · 31.05.2016, 14:02 **[ТС]**

Renji, Remuless, Благодарю за ответы, а есть какая-нибудь более научная формулировка ответа ?))

@Renji · 31.05.2016, 14:22

Сообщение от NewBi

Renji, Remuless, Благодарю за ответы, а есть какая-нибудь более научная формулировка ответа ?))

Если более научно, то сначала "наследовали" так:

C

struct Base
{
    int x;
};
struct Derived
{
    Base parent;
    int y;
};
int main()
{
    Derived derived;
    struct Base*pointer;
    pointer=&derived.parent;
    return 0;
}

Потом впилили C++ и сказали "а давайте сделаем под капотом как в Си, но чтоб .parent не писать?". Теперь, когда вы пытаетесь впихнуть адрес предка в указатель на потомка, компилятор печатает "pointer=&parent.child... Стоп, нет же там child, что за фигню вы написали?".

@NewBi · 31.05.2016, 16:12 **[ТС]**

Renji, Интересно, не знал как раньше было наследование, спасибо. Ну а словесная формулировка четкая имеется ? Из книги может какой или стандарта? Например: Указатель на производный класс не может ссылаться на базовый, потому что... (*и тут наименование причины*) ??

@Renji · 31.05.2016, 16:27

Ну, можно глянуть "Дизайн и эволюция C++", раздел 2.9, как раз и рассказывающий как возникали механизмы наследования.
Вероятно, формулировка есть и где-то в недрах стандарта, но лень искать.

Croessmah · 31.05.2016, 16:43

Сообщение от NewBi

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

базовый класс не может всего того,
на что способен класс производный.

@Mr.X · 01.06.2016, 07:15

Сообщение от NewBi

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

Сообщение от NewBi

а есть какая-нибудь более научная формулировка ответа ?))

В С++ наследование означает, что объект производного класса содержит в качестве подобъекта объект базового класса. В объекте же базового ничего от производного не содержится.

Указатель на производный класс

Решение

Решение

@Renji 2782 / 1935 / 570 Регистрация: 05.06.2014 Сообщений: 5,600
	31.05.2016, 04:08	2
	Сообщение от NewBi Указатель на базовый класс может ссылаться на объект производного. В качестве автомобиля (базовый класс) можно использовать автомобиль с прицепом (производный класс). Сообщение от NewBi А почему указатель производного класса не может ссылаться на объект базового класса ? Так почему же в качестве автомобиля с прицепом (производный класс) нельзя использовать автомобиль без прицепа (базовый класс)? Производный класс, это базовый класс+"прицеп". Если вы используете указатель на базовый класс, вы говорите что и без прицепа перетопчетесь. Но если прицеп все же есть - ну и фиг с ним, ехать же не мешает. Если вы используете указатель на производный класс, вы говорите что прицеп быть должон. Ну а раз сами сказали что прицеп быть должон, компилятор и проверяет есть прицеп (объект производного класса) или нет. 2

@Remuless 25 / 25 / 23 Регистрация: 07.06.2015 Сообщений: 142
	31.05.2016, 04:08	3
	ну... это принципы ООП, насколько я помню как в свое время оглашалось у нас на лекциях: "все родители знают о своих детях, но дети не все знают о своих родителях, если вообще что-то о них знают". 2

@NewBi 1 / 1 / 0 Регистрация: 20.04.2015 Сообщений: 73
	31.05.2016, 14:02 [ТС]	4
	Renji, Remuless, Благодарю за ответы, а есть какая-нибудь более научная формулировка ответа ?)) 0

@NewBi 1 / 1 / 0 Регистрация: 20.04.2015 Сообщений: 73
	31.05.2016, 16:12 [ТС]	6
	Renji, Интересно, не знал как раньше было наследование, спасибо. Ну а словесная формулировка четкая имеется ? Из книги может какой или стандарта? Например: Указатель на производный класс не может ссылаться на базовый, потому что... (и тут наименование причины) ?? 0

@Renji 2782 / 1935 / 570 Регистрация: 05.06.2014 Сообщений: 5,600
	31.05.2016, 16:27	7
	Ну, можно глянуть "Дизайн и эволюция C++", раздел 2.9, как раз и рассказывающий как возникали механизмы наследования. Вероятно, формулировка есть и где-то в недрах стандарта, но лень искать. 1

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,736 Записей в блоге: 1
	31.05.2016, 16:43	8
	Сообщение было отмечено NewBi как решение Решение Сообщение от NewBi Указатель на производный класс не может ссылаться на базовый, потому что базовый класс не может всего того, на что способен класс производный. 2

@Mr.X 3225 / 1752 / 436 Регистрация: 03.05.2010 Сообщений: 3,867
	01.06.2016, 07:15	9
	Сообщение от NewBi Указатель на базовый класс может ссылаться на объект производного. А почему указатель производного класса не может ссылаться на объект базового класса ? Сообщение от NewBi а есть какая-нибудь более научная формулировка ответа ?)) В С++ наследование означает, что объект производного класса содержит в качестве подобъекта объект базового класса. В объекте же базового ничего от производного не содержится. 2