С большим уважением к Дереку Ледбеттеру , Дэвиду Сорковскому , Syphorlate за их ответы, а также за изобретательный метод обнаружения пустых аргументов макроса, разработанный Йенсом Густедтом в
https://gustedt.wordpress.com/2010/06/08/detect-empty-macro-arguments/
наконец, я придумываю что-то, что включает все уловки, так что
- Использует только стандартные макросы C99 для достижения перегрузки функций, без расширения GCC / CLANG / MSVC (т.е. проглатывание запятой в конкретном выражении
, ##__VA_ARGS__для GCC / CLANG и неявное проглатывание ##__VA_ARGS__для MSVC). Так что не стесняйтесь передавать недостающее --std=c99вашему компилятору, если хотите =)
- Работает как с нулевым аргументом , так и с неограниченным количеством аргументов , если вы расширите его дальше в соответствии с вашими потребностями
Достаточно кроссплатформенный , по крайней мере, протестирован на
- GNU / Linux + GCC (GCC 4.9.2 на CentOS 7.0 x86_64)
- GNU / Linux + CLANG / LLVM , (CLANG / LLVM 3.5.0 на CentOS 7.0 x86_64)
- OS X + Xcode , (XCode 6.1.1 в OS X Yosemite 10.10.1)
- Windows + Visual Studio , (Visual Studio 2013 с обновлением 4 для 64-разрядной версии Windows 7 SP1)
Для ленивых просто перейдите к самому последнему посту, чтобы скопировать исходный код. Ниже приводится подробное объяснение, которое, надеюсь, поможет и вдохновит всех людей, ищущих общие __VA_ARGS__решения, таких как я. знак равно
Вот как это происходит. Сначала определит функцию «» перегруженный пользователя видно, я назвал его create, и связанным с этим фактическим определением функции realCreate, и макроопределение с различным числом аргументов CREATE_2, CREATE_1, CREATE_0, как показано ниже:
#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)
MACRO_CHOOSER(__VA_ARGS__)Часть в конечном счете решает имена макроопределений, а вторая (__VA_ARGS__)часть содержит списки параметров. Итак, обращение пользователя к create(10)разрешается CREATE_1(10), CREATE_1часть исходит от MACRO_CHOOSER(__VA_ARGS__), а (10)часть - от второй (__VA_ARGS__).
MACRO_CHOOSERИспользует трюк , который, если __VA_ARGS__пусто, то следующее выражение сцепляется в действительный макровызов препроцессор:
NO_ARG_EXPANDER __VA_ARGS__ () // simply shrinks to NO_ARG_EXPANDER()
Изобретательно, мы можем определить этот результирующий вызов макроса как
#define NO_ARG_EXPANDER() ,,CREATE_0
Обратите внимание на две запятые, они скоро будут объяснены. Следующий полезный макрос:
#define MACRO_CHOOSER(...) CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER __VA_ARGS__ ())
так что звонки
create();
create(10);
create(20, 20);
фактически расширены до
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);
Как следует из названия макроса, мы должны подсчитать количество аргументов позже. А вот еще одна уловка: препроцессор выполняет только простую замену текста. Он выводит количество аргументов макроса просто из количества запятых в круглых скобках. Фактические «аргументы», разделенные запятыми, не обязательно должны иметь допустимый синтаксис. Это может быть любой текст. То есть, в приведенном выше примере NO_ARG_EXPANDER 10 ()считается 1 аргумент для среднего вызова. NO_ARG_EXPANDER 20и 20 ()считаются 2 аргументами для нижнего вызова соответственно.
Если мы используем следующие вспомогательные макросы для их дальнейшего расширения
##define CHOOSE_FROM_ARG_COUNT(...) \
FUNC_RECOMPOSER((__VA_ARGS__, CREATE_2, CREATE_1, ))
#define FUNC_RECOMPOSER(argsWithParentheses) \
FUNC_CHOOSER argsWithParentheses
Завершение ,после CREATE_1- это обходной путь для GCC / CLANG, подавляющий (ложноположительную) ошибку, сообщающую, что ISO C99 requires rest arguments to be usedпри передаче -pedanticвашему компилятору. Это FUNC_RECOMPOSERобходной путь для MSVC, иначе он не может правильно подсчитать количество аргументов (т. Е. Запятых) внутри скобок вызовов макросов. Результаты далее разрешаются к
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);
Как вы, возможно, заметили, последний единственный шаг, который нам нужен, - это использовать стандартный трюк с подсчетом аргументов, чтобы наконец выбрать нужные имена версий макросов:
#define FUNC_CHOOSER(_f1, _f2, _f3, ...) _f3
который разрешает результаты
CREATE_0();
CREATE_1(10);
CREATE_2(20, 20);
и, безусловно, дает нам желаемые, фактические вызовы функций:
realCreate(0, 0);
realCreate(10, 10);
realCreate(20, 20);
Собрав все вместе, с некоторой перестановкой операторов для лучшей читаемости, весь исходный код примера с двумя аргументами находится здесь:
#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;
}
Несмотря на сложность, уродливость, обременяющую разработчика API, для нас, сумасшедших, приходит решение для перегрузки и установки дополнительных параметров функций C / C ++. Использование выходящих перегруженных API становится очень приятным и приятным. знак равно
Если есть возможность дальнейшего упрощения этого подхода, сообщите мне об этом по адресу
https://github.com/jason-deng/C99FunctionOverload
Еще раз выражаю особую благодарность всем блестящим людям, которые вдохновили меня на эту работу! знак равно