Небезопасность приведения. Не понимаю Прата

@daslex · Регистрация: 02.08.2011

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

О коде, который описан в книге, слегка переправлен мной:

Приведение типов не безопасно: оно присваивает адрес объекта базового класса (Grand) указателю на производный класс (Magnificent). После этого программа будет ожидать, что объект базового класса содержит свойства производного класса, что в общем случае неверно. К примеру, объект Magnificent может содержать данные-члены, которых нет в классе Grand.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
#include <iostream>
 
using std::cout;
 
class Grand {
public:
    virtual void foo(){}
    virtual ~Grand(){}
};
 
class Superb : public Grand {
public: 
    void foo_grand(){}
};
 
class Magnificent : public Superb {
public:
    void foo_magnificent(){}
};
 
int main() {
    Grand *pg = new Grand;
    Grand *pm = new Magnificent;
 
    Magnificent *p2 = (Magnificent*)pg; //небезопасно
    
    p2->foo_magnificent();
    p2->foo_grand();
 
    delete pg;
    delete pm;
}

Я вижу только один объект базового класса: pg. Программа будет ожидать, что pg будет содержать свойства производного класса? - Что-то я такого не наблюдаю.

Проясните, пожалуйста, о чём речь.

@Fulcrum_013 · 15.04.2017, 14:50

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

А то, что программа приходит на адрес, и вместо ожидания дяди Феди видит перед собой тётю Люсю, программу немного сбивает с толку, программа сообщает тёте Люсе, чтобы она немедленно трансформировалась в дядю Федю, потому что здесь живёт дядя Федя. Тётя Люся трансформируется в дядю Федю, и что-то ломается. У тёти Люси нет некоторых деталей.

Программа ничего не сообщает. Она просто обрабатывает данные. Т. е пример. В квартире номер N на кровати лежит объект тетя Люся. Программа следующая - пойти и впердолить. Т.е программа тупо пойдет и впердолит тому что лежит в квартире номер N на кровати без всяких попыток разобрать что там лежит или лежит ли там вообще что либо. Поэтому если вместо тети Люси там окажется дядя Федя будет конфуз потому что некоторые детали тети Люси у дяди Феди таки отсутствуют. Если там ничего не окажется будет дырка в кровати.

@NotNot · 15.04.2017, 14:52

Пара ссылок на почитать. Может прояснит ваши непонятки.
http://en.cppreference.com/w/cpp/language/object
http://en.cppreference.com/w/cpp/language/lifetime

Новые блоги и статьи Все статьи Все блоги /
Транслитерация текста с кириллицы на латиницу (вариант №2) Maks 13.11.2026 Обновленная версия ранее созданной обработки. Добавлено: - Проверка исходного текста на кириллицу, через обращение к стандартной функции "ТолькоКириллицаВСтроке" из общего модуля. . .	Часы с термометром и праздничным календарем yariko 12.11.2026 Сегодня мы рассмотрим как можно сделать отличные многофункциональные часы. Итак, поставим конкретную задачу: разработать часы с календарем, двумя термодатчиками, выводом поздравительных сообщений. . .	Транслитерация текста с кириллицы на латиницу (вариант №1) Maks 11.11.2026 Решил облегчить жизнь себе и коллегам админам при создании электронных почтовых ящиков для пользователей, в результате написал обработку "Транслитерация текста" с кириллицы на латиницу, а в ней. . .	Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .
Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .	Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .

@NotNot 31 / 31 / 6 Регистрация: 23.10.2014 Сообщений: 107
	15.04.2017, 14:52
	Пара ссылок на почитать. Может прояснит ваши непонятки. http://en.cppreference.com/w/cpp/language/object http://en.cppreference.com/w/cpp/language/lifetime 0