Здравствуйте, господа. Архитектура вынуждает осуществить явное приведение типов вида B* C::* ->

Question

Здравствуйте, господа. Архитектура вынуждает осуществить явное приведение типов вида B* C::* ->

D* C::* при условии, что B - невиртуальный предок D, а приводимое значение в действительности указывает на поле C типа D* (т.е., по сути, обычный Base* to Derived*, однако, с сохранением информации о том, что сам указатель хранится в поле произвольного C). static_cast и dynamic_cast такого функционала не предоставляет, reinterpret_cast слишком либерален, т.к. готов, согласно 7.6.1.10/10 осуществлять любые приведения вида T1 C1::* -> T2 C2::*, где T1 и T2 либо оба объекты, либо функции. Я что-то упускаю, кроме того факта, что наличие таких приведений в архитектуре в принципе нежелательно?

#c++ #embedded #programming #russian

0

17.02.2021

8 ответов

29 просмотров

Sergey Anisimov Автор вопроса

Constantine Drozdov
кажется, вы упускаете, что такое преобразование не...

Если я еще не засыпаю, Вы что-то странное написали =) Что подразумевается под "записать арифметическую операцию в указатель на член"?.. И о какой арифметике вообще речь идет? Изменение адреса? Само преобразование возможно с использованием reinterpret_cast, как я написал выше, однако, он допускает вообще практически любое преобразование подобной формы, вот я и интересуюсь, есть ли какой-то более строгий способ.

0

17.02.2021

Constantine Drozdov

Sergey Anisimov
Если я еще не засыпаю, Вы что-то странное написали...

ну смотрите, если struct Derived : Base1, Base2, то преобразование Base2* -> Derived* отличается от reinterpret_cast тем, что необходимо произвести вычитание фактического значения указателя, то есть при наличии Base2* C::* получение Derived* выглядит как (а) чтение Base2* (б) смещение его на sizeof(Base1). Ни при каких условиях чтение Derived* C::* так себя не ведёт, компоненты (б) там нет

0

17.02.2021

Mikhail Kalugin

Constantine Drozdov
ну смотрите, если struct Derived : Base1, Base2, т...

В общем да, оно будет, компилятор все знает и все умеет, но только при условии что B* это по факту указатель на D*. Тогда будет поле C, Иначе, там будет мусор. Самый безопасный способ работать изнутри B используя CRTP (причем C должно быть и в B и в D, тогда в самом худшем случае мы получим не мусор, а поле C из B

0

17.02.2021

Sergey Anisimov Автор вопроса

Constantine Drozdov
ну смотрите, если struct Derived : Base1, Base2, т...

Да, это я дичь нес все это время. Оплошность понятна, благодарю Вас. В данном случае, впрочем, использование reinterpret_cast возможно, т.к. по смещению реально лежит указатель на Derived*.

0

17.02.2021

Ilya Zviagin

Constantine Drozdov
кажется, вы упускаете, что такое преобразование не...

Невозможно

0

17.02.2021

Ilya Zviagin

Ещё ты упускаешь что указатели на члены -это не указатели

0

17.02.2021

Ilya Zviagin

Вот это вот B C D C это что? Хотя да, ты не сильно понятно написал

0

17.02.2021

Constantine Drozdov · Accepted Answer

Constantine Drozdov

кажется, вы упускаете, что такое преобразование невозможно если я еще не засыпаю, то преобразование B* -> D* может содержать арифметику, и записать требуемую арифметическую операцию после чтения поля в указатель на член нельзя

0

17.02.2021

170 похожих чатов

Здравствуйте, господа. Архитектура вынуждает осуществить явное приведение типов вида B* C::* ->

8 ответов

Похожие вопросы