а Class что возвращает?

Class "умееет" создавать объект, знает его размер, может выдать енумерацию полей и функци, а возможно даже прикрепить нужную функцию.. 

mes, я себе это представлял так:

 

Добавлено через 14 минут и 11 секунд
еще не уверен что нужны все эти типы:

может нужен только Value у которого должны быть методы для каста его внутреннего значения в нужный тип?

Это сообщение отредактировал(а) boostcoder - 26.7.2011, 16:29

Class не состоит в иерархии Object`а.. грубо говоря он служит посредником между строковым именем и созданием объекта...

2 boostcoder: попробуйте представить часть описания типов из AST в виде иерархии классов - это и будет основа для интроспекции в RTTIEx (a-la Class, точнее его энумераторы)

Когда это более менее устаканится, можно будет переходить к проектированию 2й части интерфейсов Class'а - операции по модификации/вызовам через эти энумераторы

А уж к 3й части - созданию объектов, можно будет переходить когда первые 2 будут готовы.

Иначе у вас получится знатная каша, а не reflection   

а в более расширенной форме объяснить можете? ;)

Я не знаю спецификацию AST из gcc поэтому точно написать не смогу. Но в общей форме, это должно быть как то так

В общем все эти классы представляют один узел в AST. Для доступа к атрибутам узла и потомкам узла в AST используются методы этих классов

Методы Member::put_data/Member::get_data/Member::call_method используются для 2го уровня - манипуляция с member'ами объекта по имени

Кстати, одной интроспекции недостаточно для стриминга произвольных классов. Стримить указатели, базируясь только на их типах увы не получится - проблемы распределения памяти под данные все равно придется решать вручную   

xvr, спасибо. сначала попробую реализовать идею в терминах возможностей с++. а тогда уже и видно будет, что есть, а чего не хватает..

тут TypeKind - enum?

Добавлено через 12 минут и 22 секунды
xvr, еще типа Object не хватает? или так задумано?

Если wishlist ещё открыт, то могу предложить автогенерацию оператора == по указанным полям.
(как-то не очень понятно получается... щаз попробую на примере)

эта pragma (не обязательно pragma... можно что угодно ) должна сгенерить след. код

если же эта прагма стоит внутри структуры/класса, то должен генериться оператор == с одним параметром

borisbn, http://habrahabr.ru/blogs/personal/89874/

Да

Можно обойтись и без Object. Просто в VCL Object был введен, что бы отличить VCL классы от нормальных С++ классов. Наследование от Object автоматически включало всю машинерию Delphi классов.
В других языках этот класс автоматически становится в предки любому классу. В С++ такого класса нет, и собственно интроспекция не требует его наличия.

mes, спасибо. Вы последний комментарий читали (от юзера garex) ? 
Да и не хочется таскать boost только ради этого... плюс к тому скорость этого метода (там же в комментариях замеряли) раза в полтора (!!!) ниже.

borisbn, принято. это будет самая простая задача 

ссылку дал, как информацию к размышлению, не более   

Это сообщение отредактировал(а) mes - 27.7.2011, 11:30