Spezialisierung im std-Namespace: Einschränkungen und Genehmigungen

Trotz der Möglichkeit, explizite Spezialisierungen zum std-Namespace hinzuzufügen, gelten für bestimmte Vorlagen explizite Verbote . Das Verständnis dieser Einschränkungen ist von entscheidender Bedeutung, um die Gültigkeit von Code sicherzustellen, der Standard-Namespace-Spezialisierungen verwendet.

Vorlagen sind von der Spezialisierung ausgeschlossen

• numeric_limits: Nicht zulässig für nicht-arithmetische Standardtypen (z. B. complex).
• shared_ptr: Muss CopyConstructible, CopyAssignable, LessThanComparable und in bool konvertierbar sein.
• weak_ptr: Muss CopyConstructible sein Und CopyAssignable.
• std::hash: Spezialisierungen müssen die Anforderungen des Klassenvorlagen-Hashs erfüllen.
• type_traits: Explizite Spezialisierungen aller darin enthaltenen Klassenvorlagen sind undefiniert, sofern nicht angegeben.
• Gebietsschemata: Haben erforderliche Spezialisierungen.
• istreambuf_iterator: Erfordert einen trivialen Kopierkonstruktor, einen constexpr-Standardkonstruktor und einen trivialen Destruktor.
• complex: Nur Float, Double und Long Double Spezialisierungen sind zulässig.
• atomic: Spezialisierungen müssen einen gelöschten Kopierkonstruktor, einen Kopierzuweisungsoperator und einen constexpr-Wertkonstruktor haben.
• unäre_Funktion und binäre_Funktion: Veraltet und sollte nicht spezialisiert werden.

Zusätzlich Einschränkungen

• Gemäß Klausel 17.6.4.2.1 ist das Verhalten beim Hinzufügen von Deklarationen oder Definitionen zum Namespace std oder seinen Unternamespaces undefiniert. Ausnahmen gelten nur für Vorlagenspezialisierungen, die von benutzerdefinierten Typen abhängen und Standardanforderungen erfüllen.
• Es ist verboten, eine Mitgliedsfunktion einer Standardbibliotheksklassenvorlage, einer Mitgliedsfunktionsvorlage oder einer Mitgliedsklassenvorlage explizit zu spezialisieren.

Für die Spezialisierung zulässige Vorlagen

Vorlagen, die nicht ausdrücklich verboten sind, können spezialisiert werden, wenn sie von benutzerdefinierten Typen abhängen und die Standardanforderungen für die Originalvorlage erfüllen.