Здравствуйте, ssm, Вы писали:

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

ssm>

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

ssm>

ssm>использовать я его несобираюсь , просто интерестна возможность реализации данного механизма средствами C++
1. RTTI, если при выполнении
2. Александреску — на этапе трансляции
3. Джоссатис, Вандевурд. Шаблоны в С++ — очень подробно написано.