Gerando declaração de função usando uma iteração de macro
Estou tentando gerar uma declaração de função usando uma macro
/* goal: generate int f(int a, float b) */
template<typename P>
struct ptype;
template<typename P>
struct ptype<void(P)> { typedef P type; };
#define NAMEe
#define COMMAe
#define COMMA ,
#define NAME(N) N PARAMS
#define PARAMS(P, ...) COMMA ## __VA_ARGS__ P NAME ## __VA_ARGS__
#define PARAM_ITER(P) P NAME
#define PROTO(R, N, P) \
ptype<void R>::type N (PARAM_ITER P (,e))
PROTO((int), f, (int)(a)(float)(b));
Processará iterativamente o próximo(name)
ou(type)
deNAME
ouPARAMS
respectivamente, com o...
tendo um argumento de macro vazio. Mas o GCC reclama com
prototype.hpp:20:35: warning: ISO C99 requires rest arguments to be used
E clang reclama com
ptype<void (int)>::type f (int aprototype.hpp:20:1: warning: varargs argument missing, but tolerated as an extension [-pedantic]
Acho que isso acontece por causa dos seguintes
#define FOO(X, ...)
FOO(A);
Por que não estou passando um argumento para o...
ou cada um desses(name)
ou(type)
. Existe algum trabalho simples que eu possa aplicar?
Agora usei uma técnica semelhante à técnica usada pelo @ James para encontrar o comprimento de uma lista de parâmetros. Se como segundo argumento, em vez deO
, ONT
for passado, imprimirei a vírgula eNAME
. A seguir está a solução final:
/* goal: generate void f(int a, float b) */
template<typename P>
struct ptype;
template<typename P>
struct ptype<void(P)> { typedef P type; };
#define TYPE_DO(X) X
#define TYPE_DONT(X)
#define TYPE_MAYBE(X, A, ...) TYPE_D ## A (X)
#define COMMA_DO ,
#define COMMA_DONT
#define COMMA_MAYBE(A, B, ...) COMMA_D ## B
#define NAME_DO NAME
#define NAME_DONT
#define NAME_MAYBE(A, B, ...) NAME_D ## B
#define NAME(N) N PARAMS
#define PARAMS(...) COMMA_MAYBE(__VA_ARGS__,O,O) TYPE_MAYBE(__VA_ARGS__,O,O) \
NAME_MAYBE(__VA_ARGS__,O,O)
#define PARAM_ITER(P) P NAME
#define PROTO(R, N, P) \
ptype<void R>::type N (PARAM_ITER P (D,ONT))
Teste
#define STR1(X) #X
#define STR(X) STR1(X)
int main() {
// prints correctly
std::cout << STR(PROTO((int), f, (int)(a)(float)(b)));
}