Разве не то же самое можно с помощью

1) Распознавание конвертируемости и наследования на этапе компиляции.
2) Оболочки вокруг TypeInfo для рантайма

("Modern C++ design" by Alexandresky)

Сорри, если закрыв глаза шашкой...