Макросъемка Variadic

Какой трюк создать переменный макрос FOO(a1, a2, a3,..., an), чтобы он расширялся до FOOn(a1, a2, a3,..., an) для значений n в любом выбранном ограниченном диапазоне, который вы выберете? То есть FOO(a) должен расширяться до FOO1(a), FOO(a, b, c) до FOO3(a, b, c) и т.д. Я знаю, что есть стандартный трюк, но я не могу его найти.

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

Ответ 2

#define VA_NARGS_IMPL(_1, _2, _3, _4, _5, N, ...) N
#define VA_NARGS(...) VA_NARGS_IMPL(__VA_ARGS__, 5, 4, 3, 2, 1)

#define FOO_IMPL2(count, ...) FOO ## count (__VA_ARGS__)
#define FOO_IMPL(count, ...) FOO_IMPL2(count, __VA_ARGS__) 
#define FOO(...) FOO_IMPL(VA_NARGS(__VA_ARGS__), __VA_ARGS__)

FOO(a)
FOO(a, b)
FOO(a, b, c)

Вызовы заменяются на:

FOO1 (a)
FOO2 (a, b)
FOO3 (a, b, c)

Ответ 3

Улучшение ответа Джеймса, чтобы добавить некоторую гибкость:

#define VA_NARGS_IMPL(_1, _2, _3, _4, _5, N, ...) N
#define VA_NARGS(...) VA_NARGS_IMPL(X,##__VA_ARGS__, 4, 3, 2, 1, 0)
#define VARARG_IMPL2(base, count, ...) base##count(__VA_ARGS__)
#define VARARG_IMPL(base, count, ...) VARARG_IMPL2(base, count, __VA_ARGS__) 
#define VARARG(base, ...) VARARG_IMPL(base, VA_NARGS(__VA_ARGS__), __VA_ARGS__)

#define MyMacro0() Also works without arguments.
#define MyMacro2(x,y) [x...y]
#define MyMacro(...) VARARG(MyMacro, __VA_ARGS__)

MyMacro()
MyMacro(a)
MyMacro(a, b)
MyMacro(a, b, c)

Вывод:

Also works without arguments.
MyMacro1(a)
[a...b]
MyMacro3(a, b, c)