Как устранить избыточный параметр макроса

Question

Некоторое время назад я написал набор X-макросов для крупного проекта. Мне нужно было поддерживать связные списки как строк, так и перечисляемых ссылок / хэш-значений / функций обратного вызова и т. Д. Вот как выглядит функция обратного вызова

#define LREF_LOOKUP_TABLE_TEXT_SIZE 32
#define _LREF_ENUM_LIST(_prefix,_ref,...) _prefix ## _ ## _ref,
#define _LREF_BASE_STRUCT_ENTRY(_prefix,_ref) .text= #_ref "\0", .position= _LREF_ENUM_LIST(_prefix, _ref)
#define _LREF_FUNCTION_STRUCT_LIST(_prefix,_ref,...) {_LREF_BASE_STRUCT_ENTRY(_prefix,_ref) _prefix ## _ ## _ref ## _callback},

#define _LREF_ENUM_TYPEDEF(_prefix)                                               \ 
    typedef enum _prefix                                                          \  
    {                                                                             \  
        _ ## _prefix ## s(_prefix,_LREF_ENUM_LIST)                                \ 
        _LREF_ENUM_LIST(_prefix,tblEnd)                                           \ 
    } e_ ## _prefix

#define _LREF_LOOKUP_TABLE_TYPEDEF(_prefix, _extras)                              \ 
    typedef struct _prefix ## _lookup                                             \ 
    {                                                                             \ 
        const char text[LREF_LOOKUP_TABLE_TEXT_SIZE];                             \ 
        e_ ## _prefix position;                                                   \ 
        _extras                                                                   \ 
    } _prefix ##_lookup_t

#define LREF_GENERIC_LOOKUP_TABLE(_prefix, _type, _tabledef, _listdef, _extras)   \ 
    _LREF_ENUM_TYPEDEF(_prefix);                                                  \ 
    _LREF_LOOKUP_TABLE_TYPEDEF(_prefix,_tabledef);                                \ 
    _extras                                                                       \ 
    _LREF_LOOKUP_TABLE_DECLARATION(_prefix,_listdef, _type)

#define LREF_FUNCTION_LOOKUP_TABLE(_prefix, _type)                                \ 
    _ ## _prefix ## s(_prefix, _LREF_FUNCTION_DEF )                               \ 
    LREF_GENERIC_LOOKUP_TABLE(    _prefix,                                        \ 
        _type,                                                                    \ 
        void* (*function) (void*);,                                               \ 
    _LREF_FUNCTION_STRUCT_LIST,  )

Это находится в заголовочном файле и позволяет мне писать такие вещи как:

#define _cl_tags(x,_)         \
    _(x, command_list)        \
    _(x, command)             \
    _(x, parameter)           \
    _(x, fixed_parameter)     \
    _(x, parameter_group)     \
    _(x, group)               \ 
    _(x, map)                 \
    _(x, transform)

LREF_FUNCTION_LOOKUP_TABLE(cl_tag, static);

Это делает процедуры обработки короткими. Например, загрузка файла конфигурации с вышеуказанными тегами просто:

for (node_tag = cl_tag_lookup_table; node_tag->position != cl_tag_tblEnd; node_tag++)
{
    if (strcasecmp(test_string, node_tag->text) == 0)
    {
        func_return = node_tag->function((void*)m_parser);
    }
}

У меня такой вопрос: я ненавижу включать второй параметр в мой #define. Я хочу иметь возможность писать #define _cl_tags(_) вместо #define _cl_tags(x,_). Как видите, x используется только для передачи префикса (cl_tag) вниз. Но это лишнее, так как префикс является параметром исходного макроса.

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

Я использую gcc 4.4.5

---

Разъяснение По стандарту C89 (и C99) следующие определения

#define plus(x,y) add(y,x)
#define add(x,y) ((x)+(y))

с вызовом

plus(plus(a,b),c)

должно дать

1. plus(plus(a,b),c)
2. add(c,plus(a,b))
3. ((c)+(plus(a,b))
4. ((c)+(add(b,a))
5. ((c)+(((b)+(a))))

gcc 4.4.5 дает

1. plus(plus(a,b),c)
2. plus(add(b,a),c)
3. plus(((b)+(a)),c)
4. add(c,((b)+(a)))
5. ((c)+(((b)+(a))))

Answer 1

Вот что я бы сделал (сделал бы аналогично):

Поместите их в файл заголовка утилиты:

/*
 * Concatenate preprocessor tokens A and B without expanding macro definitions
 * (however, if invoked from a macro, macro arguments are expanded).
 */
#define PPCAT_NX(A, B) A ## B

/*
 * Concatenate preprocessor tokens A and B after macro-expanding them.
 */
#define PPCAT(A, B) PPCAT_NX(A, B)

Затем определите это перед включением заголовочного файла макроса LREF:

#define LREF_TAG cl_tag

Затем в вашем заголовочном файле макроса LREF,

#define LREF_PFX(x) PPCAT(LREF_TAG, x)
#define LREF_SFX(x) PPCAT(x, LREF_TAG)

Затем замените каждый экземпляр _prefix ## foo на LREF_PFX(foo) и foo ## _prefix на LREF_SFX(foo).

(При вставке более двух токенов просто используйте вложенные PPCAT.)

Ваш вызов станет

#define LREF_TAG cl_tag
#define _cl_tags(_)        \
    _(command_list)        \
    _(command)             \
    _(parameter)           \
    _(fixed_parameter)     \
    _(parameter_group)     \
    _(group)               \ 
    _(map)                 \
    _(transform)

LREF_FUNCTION_LOOKUP_TABLE(static);

Answer 2

Этот ответ касается только «разъяснения». Вот правильное поведение:

#define plus(x,y) add(y,x)
#define add(x,y) ((x)+(y))

Initial:   plus(plus(a,b),c)
Pass 1a:   plus(add(b,a),c)
Pass 1b:   add(c,add(b,a))
Pass 2a:   add(c,((b)+(a)))
Pass 2b:   ((c)+(((b)+(a))))

Правила состоят в том, что каждый макрос заменяется один раз не рекурсивно (начиная с самого внутреннего, когда они вложены); и затем происходит новый проход (он же «rescan»), повторяющий ту же процедуру, это продолжается до тех пор, пока проход не выполнит замену.

Я не уверен, какой момент вы пытались подчеркнуть, поскольку вы даете одно и то же окончательное заключение как для GCC, так и для того, что вы ожидали.