Ist es falsch, Präprozessordirektiven in ein funktionsähnliches Makro einzufügen?

Ich weiß, dass meine Frage dieser oder dieser ähnlich ist, aber ich finde, dass sie nicht wirklich dieselbe ist, und mehr noch, die zweite hat keine akzeptierte Antwort, ich habe mich entschieden zu fragen, ob es richtig ist, Präprozessordirektiven hinzuzufügen, wann ein funktionsähnliches Makro aufgerufen wird?

In meinem Fall habe ich ein funktionsähnliches Makro:

#define FUNC_MACRO(a, b)  // do something with the variables

und irgendwo im Code nenne ich es mit einem bestimmten Unterschied, wenn ein anderes Makro definiert ist:

// ...
FUNC_MACRO(aVal
#ifdef ANOTHER_MACRO
                + offset
#endif // ANOTHER_MACRO
           , bVal);
// ...

Ich habe es auf meinem Computer (Linux, mit gcc 4.8) getestet und es hat gut funktioniert (mit und ohne Präprozessordirektiven und mit und ohne ANOTHER_MACRO definiert), aber ist es sicher, dies zu tun?

Ich habe den Absatz 16.3/9 aus der Antwort auf die erste ähnliche Frage gelesen, aber gilt er auch für meinen Fall?

Die C-Sprache belässt dies als undefiniertes Verhalten in 6.10.3 Makroersetzung, ¶11:

Wenn in der Liste der Argumente Sequenzen von Vorverarbeitungstoken vorhanden sind, die ansonsten als Vorverarbeitungsanweisungen fungieren würden, ist das Verhalten nicht definiert.

Es ist also in der Tat falsch, es zu tun.

GCC und vielleicht andere populäre Kompilierungen verstehen es nicht, was wahrscheinlich der Grund dafür ist, dass viele Benutzer der Sprache sich dessen nicht bewusst sind. Ich bin darauf gestoßen, als ein Teil meines Codes auf PCC nicht kompiliert werden konnte (und den Fehler in meinem Code umgehend behoben hat).

Update: PJTraill hat in den Kommentaren nach einem Fall gefragt, in dem es „irreführend oder bedeutungslos“ wäre, Präprozessordirektiven in einer Makroerweiterung zu haben. Hier ist eine offensichtliche:

    foo(a, b,
#ifdef BAR
        c);
#else
        d);
#endif

Ich bin mir nicht sicher, ob es für die Sprache plausibel gewesen wäre, dies anzugeben ausgewogen Präprozessorbedingungen innerhalb der Makroerweiterung sind in Ordnung, aber ich denke, Sie würden auch dort auf Probleme mit Mehrdeutigkeiten in der Reihenfolge stoßen, in der sie verarbeitet werden sollten.

Gehen Sie stattdessen wie folgt vor?

#ifdef ANOTHER_MACRO
FUNC_MACRO(aVal + offset, bVal);
#else
FUNC_MACRO(aVal, bVal);
#endif

BEARBEITEN: Umgang mit Bedenken, die durch einen Kommentar geäußert wurden; Ich weiß nicht, ob die Methode des OP ist speziell falsch (ich denke, andere Antworten decken das ab). Prägnanz und Klarheit sind jedoch zwei Aspekte, die beim Codieren mit C als ziemlich wichtig angesehen werden.

Daher würde ich es viel vorziehen, bessere Wege zu finden, um das zu erreichen, was das OP zu versuchen scheint, indem ich die Situation, wie ich sie oben angeboten habe, leicht überdenke. Ich denke, das OP hat vielleicht ein trivialisiertes Beispiel verwendet, aber ich finde normalerweise bei den meisten C-Situationen, dass es bessere Möglichkeiten gibt, das zu erreichen, was benötigt wird, wenn etwas übermäßig komplex wird oder versucht, etwas zu tun, was die Sprache nicht zulassen sollte .