Với sự tôn trọng lớn nhất đối với Derek Ledbetter , David Sorkovsky , Syphorlate vì câu trả lời của họ, cùng với phương pháp khéo léo để phát hiện các đối số macro trống của Jens Gustedt tại
https://gustedt.wordpress.com/2010/06/08/detect-empty-macro-arguments/
cuối cùng, tôi đưa ra một thứ kết hợp tất cả các thủ thuật, để giải pháp
- Chỉ sử dụng macro C99 tiêu chuẩn để đạt được quá tải hàm, không liên quan đến phần mở rộng GCC / CLANG / MSVC (nghĩa là nuốt dấu phẩy đối với biểu thức cụ thể
, ##__VA_ARGS__cho GCC / CLANG và nuốt ngầm ##__VA_ARGS__đối với MSVC). Vì vậy, hãy chuyển phần còn thiếu --std=c99cho trình biên dịch của bạn nếu bạn muốn =)
- Hoạt động với đối số không , cũng như số lượng đối số không giới hạn , nếu bạn mở rộng thêm cho phù hợp với nhu cầu của mình
Hoạt động hợp lý trên nhiều nền tảng , ít nhất đã được thử nghiệm
- GNU / Linux + GCC (GCC 4.9.2 trên CentOS 7.0 x86_64)
- GNU / Linux + CLANG / LLVM , (CLANG / LLVM 3.5.0 trên CentOS 7.0 x86_64)
- OS X + Xcode , (XCode 6.1.1 trên OS X Yosemite 10.10.1)
- Windows + Visual Studio , (Visual Studio 2013 Update 4 trên Windows 7 SP1 64 bit)
Đối với những người lười biếng, chỉ cần bỏ qua phần cuối cùng của bài đăng này để sao chép nguồn. Dưới đây là lời giải chi tiết, hy vọng sẽ giúp ích và truyền cảm hứng cho tất cả những người đang tìm kiếm các __VA_ARGS__giải pháp chung như tôi. =)
Đây là cách nó diễn ra. Đầu tiên xác định người sử dụng có thể nhìn thấy quá tải "chức năng", tôi đặt tên cho nó create, và định nghĩa hàm thực tế liên quan realCreate, và các định nghĩa vĩ mô với số lượng khác nhau của các đối số CREATE_2, CREATE_1, CREATE_0, như hình dưới đây:
#define create(...) MACRO_CHOOSER(__VA_ARGS__)(__VA_ARGS__)
void realCreate(int x, int y)
{
printf("(%d, %d)\n", x, y);
}
#define CREATE_2(x, y) realCreate(x, y)
#define CREATE_1(x) CREATE_2(x, 0)
#define CREATE_0() CREATE_1(0)
Phần MACRO_CHOOSER(__VA_ARGS__)cuối cùng giải quyết các tên định nghĩa macro và phần thứ hai (__VA_ARGS__)bao gồm danh sách tham số của chúng. Vì vậy, lời gọi của người dùng để create(10)giải quyết CREATE_1(10), CREATE_1một phần đến từ MACRO_CHOOSER(__VA_ARGS__)và (10)một phần đến từ thứ hai (__VA_ARGS__).
Thủ thuật MACRO_CHOOSERsử dụng thủ thuật rằng, nếu __VA_ARGS__trống, biểu thức sau được nối thành một lệnh gọi macro hợp lệ bởi bộ tiền xử lý:
NO_ARG_EXPANDER __VA_ARGS__ () // simply shrinks to NO_ARG_EXPANDER()
Thật khéo léo, chúng ta có thể xác định lệnh gọi macro kết quả này là
#define NO_ARG_EXPANDER() ,,CREATE_0
Lưu ý hai dấu phẩy, chúng sẽ sớm được giải thích. Macro hữu ích tiếp theo là
#define MACRO_CHOOSER(...) CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER __VA_ARGS__ ())
vì vậy các cuộc gọi của
create();
create(10);
create(20, 20);
thực sự được mở rộng thành
CHOOSE_FROM_ARG_COUNT(,,CREATE_0)();
CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER 10 ())(10);
CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER 20, 20 ())(20, 20);
Như tên macro cho thấy, chúng ta sẽ đếm số lượng đối số sau đó. Đây là một thủ thuật khác: bộ tiền xử lý chỉ thực hiện thay thế văn bản đơn giản. Nó suy ra số lượng đối số của một lệnh gọi macro đơn thuần từ số dấu phẩy mà nó nhìn thấy bên trong dấu ngoặc đơn. Các "đối số" thực tế được phân tách bằng dấu phẩy không cần phải có cú pháp hợp lệ. Chúng có thể là bất kỳ văn bản nào. Có nghĩa là, trong ví dụ trên, NO_ARG_EXPANDER 10 ()được tính là 1 đối số cho lệnh gọi giữa. NO_ARG_EXPANDER 20và 20 ()được tính là 2 đối số cho lệnh gọi dưới cùng tương ứng.
Nếu chúng tôi sử dụng các macro trợ giúp sau để mở rộng thêm
##define CHOOSE_FROM_ARG_COUNT(...) \
FUNC_RECOMPOSER((__VA_ARGS__, CREATE_2, CREATE_1, ))
#define FUNC_RECOMPOSER(argsWithParentheses) \
FUNC_CHOOSER argsWithParentheses
Dấu ,sau CREATE_1là phần xử lý xung quanh cho GCC / CLANG, loại bỏ lỗi (dương tính giả) nói rằng ISO C99 requires rest arguments to be usedkhi chuyển -pedanticđến trình biên dịch của bạn. Đây FUNC_RECOMPOSERlà một công việc xung quanh cho MSVC, hoặc nó không thể đếm số đối số (nghĩa là, dấu phẩy) bên trong dấu ngoặc đơn của lệnh gọi macro một cách chính xác. Kết quả tiếp tục được giải quyết để
FUNC_CHOOSER (,,CREATE_0, CREATE_2, CREATE_1, )();
FUNC_CHOOSER (NO_ARG_EXPANDER 10 (), CREATE_2, CREATE_1, )(10);
FUNC_CHOOSER (NO_ARG_EXPANDER 20, 20 (), CREATE_2, CREATE_1, )(20, 20);
Như con mắt đại bàng mà bạn có thể đã thấy, bước cuối cùng chúng ta cần là sử dụng thủ thuật đếm đối số tiêu chuẩn để cuối cùng chọn tên phiên bản macro mong muốn:
#define FUNC_CHOOSER(_f1, _f2, _f3, ...) _f3
giải quyết kết quả thành
CREATE_0();
CREATE_1(10);
CREATE_2(20, 20);
và chắc chắn cung cấp cho chúng ta các lệnh gọi hàm thực tế, mong muốn:
realCreate(0, 0);
realCreate(10, 10);
realCreate(20, 20);
Tổng hợp tất cả lại với nhau, với một số sắp xếp lại các câu lệnh để dễ đọc hơn, toàn bộ nguồn của ví dụ 2 đối số là ở đây:
#include <stdio.h>
void realCreate(int x, int y)
{
printf("(%d, %d)\n", x, y);
}
#define CREATE_2(x, y) realCreate(x, y)
#define CREATE_1(x) CREATE_2(x, 0)
#define CREATE_0() CREATE_1(0)
#define FUNC_CHOOSER(_f1, _f2, _f3, ...) _f3
#define FUNC_RECOMPOSER(argsWithParentheses) FUNC_CHOOSER argsWithParentheses
#define CHOOSE_FROM_ARG_COUNT(...) FUNC_RECOMPOSER((__VA_ARGS__, CREATE_2, CREATE_1, ))
#define NO_ARG_EXPANDER() ,,CREATE_0
#define MACRO_CHOOSER(...) CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER __VA_ARGS__ ())
#define create(...) MACRO_CHOOSER(__VA_ARGS__)(__VA_ARGS__)
int main()
{
create();
create(10);
create(20, 20);
//create(30, 30, 30); // Compilation error
return 0;
}
Mặc dù phức tạp, xấu xí, tạo gánh nặng cho nhà phát triển API, nhưng có một giải pháp để xử lý quá tải và thiết lập các tham số tùy chọn của các hàm C / C ++ cho những kẻ điên rồ. Việc sử dụng các API quá tải sắp ra mắt trở nên rất thú vị và dễ chịu. =)
Nếu có bất kỳ đơn giản hóa nào khác có thể có về phương pháp này, vui lòng cho tôi biết tại
https://github.com/jason-deng/C99FunctionOverload
Một lần nữa, xin gửi lời cảm ơn đặc biệt đến tất cả những con người xuất sắc đã truyền cảm hứng và dẫn dắt tôi đạt được tác phẩm này! =)