можно реализовать ISTYPE, так чтобы :

int i;
ASSERT(ISTYPE(int) == true);
ASSERT(ISTYPE(i) == false);
ASSERT(ISTYPE(MyClass) == true);
ASSERT(ISTYPE(MyClass()) == false);

использовать я его несобираюсь , просто интерестна возможность реализации данного механизма средствами C++