|
|
Регистрация Восстановить пароль |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
|
Опции темы | Поиск в этой теме |
17.12.2013, 16:27 | #1 |
Форумчанин
Регистрация: 14.12.2012
Сообщений: 668
|
Проблема при понижении типа указателя.
Доброго дня.
Сегодня осознал одну проблему, не то чтобы не знал о ней, а скорее раньше не задумывался. Например у нас есть код: Код:
Код:
Код:
P.s: изобилие const при написании функции f() для демонстрации того что это не поможет. PPS: под возможностью запретить компилятору приводить тип указателя к базовому типу подразумевал выдачу ошибки при попытки это сделать. И говорил о выборочном запрете каста, не везде. Последний раз редактировалось 220Volt; 17.12.2013 в 20:20. Причина: Добавил PPS |
17.12.2013, 16:36 | #2 |
Старожил
Регистрация: 28.01.2009
Сообщений: 21,000
|
а кто запрещает применить не public наследование?
Хорошо поставленный вопрос это уже половина ответа. | Каков вопрос, таков ответ.
Программа делает то что написал программист, а не то что он хотел. Функции/утилиты ждут в параметрах то что им надо, а не то что вы хотите. |
17.12.2013, 16:38 | #3 |
Форумчанин
Регистрация: 14.12.2012
Сообщений: 668
|
Разве это поможет? Размер каждого наследника будет суммой предков, в этом проблема. Или я Вас не понял, тогда раскройте мысль пожалуйста.
|
17.12.2013, 16:42 | #4 | |
Старожил
Регистрация: 28.01.2009
Сообщений: 21,000
|
Цитата:
да и в чем вообще размер? если вам не нужно наследование, то зачем применили? выражайтесь яснее. Хорошо поставленный вопрос это уже половина ответа. | Каков вопрос, таков ответ.
Программа делает то что написал программист, а не то что он хотел. Функции/утилиты ждут в параметрах то что им надо, а не то что вы хотите. |
|
17.12.2013, 16:50 | #5 |
Форумчанин
Регистрация: 14.12.2012
Сообщений: 668
|
Я говорю о том что нельзя сделать массив из наследников, а потом работать с этим массивом к с массивом из предков. Но мы можем предвидеть такие ситуации (если мы в функции применяем адресную арифметику), и хотелось бы сказать об этом компилятору, а он не позволит понижать тип указателя и тогда проблемы не будет.
|
17.12.2013, 16:51 | #6 |
Форумчанин
Регистрация: 14.12.2012
Сообщений: 668
|
А как же множественное наследование? Но это не важно, я не об этом.
Последний раз редактировалось 220Volt; 17.12.2013 в 16:53. |
17.12.2013, 17:07 | #7 |
Старожил
Регистрация: 13.07.2012
Сообщений: 6,342
|
Без добавления хотя бы одного виртуального метода typeid НЕ работает.
Насчет "приведения" к родительскому классу - если напечатать сам изначальный указатель на S2 а потом полученный указатель на S то увидите, что они одинаковы. Если запретить такой каст, то от С++ ничего не останется - на этом все держится. Какова конечная цель? |
17.12.2013, 17:08 | #8 |
C++ hater
СтарожилДжуниор
Регистрация: 19.07.2009
Сообщений: 3,333
|
2220Volt
лень объяснять, напишу в двух словах. добавив виртуальный деструктор, ты не решил своей проблемы (добавь в дочерний класс еще пару полей и убедись). правильное решение - добавить виртуальную функцию, получать доступ к данным через нее. либо можно сделать так: Код:
I invented the term Object-Oriented, and I can tell you I did not have C++ in mind. (c)Alan Kay
My other car is cdr. Q: Whats the object-oriented way to become wealthy? A: Inheritance |
17.12.2013, 17:23 | #9 |
Форумчанин
Регистрация: 14.12.2012
Сообщений: 668
|
Без добавления хотя бы одного виртуального метода typeid НЕ работает.
У меня на g++ без виртуального метода компилируется и работает, но typid работает неверно, следовательно полагаться на то что компилятор выдаст ошибку не хочу. Насчет "приведения" к родительскому классу - если напечатать сам изначальный указатель на S2 а потом полученный указатель на S то увидите, что они одинаковы. ... Я и не говорю что они будут разные, я говорю что, например, инкремент указателя нужно производить по разному для предка и для наследника. |
17.12.2013, 17:26 | #10 | |
Форумчанин
Регистрация: 14.12.2012
Сообщений: 668
|
Цитата:
Последний раз редактировалось 220Volt; 17.12.2013 в 17:29. |
|
|
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
C#, проблема с получением указателя через Marshal.GetFunctionPointerForDelega te | Alex217Vish | Общие вопросы .NET | 0 | 15.09.2010 23:23 |
мигание TLabel при наведении указателя | skalt12 | Общие вопросы Delphi | 16 | 22.08.2010 12:12 |
Изменение кнопки при навдении указателя мыши | Syltan | JavaScript, Ajax | 3 | 25.05.2010 15:41 |
Увеличение изображения при наведении указателя | Savato | HTML и CSS | 2 | 07.10.2009 22:39 |
Изменение вида Image при наведении указателя | Сергей А | Помощь студентам | 3 | 05.08.2007 15:26 |