В файле typied.Cpp

Base^* bptr;

……………

//печатаем имя типа, на который сейчас указывает bptr

count << typied(bptr).name() << end;

……………

if (typied(bptr) == typied(Derived)) {

//делаем что-то, что можно сделать с Derived

}

Можно воспользоваться «плохими» динамическими приведениями и «плохими» операторами typied, чтобы возбудить исключения bad_cast и bad_typied. Так что пользователь может выбрать, иметь ли ему дело с NULL–указателем или отлавливать исключения.