Хочется макрос, который расширяется в разное в зависимости от наличия или отсутствия у него аргументов. Пример:
_return(); /* расширяется в return(0xDEAFBEEF); */
_return(a+b); /* расширяется в return(a+b); */
Как?
В принципе набрёл на такую ветку, но дальше что? Ну узнали мы сколько аргументов, и...
Ответ
Немного поправил исходный комплект макросов по ссылке. Вот что получилось:
#define __VA_NARG__(...) \
__VA_NARG_(_0, ## __VA_ARGS__, __RSEQ_N())
#define __VA_NARG_(...) \
__VA_ARG_N(__VA_ARGS__)
#define __VA_ARG_N( \
_1, _2, _3, _4, _5, _6, _7, _8, _9,_10, \
_11,_12,_13,_14,_15,_16,_17,_18,_19,_20, \
_21,_22,_23,_24,_25,_26,_27,_28,_29,_30, \
_31,_32,_33,_34,_35,_36,_37,_38,_39,_40, \
_41,_42,_43,_44,_45,_46,_47,_48,_49,_50, \
_51,_52,_53,_54,_55,_56,_57,_58,_59,_60, \
_61,_62,_63,N,...) N
#define __RSEQ_N() \
62, 61, 60, \
59, 58, 57, 56, 55, 54, 53, 52, 51, 50, \
49, 48, 47, 46, 45, 44, 43, 42, 41, 40, \
39, 38, 37, 36, 35, 34, 33, 32, 31, 30, \
29, 28, 27, 26, 25, 24, 23, 22, 21, 20, \
19, 18, 17, 16, 15, 14, 13, 12, 11, 10, \
9, 8, 7, 6, 5, 4, 3, 2, 1, 0
#define JOIN(x,y) _JOIN(x,y)
#define _JOIN(x,y) x##y
#define r(...) JOIN(r,__VA_NARG__(__VA_ARGS__))(__VA_ARGS__)
#define r0() nullargs()
#define r1(x) oneargs(x)
r(x);
r();
Тестирую на cpp из gcc. Получил в результате всех подстановок:
oneargs(x);
nullargs();
Двойная передача JOIN->_JOIN->## - иначе не разворачиваются макроаргументы.
Операция препроцессора ## склеивает без пробелов и получается новый идентификатор. В макросах с переменным числом аргументов ## после запятой и перед __VA_ARGS__ убирает запятую, если аргументов нет - это расширение gcc, поэтому в других компиляторах может не работать.