Z wielkim szacunkiem dla Dereka Ledbettera , Davida Sorkovsky'ego , Syphorlate za ich odpowiedzi, wraz z genialną metodą wykrywania pustych argumentów makro Jensa Gustedta w
https://gustedt.wordpress.com/2010/06/08/detect-empty-macro-arguments/
w końcu wyszedłem z czymś, co zawiera wszystkie sztuczki, tak że rozwiązanie
- Używa tylko standardowych makr C99, aby osiągnąć przeciążenie funkcji, bez rozszerzenia GCC / CLANG / MSVC (tj. Połykanie przecinków przez określone wyrażenie
, ##__VA_ARGS__dla GCC / CLANG i niejawne połykanie przez ##__VA_ARGS__dla MSVC). Więc --std=c99jeśli chcesz, możesz przekazać brakujące informacje do swojego kompilatora =)
- Działa dla zerowych argumentów , a także dla nieograniczonej liczby argumentów , jeśli rozszerzysz je dalej, aby dopasować je do swoich potrzeb
Działa rozsądnie na wielu platformach , przynajmniej przetestowany pod kątem
- GNU / Linux + GCC (GCC 4.9.2 na CentOS 7.0 x86_64)
- GNU / Linux + CLANG / LLVM , (CLANG / LLVM 3.5.0 na CentOS 7.0 x86_64)
- OS X + Xcode (XCode 6.1.1 w systemie OS X Yosemite 10.10.1)
- Windows + Visual Studio (Visual Studio 2013 Update 4 w systemie Windows 7 SP1 64 bity)
Dla leniwców po prostu przejdź do ostatniego z tego postu, aby skopiować źródło. Poniżej znajduje się szczegółowe wyjaśnienie, które, miejmy nadzieję, pomoże i zainspiruje wszystkich szukających generała__VA_ARGS__ rozwiązań, takich jak ja. =)
Oto jak to działa. Najpierw zdefiniować przeciążony „funkcja” widoczne dla użytkowników, nazwałem go create, a związane rzeczywista definicja funkcji realCreate, a makro definicje z różną liczbą argumentów CREATE_2, CREATE_1, CREATE_0, jak pokazano poniżej:
#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__)Część ostatecznie postanawia makro nazwy definicji, a druga (__VA_ARGS__)część obejmuje swoje listy parametrów. Tak więc wywołanie użytkownika do jest create(10)rozstrzygane na CREATE_1(10), CREATE_1część pochodzi z MACRO_CHOOSER(__VA_ARGS__), a(10) część z drugiej (__VA_ARGS__).
MACRO_CHOOSERStosuje podstęp, że jeśli __VA_ARGS__jest pusta, następujące wyrażenie jest łączony do ważnej rozmowy przez makro preprocesora:
NO_ARG_EXPANDER __VA_ARGS__ () // simply shrinks to NO_ARG_EXPANDER()
Genialnie możemy zdefiniować to wynikowe wywołanie makra jako
#define NO_ARG_EXPANDER() ,,CREATE_0
Zwróć uwagę na dwa przecinki, zostaną one wkrótce wyjaśnione. Kolejne przydatne makro to
#define MACRO_CHOOSER(...) CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER __VA_ARGS__ ())
więc wezwania
create();
create(10);
create(20, 20);
są faktycznie rozszerzone do
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);
Jak sugeruje nazwa makra, później policzymy liczbę argumentów. Oto kolejna sztuczka: preprocesor wykonuje tylko prostą zamianę tekstu. Wyprowadza liczbę argumentów wywołania makra jedynie z liczby przecinków, które widzi w nawiasach. Rzeczywiste „argumenty” oddzielone przecinkami nie muszą mieć prawidłowej składni. Może to być dowolny tekst. To znaczy, że w powyższym przykładzie NO_ARG_EXPANDER 10 ()jest liczony jako 1 argument dla wywołania środkowego.NO_ARG_EXPANDER 20i 20 ()są liczone jako 2 argumenty odpowiednio dla dolnego wywołania.
Jeśli użyjemy następujących makr pomocniczych, aby je dalej rozwinąć
##define CHOOSE_FROM_ARG_COUNT(...) \
FUNC_RECOMPOSER((__VA_ARGS__, CREATE_2, CREATE_1, ))
#define FUNC_RECOMPOSER(argsWithParentheses) \
FUNC_CHOOSER argsWithParentheses
Końcowe ,po CREATE_1jest obejściem dla GCC / CLANG, pomijając (fałszywie dodatni) błąd mówiący o tym ISO C99 requires rest arguments to be usedpodczas przekazywania -pedanticdo kompilatora. Jest FUNC_RECOMPOSERto obejście dla MSVC lub nie może poprawnie policzyć liczby argumentów (tj. Przecinków) w nawiasach przy wywołaniach makr. Wyniki są dalej rozwiązywane do
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);
Jak zapewne widzieliście orle oczy, ostatnim jedynym krokiem, jakiego potrzebujemy, jest zastosowanie standardowej sztuczki zliczania argumentów, aby ostatecznie wybrać żądane nazwy wersji makr:
#define FUNC_CHOOSER(_f1, _f2, _f3, ...) _f3
który rozwiązuje wyniki na
CREATE_0();
CREATE_1(10);
CREATE_2(20, 20);
i na pewno daje nam pożądane, rzeczywiste wywołania funkcji:
realCreate(0, 0);
realCreate(10, 10);
realCreate(20, 20);
Podsumowując wszystko razem, z pewnym przegrupowaniem instrukcji dla lepszej czytelności, całe źródło dwuargumentowego przykładu jest tutaj:
#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;
}
Chociaż jest to skomplikowane, brzydkie, obciążające programistę API, pojawia się rozwiązanie do przeciążania i ustawiania opcjonalnych parametrów funkcji C / C ++ dla nas szalonych ludzi. Korzystanie z wychodzących przeciążonych interfejsów API staje się bardzo przyjemne i przyjemne. =)
Jeśli istnieje jakiekolwiek dalsze uproszczenie tego podejścia, proszę o kontakt pod adresem
https://github.com/jason-deng/C99FunctionOverload
Jeszcze raz specjalne podziękowania dla wszystkich wspaniałych ludzi, którzy zainspirowali mnie i doprowadzili do wykonania tego dzieła! =)