Суть всего этого упражнения для меня определить существует ли член класса с определённым именем и определенного типа. Этакая интроспекция автогенерённых классов.

И ещё один вопрос, может кто знает существует ли способ написать такой Helper класс:

struct A;
struct B
{
    A* a;
};

Helper<B>::type is the same as struct A

У меня как-то совсем никаких идей нет как это сделать...