


Warum unterscheiden sich GCC und Clang im statischen Assert-Verhalten für nicht instanziierte Vorlagen?
Nov 04, 2024 pm 07:20 PMDiskrepanz im statischen Assertionsverhalten zwischen GCC und Clang
Bei der Vorlagenprogrammierung ist es möglich, bestimmte Bedingungen zur Kompilierungszeit mithilfe statischer Assertionen durchzusetzen. Allerdings können verschiedene Compiler bei der Auswertung dieser Behauptungen Unterschiede in ihrem Verhalten aufweisen, wie eine aktuelle Beobachtung zeigt.
Betrachten Sie den folgenden Codeausschnitt:
<code class="cpp">template <int answer> struct Hitchhiker { static_assert(sizeof(answer) != sizeof(answer), "Invalid answer"); }; template <> struct Hitchhiker<42> {};</code>
In diesem Beispiel versuchen wir dies Verwenden Sie eine statische Behauptung, um die allgemeine Vorlageninstanziierung für Hitchhiker zu deaktivieren. Bei der Kompilierung wird jedoch festgestellt, dass clang auch dann einen Assertionsfehler generiert, wenn die Vorlage nicht instanziiert wird, während gcc den Fehler nur generiert, wenn Hitchhiker mit einem anderen Parameter als 42 instanziiert wird.
Weitere Untersuchungen ergaben, dass diese Diskrepanz darauf zurückzuführen ist aus dem folgenden Codeteil:
<code class="cpp">template <int answer> struct Hitchhiker { static_assert(sizeof(int[answer]) != sizeof(int[answer]), "Invalid answer"); }; template <> struct Hitchhiker<42> {};</code>
Beim Kompilieren mit diesem geänderten Code zeigen beide Compiler das gleiche Verhalten: Die Assertion wird nur ausgelöst, wenn die allgemeine Vorlage instanziiert wird. Dieses Verhalten entspricht dem C-Standard, wie in [temp.res]/8 angegeben:
If no valid specialization can be generated for a template, and that template is not instantiated, the template is ill-formed, no diagnostic required.
Wenn es gemäß dieser Passage nicht möglich ist, eine gültige Spezialisierung für eine Vorlage zu generieren und diese nicht instanziiert wird, Die Vorlage gilt als fehlerhaft und erfordert keine Diagnose. In diesem Fall entscheidet sich clang dafür, eine Diagnose bereitzustellen, während gcc dies nicht tut.
Um die Beschränkung, nur 42 zuzulassen, durchzusetzen, besteht ein Ansatz darin, auf die Definition der allgemeinen Vorlage zu verzichten:
<code class="cpp">template <> struct Hitchhiker<42> {};</code>
Das obige ist der detaillierte Inhalt vonWarum unterscheiden sich GCC und Clang im statischen Assert-Verhalten für nicht instanziierte Vorlagen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Heißer Artikel

Hot-Tools-Tags

Heißer Artikel

Heiße Artikel -Tags

Notepad++7.3.1
Einfach zu bedienender und kostenloser Code-Editor

SublimeText3 chinesische Version
Chinesische Version, sehr einfach zu bedienen

Senden Sie Studio 13.0.1
Leistungsstarke integrierte PHP-Entwicklungsumgebung

Dreamweaver CS6
Visuelle Webentwicklungstools

SublimeText3 Mac-Version
Codebearbeitungssoftware auf Gottesniveau (SublimeText3)

Heiße Themen

Welche Werte sind von C -Sprachfunktionen zurückgegeben? Was bestimmt den Rückgabewert?

GULC: C -Bibliothek von Grund auf neu gebaut

C Sprachfunktionsformat -Buchstaben -Fall -Konvertierungsschritte

Was sind die Definitionen und Aufrufregeln von C -Sprachfunktionen und was sind die?

eindeutiger Gebrauch und Phrasenfreigabe

Wo ist der Rückgabewert der C -Sprachfunktion im Speicher?

Wie funktioniert die C -Standard -Vorlagenbibliothek (STL)?

Wie benutze ich Algorithmen aus der STL (sortieren, finden, transformieren usw.) effizient?
