Warum gibt es in Boost keine Standardvorlage „is_complete'?

Vorlage zur Überprüfung der Typvollständigkeit

Einführung

Die Feststellung, ob ein Typ vollständig ist, ist ein entscheidender Aspekt der Programmierung. Während die Boost-Bibliothek eine große Auswahl an TypeTraits bietet, fehlt auffallend eine is_complete-Vorlage. Dieser Artikel untersucht, warum eine solche Vorlage fehlt, und schlägt eine Lösung vor, die SFINAE verwendet.

Das sizeof-Problem

Die unmittelbare Herausforderung bei der Definition einer is_complete-Vorlage liegt in der Tatsache, dass sizeof auf eine unvollständige Vorlage angewendet wird Typ ist illegal. Diese Einschränkung ergibt sich aus der Möglichkeit von Mehrdeutigkeiten und undefiniertem Verhalten, die sich aus dem Fehlen einer gültigen Objektgröße ergeben.

Eine plattformspezifische Lösung

Um diese Einschränkung zu umgehen, schlug Alexey Malistov eine Plattform vor. spezifische Lösung, die Compiler-spezifische Makros nutzt. Sein Ansatz basiert auf dem Makro __COUNTER__, das mit jedem Makroaufruf inkrementiert wird. Dies ermöglicht die Erstellung einer Vorlage mit einem eindeutigen Dummy-Parameter für jeden getesteten Typ.

Der Code für diese Lösung sieht folgendermaßen aus:

<code class="cpp">namespace
{
    template<class T, int discriminator>
    struct is_complete {
      static T & getT();
      static char (& pass(T))[2];
      static char pass(...);
      static const bool value = sizeof(pass(getT()))==2;
    };
}
#define IS_COMPLETE(X) is_complete<X,__COUNTER__>::value</code>

Durch die Definition von is_complete als verschachtelte Klassenvorlage Durch die Verwendung des __COUNTER__-Makros als Diskriminator wird es möglich, die Typvollständigkeit auf plattformspezifische Weise zu überprüfen. Die Pass-Funktion dient als Dummy-Argument für die Anwendung von sizeof und die Unterscheidung zwischen vollständigen und unvollständigen Typen.

SFINAE und Typvollständigkeit

Während der SFINAE-Mechanismus (Substitution Failure is Not an Error) häufig verwendet wird B. die Vorlagenspezialisierung basierend auf Typeigenschaften aktivieren oder deaktivieren, kann sie nicht direkt zur Überprüfung der Typvollständigkeit angewendet werden. Der Grund dafür ist, dass is_complete zu einer Konstante und nicht zu einem Typ ausgewertet werden muss.

Fazit

Das Fehlen einer standardmäßigen is_complete-Vorlage in der Boost-Bibliothek ist auf die Herausforderungen zurückzuführen, die sich aus der Anwendung von sizeof ergeben zu unvollständigen Typen und den Einschränkungen von SFINAE. Allerdings können plattformspezifische Lösungen, wie die von Alexey Malistov vorgeschlagene, eine praktische Möglichkeit zur Überprüfung der Typvollständigkeit in bestimmten Umgebungen bieten.

Das obige ist der detaillierte Inhalt vonWarum gibt es in Boost keine Standardvorlage „is_complete'?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!