En büyük ilgili olarak Derek Ledbetter'a , David Sorkovsky , Syphorlate birlikte tarafından boş makro argümanları algılamak için ustaca yöntemle onların cevapları için, Jens Gustedt at
https://gustedt.wordpress.com/2010/06/08/detect-empty-macro-arguments/
sonunda tüm püf noktaları içeren bir şey buldum, böylece çözüm
- İşlev aşırı yüklemesini sağlamak için yalnızca standart C99 makrolarını kullanır , GCC / CLANG / MSVC uzantısı dahil değildir (yani,
, ##__VA_ARGS__GCC / CLANG için özel ifade tarafından virgül yutma ve ##__VA_ARGS__MSVC için örtük yutma ). Yani --std=c99dilerseniz eksikleri derleyicinize iletmekten çekinmeyin =)
- İçin Works sıfır argüman yanı sıra bağımsız değişkenler sınırsız sayıda , kendi ihtiyaçlarını karşılamak için daha da genişletmek eğer
Makul çapraz platformda çalışır , en azından test edilmiştir
- GNU / Linux + GCC (CentOS 7.0 x86_64 üzerinde GCC 4.9.2)
- GNU / Linux + CLANG / LLVM , (CentOS 7.0 x86_64 üzerinde CLANG / LLVM 3.5.0)
- OS X + Xcode , (OS X Yosemite 10.10.1 üzerinde XCode 6.1.1)
- Windows + Visual Studio , (Windows 7 SP1 64 bit üzerinde Visual Studio 2013 Güncelleştirme 4)
Tembellik için, kaynağı kopyalamak için bu yazının en sonuna atlayın. Aşağıda, __VA_ARGS__benim gibi genel çözümleri arayan herkese yardımcı olmayı ve ilham vermeyi umduğumuz ayrıntılı açıklama yer almaktadır . =)
İşte nasıl gidiyor. İlk olarak adlandırılan, kullanıcı tarafından görülebilen aşırı "fonksiyon" tanımlar createve ilgili gerçek fonksiyon tanımlama realCreateve bağımsız değişkenler farklı sayıda makro tanımlar CREATE_2, CREATE_1, CREATE_0, aşağıda gösterildiği gibidir:
#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__)Parçası sonuçta makro tanımı adları çözer ve ikinci (__VA_ARGS__)bölüm bunların parametre listelerini ihtiva etmektedir. Yani bir kullanıcının create(10)çözme çağrısı CREATE_1(10), CREATE_1parça geliyor MACRO_CHOOSER(__VA_ARGS__)ve (10)parça ikinciden geliyor (__VA_ARGS__).
MACRO_CHOOSEREğer bu numarayı kullanan __VA_ARGS__boştur, aşağıdaki ifade önişlemci tarafından geçerli bir makro çağrısı içine birleştirilmiş:
NO_ARG_EXPANDER __VA_ARGS__ () // simply shrinks to NO_ARG_EXPANDER()
Ustaca, ortaya çıkan bu makro çağrısını şöyle tanımlayabiliriz:
#define NO_ARG_EXPANDER() ,,CREATE_0
İki virgülü not edin, yakında açıklanacaklar. Bir sonraki kullanışlı makro
#define MACRO_CHOOSER(...) CHOOSE_FROM_ARG_COUNT(NO_ARG_EXPANDER __VA_ARGS__ ())
yani çağrıları
create();
create(10);
create(20, 20);
aslında genişletildi
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);
Makro adından da anlaşılacağı gibi, argümanların sayısını daha sonra sayacağız. İşte başka bir numara geliyor: önişlemci yalnızca basit metin değişimi yapıyor. Bir makro çağrısının argümanlarının sayısını yalnızca parantez içinde gördüğü virgül sayısından çıkarır. Virgülle ayrılmış gerçek "bağımsız değişkenler" geçerli sözdizimine sahip olmak zorunda değildir. Herhangi bir metin olabilirler. Yani, yukarıdaki örnekte, NO_ARG_EXPANDER 10 ()orta arama için 1 argüman olarak sayılır. NO_ARG_EXPANDER 20ve 20 ()sırasıyla alt arama için 2 bağımsız değişken olarak sayılır.
Bunları daha da genişletmek için aşağıdaki yardımcı makroları kullanırsak
##define CHOOSE_FROM_ARG_COUNT(...) \
FUNC_RECOMPOSER((__VA_ARGS__, CREATE_2, CREATE_1, ))
#define FUNC_RECOMPOSER(argsWithParentheses) \
FUNC_CHOOSER argsWithParentheses
Sondaki ,sonra CREATE_1bir iş-etrafında GCC / clang için, söyleyen bir (yanlış pozitif) hatası bastırmak olduğu ISO C99 requires rest arguments to be usedgeçerken -pedanticderleyici için. Bu FUNC_RECOMPOSER, MSVC için bir çözümdür veya makro çağrılarının parantezleri içindeki argüman sayısını (yani virgül) doğru şekilde sayamaz. Sonuçlar daha da çözüldü
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);
Görmüş olabileceğiniz gibi, ihtiyacımız olan son tek adım, nihayet istenen makro sürüm adlarını seçmek için standart bir argüman sayma hilesi kullanmaktır:
#define FUNC_CHOOSER(_f1, _f2, _f3, ...) _f3
sonuçları çözen
CREATE_0();
CREATE_1(10);
CREATE_2(20, 20);
ve bize kesinlikle istenen, gerçek işlev çağrılarını verir:
realCreate(0, 0);
realCreate(10, 10);
realCreate(20, 20);
Hepsini bir araya getirerek, daha iyi okunabilirlik için bazı ifadelerin yeniden düzenlenmesi ile 2 argüman örneğinin tüm kaynağı burada:
#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 geliştiricisine karmaşık, çirkin ve yük getirmesine rağmen, C / C ++ işlevlerinin isteğe bağlı parametrelerini bize çılgın insanlara aşırı yüklemek ve ayarlamak için bir çözüm geliyor. Dışarıdan gelen aşırı yüklenmiş API'lerin kullanımı çok zevkli ve hoş hale geliyor. =)
Bu yaklaşımın başka olası bir basitleştirilmesi varsa, lütfen şu adresten bana bildirin:
https://github.com/jason-deng/C99FunctionOverload
Bu çalışmayı başarmama ilham veren ve beni yönlendiren tüm parlak insanlara yine özel teşekkürler! =)