คำตอบของ Leushenkoนั้นเจ๋งจริง ๆ - เพียงอย่างเดียว: fooตัวอย่างไม่ได้รวบรวม GCC ซึ่งล้มเหลวfoo(7)โดยสะดุดเหนือFIRSTแมโครและการเรียกใช้ฟังก์ชันจริง ( (_1, __VA_ARGS__)เหลืออยู่ด้วยเครื่องหมายจุลภาคส่วนเกินนอกจากนี้เรากำลังมีปัญหาหากเราต้องการให้มีการโอเวอร์โหลดเพิ่มเติม foo(double)เช่น
ดังนั้นฉันตัดสินใจที่จะอธิบายคำตอบให้ละเอียดมากขึ้นอีกเล็กน้อยรวมถึงอนุญาตให้มีโมฆะโอเวอร์โหลด ( 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 \
) \
)
ตกลงฉันได้เพิ่มโมฆะการโหลดเกินแล้ว - อย่างไรก็ตามอันนี้จริง ๆ แล้วไม่ครอบคลุมโดยมาตรฐาน C ซึ่งไม่อนุญาตให้มีการขัดแย้ง Variadic ที่ว่างเปล่านั่นคือเราจะพึ่งพาส่วนขยายคอมไพเลอร์ !
ในตอนแรกการเรียกมาโครที่ว่างเปล่า ( foo()) ยังคงสร้างโทเค็น แต่จะว่างเปล่า ดังนั้นการนับมาโครจริง ๆ แล้วส่งกลับค่า 1 แทน 0 แม้ว่าจะเรียกแมโครว่างเปล่า เราสามารถ "กำจัดปัญหานี้ได้อย่างง่ายดาย" ถ้าเราวางเครื่องหมายจุลภาคหลังจาก__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;
}