А>нууу, если ты пишешь свой компилятор, то конечно можешь. А так — никак.

Хорошо, а если я ослаблю требование.

Можно ли отличить тип у которого есть указатель на таблицу вирт. функций от того у которого его нет(нет ни одной вирт функции не у него ни у любого предка).