>>643
静的な型を判定するならこういうのでいけると思うが、
RTTI が出てくるってことは状況が違うのかな？

#include <iostream>
#include <type_traits>

class base{};
class driv : public base{};
class foo{};

template<class T>
bool exHantei(const T&){
return std::is_base_of<base, T>::value;
}

int main(void) {
driv hoge;
foo huga;
std::cout << exHantei(hoge) << std::endl;
std::cout << exHantei(huga) << std::endl;
}