#naming supersubclass, is_base_of - 방향이 중요할 때, 명확한 이름
#define SUPERSUBCLASS_STRICT(T, U) \ (SUPERSUBCLASS(T, U) && \ !Conversion<const T, const U*>::sameTy...
#define SUPERSUBCLASS_STRICT(T, U) \ (SUPERSUBCLASS(T, U) && \ !Conversion<const T, const U*>::sameTy...