|
Заблокирован
|
||||||
Неочевидные грабли полиморфизма с++23.11.2011, 01:05. Показов 16520. Ответов 101
Метки нет (Все метки)
Наткнулся в интернете на любопытный код.
Спешу поделиться с сообществом. Просто, что бы кто если не в курсе - узнал, и не попал на эти грабли:
Но в любом случае, нужно быть предельно осторожным. А по сути, полиморфизм + множественное наследование = мина замедленного действия. Поэтому, при проектировании полиморфных классов, лучше до последнего избегать множественного наследования.
1
|
||||||
| 23.11.2011, 01:05 | |
|
Ответы с готовыми решениями:
101
Грабли с кодировкой |
|
Заблокирован
|
||||||
| 24.11.2011, 12:41 [ТС] | ||||||
|
Пример наглядно иллюстрирует, что к одному и тому же объекту можно обращаться, и вызывать его методы. И при этом компилятор будит считать что этот объект - каждый раз разный.
0
|
||||||
|
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
||
| 24.11.2011, 12:44 | ||
|
0
|
||
|
Заблокирован
|
||
| 24.11.2011, 12:51 | ||
|
Признаюсь, я не понял, что вы хотели продемонстрировать.
0
|
||
|
Заблокирован
|
||
| 24.11.2011, 12:55 [ТС] | ||
|
А вот в примере по сабжу уже используется полиморфизм, и вот уже он наглядно демонтирует, что интерпретация объекта в качестве объекта другого типа может иметь неочевидные последствия. В примере по сабжу используется.
0
|
||
|
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
||||||
| 24.11.2011, 13:01 | ||||||
|
В принципе, можно и так писать
Добавлено через 1 минуту Некоторые гвозди микроскопом забивают, но ведь это не значит, что микроскопом не нужно пользоваться. А если будете гвозди микроскопом забивать, то это "может иметь неочевидные последствия".
0
|
||||||
|
Заблокирован
|
||
| 24.11.2011, 13:06 [ТС] | ||
|
Одна из фундаментальных задач ООП - гасить сложность архитектуры проекта. А не увеличивать её. Полиморфизм + множественное наследование значительно увеличивают сложность понимания архитектуры, и вынуждают думать сразу о многом. На мой взгляд, это плохая практика. Гораздо выгоднее использовать неглубокие, и неширокие деревья наследований + композиция. Вместо потенциально опасных глубоких и запутанных иерархий
0
|
||
|
4226 / 1796 / 211
Регистрация: 24.11.2009
Сообщений: 27,562
|
||
| 24.11.2011, 14:03 | ||
|
0
|
||
|
Заблокирован
|
||||||
| 24.11.2011, 17:54 [ТС] | ||||||
|
Итак. Я уже почти было убедился, что приведение типов вызывает конструктор копирования.
То есть, "привести тип A к типу B" фактически означает "создать временный объект типа B, при помощи конструктора копирования этого типа B, аргументом которого будит являться объект типа А". То бишь, временный объект типа B будит создан при помощи копирующего конструктора по прототипу типа A. На самом деле, для меня это было открытием. Я то думал, что приведение типов меняет лишь интерпретацию типа объекта, и никаких расходов на копирование не произойдёт! Естественно, я обеспокоился, и начал обшаривать существующую архитектуру своего прожекта. Поскольку я пихал приведение типов везде где только можно. Я ж не знал, что это может привести к падению производительности из-за запусков копирующих конструкторов. Я решил, что если такие места есть, то можно избавиться от ненужного копирования за счёт приведение типов указателей, а не самих объектов. То есть изменить интерпретацию типа объекта, за счет приведения указателя на нужный тип, и подсовывание указателя вместо объекта. Я почти не сомневался в том, что предстоит довольно кропотливая работа по чистке всего кода, и спасению производительности (так то оно конечно не тормозит. Так что можно было и не заострятся. Но я ж не зря свой скилл прокачиваю. Надо использовать полученное знание). И я был поражон.... Объясните мне, почему так?
А он в свою очередь проталкивает этот объект своему базовому классу. Но базовый класс в качестве аргумента принимает только объекты своего класса! Таким образом в момент передачи типа Derrived методу класса Base должно произойти приведение типа! И соответственно, должен быть вызван копирующий конструктор. Почему этого не произошло? Неужели сменилась просто интерпретация типа?
0
|
||||||
|
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
||
| 24.11.2011, 18:00 | ||
|
1
|
||
|
Заблокирован
|
||
| 24.11.2011, 18:05 [ТС] | ||
|
Я то собрался код чистить, а он у меня оказывается такой... итак чистенький) А тут значится, что ссылка - это не просто псевдоним объекта. Это вообще как бы и не объект вовсе.. гм гм... Это именно указатель на объект. Только замаскированный так, словно "другое имя объекта".
0
|
||
|
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
||
| 24.11.2011, 19:44 | ||
|
0
|
||
|
84 / 57 / 8
Регистрация: 07.08.2010
Сообщений: 185
|
||||||||
| 18.12.2011, 05:03 | ||||||||
* dynamic_cast нужен для преобразования между типами, между которыми отсутствует наследственная связь. Иначе работает простой static_cast.
0
|
||||||||
|
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
||
| 18.12.2011, 07:41 | ||
|
0
|
||
|
В астрале
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
|
|
| 18.12.2011, 12:19 | |
|
Deviaphan, Если нету множественного наследования и есть уверенность, что преобразование корректно - reinterpret_cast.
0
|
|
|
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
|
| 18.12.2011, 12:31 | |
|
0
|
|
|
1500 / 1146 / 165
Регистрация: 05.12.2011
Сообщений: 2,279
|
||||||
| 18.12.2011, 12:40 | ||||||
|
статик каст подойдет и это скомпилится. только результат каста может быть не таким, какой ожидается. А компилится это потому, что компилятор видит наследственную связь между базой и производным классом. При множественном наследовании это возможно со своими хитростями будет работать или не работать, но в простом случае статик_каст от родителя к потомку компилится:
0
|
||||||
|
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
||
| 18.12.2011, 12:52 | ||
|
Добавлено через 4 минуты Впрочем, это лишний повод не использовать static_cast там, где его использовать не следует.)
0
|
||
|
1500 / 1146 / 165
Регистрация: 05.12.2011
Сообщений: 2,279
|
|
| 18.12.2011, 13:01 | |
|
Компилябельность объяснить можно тем, что не везде используют RTTI по разным причинам. Но в то же время хочется иметь возможность каститься с хоть какой-то диагностикой на этапе компиляции. Ну и как я уже сказал, поскольку компилятор видит связь между родителем и дочерним классом, он разрешает такой каст.
0
|
|
|
Делаю внезапно и красиво
1313 / 1228 / 72
Регистрация: 22.03.2011
Сообщений: 3,744
|
|
| 18.12.2011, 13:07 | |
|
Никогда так не писал, поэтому был уверен, что компилятор будет ругаться.) MFC не в счёт.
0
|
|
|
В астрале
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
|
|||
| 18.12.2011, 13:20 | |||
|
Выдержки из стандарта на эту тему.
1
|
|||
| 18.12.2011, 13:20 | |
|
Xmega грабли Грабли с USART_FLAG_RXNE Наступлю на те же грабли?
Грабли malloc/free Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |
|
Новые блоги и статьи
|
|||
|
Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр.
Jin X 06.09.2026
Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр.
Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала.
Ниже прикреплён. . .
|
Программа опроса у.з. расходомера SLS-720F
Argus19 02.09.2026
Программа опроса у. з. расходомера SLS-720F
Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU.
Опрашиваются регистры. . .
|
Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0.
Maks 31.08.2026
При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка:
Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .
|
Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм
anaschu 30.08.2026
Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо
Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .
|
|
Оттачиваю умение писать js программы.
russiannick 30.08.2026
Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман.
Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .
|
мат медиц модель 30. презентация проекта
anaschu 27.08.2026
хоп хоп хоп хидахоп, а я кладую))
|
Как у меня протекала болезнь
zorxor 27.08.2026
Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .
|
Нашел вот забавное видео о измерениях. Лучшее что я видел на эту тему
kumehtar 26.08.2026
ILETXiw9bMQ
Основная суть и тезисы по измерениям:
0D (Нулевое измерение): точка, не имеющая длины, ширины, высоты или объема.
Объект не может перемещаться в 0D.
1D (Первое измерение):. . .
|