Die Übergabe von 0 Argumenten an variadic Makro scheitert in GCC, aber nur in C++?

Question

Im folgenden Code wird CHOOSE_MACRO zwischen zwei Makros auswählen soll, die ihn übergeben werden, auf der Grundlage der Anzahl der Argumente: FOO() zu RESULT0 erweitern sollte, und FOO(x) zu RESULT1 erweitern sollte.

Dies funktioniert mit Clang für C (http://rextester.com/LRX65441) und C++ (http://rextester.com/FYC46680).

In GCC, funktioniert es für C-Code (http://rextester.com/VWAPR56841), aber in C++ Code beiden Beschwörungen produzieren RESULT1 (http://rextester.com/ZNEKAV71986).

Was passiert und wie kann ich das plattformübergreifend umsetzen?

#define CHOOSE_MACRO(_0, _1, NAME, ...) NAME 
#define FOO(...) CHOOSE_MACRO(~~, ##__VA_ARGS__, RESULT1, RESULT0) 

void foo() 
{ 
    FOO(); // should produce RESULT0 - actually produces RESULT1 for gcc -x c++ 
} 

void bar() 
{ 
    FOO(x); // should produce RESULT1 
} 

Answer 1

Ich denke, Sie sind einfach falsch. Ich habe Ihren Code ein wenig verbessert und es auf vielen verschiedenen C++ - Compilern getestet, und es funktioniert jedes Mal so, wie Sie es wollen.

Siehe hier: https://godbolt.org/g/D6rgxS