Leushenko의 대답 은 정말 멋진 것 입니다.이 foo예제는 GCC로 컴파일하지 않습니다 .GCC에서 실패 foo(7)하고 FIRST매크로와 실제 함수 호출 ( (_1, __VA_ARGS__), 잉여 쉼표로 남음). 추가 과부하를 제공하려는 경우 문제가 발생합니다 와 같은foo(double) .
그래서 void overload를 허용하는 것을 포함하여 답변을 조금 더 자세히 설명하기로 결정했습니다.foo(void) 이는 상당히 문제가되었습니다 ...).
아이디어는 다음과 같습니다. 다른 매크로에서 둘 이상의 제네릭을 정의하고 인수 수에 따라 올바른 것을 선택하십시오!
이 답변을 바탕으로 인수의 수는 매우 쉽습니다 .
#define foo(...) SELECT(__VA_ARGS__)(__VA_ARGS__)
#define SELECT(...) CONCAT(SELECT_, NARG(__VA_ARGS__))(__VA_ARGS__)
#define CONCAT(X, Y) CONCAT_(X, Y)
#define CONCAT_(X, Y) X ## Y
그것은 좋으며, 우리는 SELECT_1또는 SELECT_2(또는 당신이 원하거나 필요로하는 경우 더 많은 인수)로 해결하므로 적절한 정의가 필요합니다.
#define SELECT_0() foo_void
#define SELECT_1(_1) _Generic ((_1), \
int: foo_int, \
char: foo_char, \
double: foo_double \
)
#define SELECT_2(_1, _2) _Generic((_1), \
double: _Generic((_2), \
int: foo_double_int \
) \
)
좋아, 나는 이미 void 오버로드를 추가했다. 그러나 이것은 실제로 빈 표준 변수를 허용하지 않는 C 표준에 의해 다루어지지 않는다. 즉 우리 는 컴파일러 확장에 의존한다. !
처음에 빈 매크로 호출 ( foo())은 여전히 토큰을 생성하지만 빈 토큰을 생성합니다. 따라서 계산 매크로는 빈 매크로 호출에서도 실제로 0 대신 1을 반환합니다. 목록이 비어 있는지 여부에 따라 __VA_ARGS__ 조건부 뒤에 쉼표를 배치하면이 문제를 "쉽게"제거 할 수 있습니다 .
#define NARG(...) ARG4_(__VA_ARGS__ COMMA(__VA_ARGS__) 4, 3, 2, 1, 0)
즉 보였다 쉽게,하지만 COMMA매크로는 상당히 무거운이다; 다행 스럽게도이 주제는 Jens Gustedt (감사, Jens) 의 블로그 에서 이미 다룹니다 . 기본 요령은 함수 매크로가 괄호로 묶이지 않으면 확장되지 않는다는 것입니다. 자세한 설명은 Jens의 블로그를 살펴보십시오 ... 우리는 필요에 따라 매크로를 약간 수정해야합니다 (짧은 이름을 사용하겠습니다) 간결한 주장은 적습니다).
#define ARGN(...) ARGN_(__VA_ARGS__)
#define ARGN_(_0, _1, _2, _3, N, ...) N
#define HAS_COMMA(...) ARGN(__VA_ARGS__, 1, 1, 1, 0)
#define SET_COMMA(...) ,
#define COMMA(...) SELECT_COMMA \
( \
HAS_COMMA(__VA_ARGS__), \
HAS_COMMA(__VA_ARGS__ ()), \
HAS_COMMA(SET_COMMA __VA_ARGS__), \
HAS_COMMA(SET_COMMA __VA_ARGS__ ()) \
)
#define SELECT_COMMA(_0, _1, _2, _3) SELECT_COMMA_(_0, _1, _2, _3)
#define SELECT_COMMA_(_0, _1, _2, _3) COMMA_ ## _0 ## _1 ## _2 ## _3
#define COMMA_0000 ,
#define COMMA_0001
#define COMMA_0010 ,
// ... (all others with comma)
#define COMMA_1111 ,
그리고 지금 우리는 괜찮습니다 ...
한 블록의 완전한 코드 :
/*
* demo.c
*
* Created on: 2017-09-14
* Author: sboehler
*/
#include <stdio.h>
void foo_void(void)
{
puts("void");
}
void foo_int(int c)
{
printf("int: %d\n", c);
}
void foo_char(char c)
{
printf("char: %c\n", c);
}
void foo_double(double c)
{
printf("double: %.2f\n", c);
}
void foo_double_int(double c, int d)
{
printf("double: %.2f, int: %d\n", c, d);
}
#define foo(...) SELECT(__VA_ARGS__)(__VA_ARGS__)
#define SELECT(...) CONCAT(SELECT_, NARG(__VA_ARGS__))(__VA_ARGS__)
#define CONCAT(X, Y) CONCAT_(X, Y)
#define CONCAT_(X, Y) X ## Y
#define SELECT_0() foo_void
#define SELECT_1(_1) _Generic ((_1), \
int: foo_int, \
char: foo_char, \
double: foo_double \
)
#define SELECT_2(_1, _2) _Generic((_1), \
double: _Generic((_2), \
int: foo_double_int \
) \
)
#define ARGN(...) ARGN_(__VA_ARGS__)
#define ARGN_(_0, _1, _2, N, ...) N
#define NARG(...) ARGN(__VA_ARGS__ COMMA(__VA_ARGS__) 3, 2, 1, 0)
#define HAS_COMMA(...) ARGN(__VA_ARGS__, 1, 1, 0)
#define SET_COMMA(...) ,
#define COMMA(...) SELECT_COMMA \
( \
HAS_COMMA(__VA_ARGS__), \
HAS_COMMA(__VA_ARGS__ ()), \
HAS_COMMA(SET_COMMA __VA_ARGS__), \
HAS_COMMA(SET_COMMA __VA_ARGS__ ()) \
)
#define SELECT_COMMA(_0, _1, _2, _3) SELECT_COMMA_(_0, _1, _2, _3)
#define SELECT_COMMA_(_0, _1, _2, _3) COMMA_ ## _0 ## _1 ## _2 ## _3
#define COMMA_0000 ,
#define COMMA_0001
#define COMMA_0010 ,
#define COMMA_0011 ,
#define COMMA_0100 ,
#define COMMA_0101 ,
#define COMMA_0110 ,
#define COMMA_0111 ,
#define COMMA_1000 ,
#define COMMA_1001 ,
#define COMMA_1010 ,
#define COMMA_1011 ,
#define COMMA_1100 ,
#define COMMA_1101 ,
#define COMMA_1110 ,
#define COMMA_1111 ,
int main(int argc, char** argv)
{
foo();
foo(7);
foo(10.12);
foo(12.10, 7);
foo((char)'s');
return 0;
}