Макрос, который зависит от аргументов

Хочется макрос, который расширяется в разное в зависимости от наличия или отсутствия у него аргументов. Пример:
_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, поэтому в других компиляторах может не работать.