Слишком много аргументов, предоставляемых функционально подобранному вызову макросов

Скажем, что у нас есть реализация std::aligned_storage. Я определил два макроса для операторов alignof и alignas.

#include <iostream>
#include <cstddef>

#define ALIGNOF(x) alignof(x)
#define ALIGNAS(x) alignas(x)

template<std::size_t N, std::size_t Al = ALIGNOF(std::max_align_t)>
struct aligned_storage
{
    struct type {
        ALIGNAS(Al) unsigned char data[N];
    };
};

int main()
{
    // first case
    std::cout << ALIGNOF(aligned_storage<16>::type); // Works fine

    // second case
    std::cout << ALIGNOF(aligned_storage<16, 16>::type); // compiler error
}

Во втором случае я получаю ошибку в заголовке вопроса (компиляция с Clang, аналогичная ошибка с GCC). Ошибки нет, если заменить макросы на alignof и alignas соответственно. Почему это?

Прежде чем вы начнете спрашивать меня, почему я это делаю - исходные макросы имеют совместимый с С++ 98 код, такой как __alignof и __attribute__((__aligned__(x))), и они специфичны для компилятора, поэтому макросы - это мой единственный выбор...

EDIT: Поэтому в соответствии с вопросом, обозначенным как дубликат, дополнительный набор скобок исправит проблему.

std::cout << ALIGNOF((aligned_storage<16, 16>::type)); // compiler error

Это не так. Итак, как я буду заниматься этим? (Запрашиваемый вопрос?)

Ответ 1

Препроцессор C/С++ не знает никаких конструкций языка C/С++, это просто препроцессор текста с его собственным синтаксисом и правилами. В соответствии с этим синтаксисом следующий код ALIGNOF(aligned_storage<16, 16>::type) - это вызов макроса ALIGNOF с двумя аргументами (aligned_storage<16 и 16>::type), поскольку в круглых скобках есть запятая.

Я предлагаю вам typedef aligned_storage<16, 16> и использовать этот тип внутри этого вызова макроса.

Ответ 2

Как было объяснено, макро аргументы разделяются запятыми, которые не входят в дополнительные круглые скобки. Есть несколько простых способов обойти это, более общее, чем другие:

  • Используйте переменный макрос (или соответствующее расширение компилятора для С++ 98) (живой пример):

    #define ALIGNOF(...) alignof(__VA_ARGS__)
    ALIGNOF(aligned_storage<16, 16>::type)
    
  • Получить вызывающего абонента для передачи количества аргументов и переноса аргументов в дополнительных круглых скобках (живой пример):

    #define ALIGNOF(n, tuple) alignof(BOOST_PP_TUPLE_ENUM(n, tuple))
    ALIGNOF(2 (aligned_storage<16, 16>::type))
    
  • Получить вызывающего абонента в "последовательности" (живой пример):

    #define ALIGNOF(seq) alignof(BOOST_PP_SEQ_ENUM(seq))
    ALIGNOF((aligned_storage<16)(16>::type))
    
  • Если аргумент является типом, используйте typedef (живой пример):

    typedef aligned_storage<16, 16>::type storage_t;
    ALIGNOF(storage_t)
    

    Обратите внимание, что шаблонные псевдонимы могут быть созданы до С++ 11 путем шаблонирования структуры и отображения члена type:

    template<int N> 
    struct alias {
        typedef typename aligned_storage<N, N>::type type;
    };
    
  • Если аргумент можно использовать в скобках, попросите вызывающего пользователя обернуть аргумент в круглые скобки и использовать его напрямую. Это не относится к alignof.