Есть несколько POD структур.
Одна из них базовая (IShape), остальные наследники (IShapeRectangle, IShapeSquare).
Создаем по экземпляру наследников и передаем их в процедуру ShapeDraw как указатель на объект базового типа.
В процедуре ShapeDraw нужно выполнить обратное преобразование - из базового IShape получить целевой IShapeRectangle либо IShapeSquare.
Идентификация реального типа наследника происходит по коду в IShape->Code который указывается вручную при заполненни данными реального объекта.

Но т.к. все структуры являются POD типом, к ним нельзя применить dynamic_cast, а явное приведение вида shapeType * myShape = (shapeType *) myIShape

Как надежно выполнить проверку и приведение типа?

Вот пример кода на liveworkspace.org



Результат


Это сообщение отредактировал(а) ZVano - 2.9.2011, 13:10

я неPOD`ами их сделать нельзя?

Добавлено через 2 минуты и 4 секунды

тут public не нужен. структуры по умолчанию наследуются публично.

Вроде нельзя, но не уверен на 100%.
Реальная задача - обмен данными между плагинами, а в 1м посте максимально упрощенный пример для иллюстрации проблеммы.

Есть Plugin1 и Plugin2. Это структуры от базового интерфейса IPlugin.
В IPlugin определен виртуальный метод 

Он обязан быть реализован во всех плагинах-наследниках и предназначен для прямой коммуникачии между плагинами.
Т.е. Plugin1 и Plugin2 обнозначно содержат метод IPlugin_MessageParse.
Но передать туда можно данные любого типа, производного от TPluginMessage.
*Например:
** Plugin1 и Plugin2 знают публичный интерфейс друг-друга. 
** Plugin1 хочет вызвать внутренне действие Plugin2 (допустим, нарисовать меню код - C_PLUGIN2_DRAW_PLUGIN_MENU).
**В Plugin2 объявляется публичная структура 

*** Plugin1 подготавливает структуру с данными типа TPlugin2Message_DrawPluginMenu msgXXX
Указывает код C_PLUGIN2_DRAW_PLUGIN_MENU
Указывает menuData
*** Вызывает метод Plugin2->IPlugin_MessageParse(&msgXXX);
***Plugin2
**** читает из msgXXX->msgCode который == C_PLUGIN2_DRAW_PLUGIN_MENU
**** приводит msgXXX к типу TPlugin2Message_DrawPluginMenu
**** вызполняет генерацию меню


PS: Возможно, я использую неверный подход, но другого в голову не приходит.

из всего тобою описанного, я не вижу требования для IShape быть POD`ом.

Если объявить TPluginMessage nPOD-ом то можно спокойно использовать такой интерфейсный файл из разных компиляторов c++.


Но если потребуется сделать интервейсный файл для Delphi, то там тоже прийдется писать тело конструктора.
Для других языков то же самое.
А в идее было создать просто интерфейс без реализации, поэтому и использовал nPOD.

при чем тут вообще Pod /неPod ?!  

Добавлено через 3 минуты

уже неPod


не по этому .. 


а что ж  static_cast зыбываем ?!

Добавлено через 5 минут и 4 секунды

а какое это вообще имеет отношение к касту ?! 
это вопрос по проектированию..

Добавлено через 8 минут и 28 секунд

и с каких это пор к наследникам интерфейса "нeприменим" dynamic_cast ?

Добавлено через 9 минут и 13 секунд

        

перечитал еще раз.. не "от базового интерфейса" а просто структуры, в данном случае структуры-сообщения..

Добавлено через 1 минуту и 14 секунд
но написаноп все равно жутко... пострайтесь сформулировать вопрос ясно, не опираясь на термины значения которых не до конца понимаете.. 

Действительно, ведь было наследование п.3.4.b. 


А почему? Пишет же что IShape "source type is not polymorphic"


Не помогает 
Нужно сделать так, чтобы приведение не выполнялось если тип неверен.


Как тогда объяснить это http://liveworkspace.org/code/9a7d3e17b78f...320e651c3db6612





Тему интерфейсов и плагинов  предлагаю покаместь отложить. Давайте решим основной вопрос, либо прийдем к выводу что он нерешаем.


Мне нужно в процедуре void ShapeDraw(IShape * shape) определить является ли shape экземпляром IShapeRectangle или нет.
 

Это сообщение отредактировал(а) ZVano - 2.9.2011, 16:36

полиморфизм и Pod не связанные по сути сущности..

Добавлено через 2 минуты и 53 секунды

и откуда программа будет знать, что тип неверен ?!  как уже говорилось


Добавлено через 5 минут и 34 секунды

так плагины Вы сами впихнули, а чтоб решить основной вопрос, его нужно как минимум сформулировать.. 

если вопрос : какой каст угадает у неполиморфного типа правильность приведения  ? -  то  он не решаем 

Добавлено через 9 минут и 13 секунд

ассоцируйте тип с неким кодом и проверяйте его.. 

Да, вопрос именно в этом и состоял. Спасибо.


В первом примере так и сделал. 
Но при таком подходе возможны ошибки в случае, когда код фигуры задан неверно. И отследить их будет трудно.

Как правильно решить эту проблемму? 
Как изменить классы  чтобы можно было применить "dynamic_cast" к "IShape *"? >> что почитать 

избавиться от рассоглaсования между типом и кодом..  в простых случаях достаточно доверить установку значения конструктору/функции-создателю.. 



добавить в базу виртуальные методы (можно обойтись только виртуальным деструктором)..

Это сообщение отредактировал(а) mes - 2.9.2011, 17:09

Как-то все сумбурно, почему нельзя использовать наследование и dynamic_cast я так и не поняла.

Если все возможные типы наследников заранее известны, можно сделать так:



Нужно ассоциировать тип с элементом юниона и в рантайме можно будет определять, что за зверь используется.

Это сообщение отредактировал(а) newbee - 2.9.2011, 17:11

*union в приведенном выше примере фактически нужен для безопасного копированния объекта независимо от типа содержимого..

Добавлено через 33 секунды
то есть задачу соответсвия типа значению не решает.. 

Все гениальное просто.    Спасибо огромное, за ответ +.

Вот результат