Gibt es in C/C++ eine Direktive ähnlich #ifndef für Typedefs?

Wenn ich einen Wert nur definieren möchte, wenn er nicht definiert ist, gehe ich so vor:

#ifndef THING
#define THING OTHER_THING
#endif

Was wäre wenn THING ist ein typedef‘d Bezeichner und nicht definiert? Ich möchte so etwas tun:

#ifntypedef thing_type
typedef uint32_t thing_type
#endif

Das Problem trat auf, weil ich überprüfen wollte, ob eine externe Bibliothek die bereits definiert hat boolean Typ, aber ich wäre offen für eine allgemeinere Lösung.

So etwas gibt es in der Sprache nicht und wird auch nicht benötigt. Innerhalb eines einzelnen Projekts sollten Sie niemals denselben Typedef-Alias ​​haben, der sich auf verschiedene Typen bezieht, da dies eine Verletzung des ODR darstellt, und wenn Sie denselben Alias ​​für denselben Typ erstellen, tun Sie es einfach. Die Sprache ermöglicht es Ihnen, denselben Typedef so oft auszuführen, wie Sie möchten, und fängt normalerweise diesen bestimmten ODR (innerhalb derselben Übersetzungseinheit) ab:

typedef int myint;
typedef int myint;       // OK: myint is still an alias to int
//typedef double myint;  // Error: myint already defined as alias to int

Wenn Sie beabsichtigen, eine Funktion für verschiedene Typen zu implementieren, indem Sie eine Typedef verwenden, um zu bestimmen, welche verwendet werden soll, dann sollten Sie sich eher mit Vorlagen als mit Typedefs befassen.

C++ bietet keinen Mechanismus für Code, um das Vorhandensein zu testen typedefdas Beste, was Sie haben können, ist so etwas:

#ifndef THING_TYPE_DEFINED
#define THING_TYPE_DEFINED
typedef uint32_t thing_type 
#endif

BEARBEITEN:
^{Wie @David in seinem Kommentar richtig ist, beantwortet dies die wie? Teil vermisst aber vor allem die warum? Es kann auf die obige Weise gemacht werden. Wenn Sie es überhaupt tun möchten, aber wichtig ist, müssen Sie es wahrscheinlich sowieso nicht tun. @Davids Antwort und Kommentar erklären die Details, und ich denke, das beantwortet die Frage richtig.}

Nein, es gibt keine solche Einrichtung in C++ in der Vorverarbeitungsphase. Höchstens tun können ist

#ifndef thing_type
#define thing_type uint32_t 
#endif

Obwohl dies keine gute Codierungspraxis ist und ich es nicht vorschlage.

Präprozessordirektiven (wie #define) sind grobe Textersetzungswerkzeuge, die nichts über die Programmiersprache wissen und daher nicht auf Definitionen auf Sprachebene reagieren können.

Es gibt zwei Ansätze, um sicherzustellen, dass ein Typ nur einmal definiert wird:

• Strukturieren Sie den Code so, dass jede Definition ihren Platz hat und nicht mehrere Definitionen erforderlich sind
• #define ein Präprozessor-Makro neben dem Typ und der Verwendung #ifndef um die Makrodefinition zu überprüfen, bevor der Typ definiert wird.

Die erste Option führt im Allgemeinen zu besser wartbarem Code. Der zweite könnte subtile Fehler verursachen, wenn Sie versehentlich mit unterschiedlichen Definitionen des Typs innerhalb eines Programms enden.

Wie andere bereits gesagt haben, gibt es so etwas nicht, aber wenn Sie versuchen, einen Alias ​​für einen anderen Typ zu erstellen, erhalten Sie einen Kompilierungsfehler:

typedef int myInt;
typedef int myInt;    // ok, same alias
typedef float myInt;  // error

Allerdings gibt es eine Sache namens ctag um herauszufinden, wo eine Typedef definiert ist.

Das Problem ist eigentlich echtes PITA, denn einige APIs oder SDKs definieren häufig verwendete Dinge neu. Ich hatte das Problem, dass Header-Dateien für eine Kartenverarbeitungssoftware (GIS) TRUE- und FALSE-Schlüsselwörter (im Allgemeinen von Windows SDK verwendet) in Ganzzahlliterale anstelle von wahren und falschen Schlüsselwörtern umdefinierten (offensichtlich kann das ETWAS beschädigen). Und ja, der berühmte Witz „#define true false“ ist relevant.

define würde niemals eine in C\C++-Code deklarierte Typedef oder Konstante erkennen, da der Präprozessor den Code nicht analysiert, sondern nur nach #-Anweisungen sucht. Und es ändert den Code, bevor es an den Syntaxanalysator übergeben wird. SO, im Allgemeinen ist es nicht möglich.

https://msdn.microsoft.com/en-us/library/5xkf423c.aspx?f=255&MSPPError=-2147217396
Dieser ist bisher nicht portierbar, obwohl es bekannte Anfragen gab, ihn in GCC zu implementieren. Ich denke, es zählt auch als “Erweiterung” in MSVC. Es ist eine Compiler-Anweisung, keine Präprozessor-Anweisung, daher “fühlt” es keine definierten Makros, es würde nur Typedefs außerhalb des Funktionskörpers erkennen. “full type” bedeutet dort, dass es auf die volle Definition reagiert und Aussagen wie “class SomeClass;” ignoriert. Verwenden Sie es auf eigene Gefahr.

Bearbeiten: Anscheinend wird es jetzt auch auf MacOS unterstützt und vom Intel-Comiler mit -fms-dialect-Flag (AIX\Linux?)

Dies beantwortet die Frage möglicherweise nicht direkt, dient jedoch als mögliche Lösung für Ihr Problem.

Warum nicht so etwas ausprobieren?

#define DEFAULT_TYPE int // just for argument's sake
#ifndef MY_COOL_TYPE
     #define MY_COOL_TYPE DEFAULT_TYPE
#endif
typedef MY_COOL_TYPE My_Cool_Datatype_t;

Wenn Sie dann den Typ anpassen möchten, können Sie entweder MY_COOL_TYPE irgendwo darüber definieren (wie in einem “configure” -Header, der oben in diesem Header enthalten ist) oder ihn beim Kompilieren als Befehlszeilenargument übergeben (soweit I wissen, dass Sie dies mit GCC und LLVM tun können, vielleicht auch mit anderen).