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

Скажем, что у нас есть реализация 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.