всем привет.

задача: разработать набор перечислений и функций для операций над ними, позволяющие описать декларации со всевозможными спецификаторами, к примеру:
1. переменные/переменные_члены.
2. функции/указатели_на_функции/ссылки_на_функции.
3. методы/указатели_на_методы/ссылки_на_методы.
4. конструкторы/деструкторы.
со всевозможными спецификаторами.

пока что накатал такое:

http://liveworkspace.org/code/d8c1203b76eb...e5514b5d4206323

вопросы:
1. что я упустил?
2. возможно ли для описания декларации использовать 32ух битное значение? т.е. хватит ли его диапазона?
3. каким образом(исходя из чего) перечислениям присваивать начальные значения?
4. т.к. не секрет, что у меня проблемы с двоичной логикой, наверное нужно для начала поупражняться в этом?

спасибо.

32 бита хватит ровно на 32 флага вариаций  



если перечеслиния нужны как флаги, то каждое следующее значение должно быть сдвинуто влево(<<)



а иначе  как будете код писать то ?

short, inline. Ссылку на указатель на указатель на инт как описывать будешь?

Судя по всему сложные комбинированные типы (вроде того, что я описала выше) нужно описывать какой-то цепочкой, значит в общем случае 32бит не хватит. Для описания всех возможных состояний сущности должно хватить с запасом.

Если несколько состояний могут быть применены к одной сущности (например static и inline), их значениями должны быть разные степени двойки: 1, 2, 4,..1<<31. Ты можешь комбинировать: например первые N бит - описатель сущности (переменная, функция, что там еще), остальное - битовое поле возможных состояний конкретно этой сущности.

Наверное да. Если проблемы в элементарной (двоичной) логике, как можно быть уверенным в здравости всей остальной логики? 

далее, все перечисления нужно свести в структуру.
для функций, правило такое:

т.е. по идее, нужно описывать еще и возвращаемый тип. или просто добавить в decl_type_ член типа ret_type? что скажите?
что-то мне подсказывает, что для этой задачи подходит AST  вот только не нужно предлагать выдрать нужный кусок кода из GCC, например  
итак - что, и в каком виде должен описывать узел AST? нужно подумать...

Добавлено @ 09:26

логично.


понял.


угу.


нужно подумать.


ладно. есть int64 и double. не проблема.


вроде понял.


не утрируй ;)

Up.

Это сообщение отредактировал(а) boostcoder - 4.10.2011, 09:33

есть еще char [N], куда можно сложить еще больше.. только вот подойдет ли плоский набор флагов, или все ж нужно дерево.. 


Это сообщение отредактировал(а) mes - 4.10.2011, 09:56

у меня недостаточно понимания чтоб решить это... вот, думаю.

Если ты собираешься хранить структуру программы, естественно нужен AST. Если только описать все имеющиеся сущности... Зависит от того, насколько подробно ты собираешься это описывать. Например потроха класса: вложенный класс должен знать, что он вложенный? И даже в этом случае явное дерево не обязательно, тебе достаточно у каждой сущности сохранять идентификатор ее родителя: неймспейс, класс, функция.

Это сообщение отредактировал(а) newbee - 4.10.2011, 10:35

нет. так же как и не нужно знать предков/наследников.

ну так вначале напишите несколько правил для каждого из вариантов разбора, а после будет видно  структуру какого типа это лучше всего  помещать..

Добавлено через 2 минуты и 27 секунд

имелось ввиду не классическое древо-список, а иерархический набор значений.. 

этим и занимаюсь.

Добавлено через 2 минуты и 40 секунд
а кто-то может ответить на вопросы типа "(конструктор/дектруктор?)" в коде топика? чтоб не пришлось правила потом еще раз переписывать 

Возьмите описание AST из g++ и посмотрите во что он ляжет в вашем описании. Сразу станет видно, чего не хватает.

ведь просил же -

на практике это выполнить не реально. по крайней мере моему моцгу  

А я не предлагаю 'выдрать кусок'. Я предлагаю использовать g++ AST в качестве источника информации о том, что именно должно содержаться в С++ AST. Вам в любом случае придется все, что там есть, реализовывать (пусть и по своему)


Найдите там просто описание самого AST (структуры + enum'ы). Этого должно хватить

Модификаторы к основаному типу:
не хватает ещё signed/unsigned. short упомянули, но есть ещё long и int64(long long); нет float
нет bool
кроме ссылок и указателей есть ещё массивы
кроме class есть struct; есть typedef
виртуальные методы могут быть абстрактными (=0) 
нет private/protected/public
Ну и ещё есть #define

Про реализацию: можно посмотреть как реализовано отражение в java или c# и добавить то, что есть в c++ и нет в этих языках.

Добавлено через 4 минуты и 21 секунду
и ещё extern/static - нужно отличать static метод и static переменную вне класса
локальные переменные внутри функции
namespace

Добавлено через 9 минут
для параметра: имеет значение по умолчанию
временный флаг: предватрительное объявление
operator
template и соответственно параметр шаблона

ее как раз нет