#if Nutzung mit Aufzählungen

Question

ich eine Header-Datei wie mit etwas:

enum DataRate { 
    AB0, 
    AB1, 
    AB2, 
    ... 
}; 

und in meinem Code habe ich Dinge wie

#define S_FACTOR AB0 

Nun Funktionsaufrufe wie

foo(S_FACTOR); 

scheint zu funktionieren OK, aber bedingte Kompilationen

#if ((S_FACTOR == AB0) || (S_FACTOR == AB2)) 

funktionieren nicht richtig.

Answer 1

Der Präprozessor weiß nichts über Enums; es ist einfach ein Manipulator von Text. Wenn Sie

#define S_FACTOR AB0 

Sie erzählen den Prä-Prozessor das Token S_FACTOR mit dem Token AB0 und nichts anderes zu ersetzen.

Die Präprozessor-Direktive #if ist ein bisschen eine Kuriosität. Es tut immer noch wenig mehr als eine Textersetzung, mit der Absicht, sein Argument auf einen arithmetischen Ausdruck mit ganzzahligen Konstanten zu reduzieren. Es beginnt damit, alle definierten Makros im Ausdruck zu ersetzen. Dann ersetzt es jedes verbleibende Bezeichner-Token durch 0 und versucht, den Ausdruck auszuwerten.

So

#if ((S_FACTOR == AB0) || (S_FACTOR == AB2)) 

wird zunächst auf

#if ((AB0 == AB0) || (AB0 == AB2)) 

reduziert werden, da S_FACTOR ein Makro mit einem Ersatz-Liste ist.

Dann ersetzt sie alle Bezeichner mit 0:

#if ((0 == 0) || (0 == 0)) 

, die sicherlich auf 1 (durch die üblichen C-Semantik für Boolesche Werte) auswertet, so dass der Körper des #if verarbeitet wird. Aber es wäre genau das gleiche gewesen, wenn S_FACTOR als AB1 #definiert worden wäre.

Es gibt einen Grund, warum der Präprozessor vor Prozessor genannt wird. Es macht seine Arbeit vor jeder anderen Verarbeitung, einschließlich Deklarationen.