История изменений

Вроде как из моего вопроса очевидно: чтобы в него можно было класть Derived*, а доставать Base*, но при попытке достать плохой Base*, получать ошибку, а при попытке достать вторую базу, получать правильный каст.

Вроде как это можно делать, копаясь в реальном представлении type_info на большинстве платформ: http://mentorembedded.github.io/cxx-abi/abi.html Но хочется найти не привязанное к платформе решение.

Вроде как из моего вопроса очевидно: чтобы в него можно было класть Derived*, а доставать Base*, но при попытке достать плохой Base*, получать ошибку.

Вроде как это можно делать, копаясь в реальном представлении type_info на большинстве платформ: http://mentorembedded.github.io/cxx-abi/abi.html Но хочется найти не привязанное к платформе решение.