Wie kann ich eine starke Typisierung für Bezeichner erreichen und gleichzeitig die Kompatibilität mit Containern wie Karten wahren?

Strongly Typing mit usings und typedef

Beim Programmieren sorgt Strong Typing dafür, dass Daten gemäß ihrem definierten Typ behandelt werden, wodurch Fehler vermieden werden zu unerwarteten Typkonvertierungen führen. Diese Frage konzentriert sich darauf, eine starke Typisierung für Bezeichner in einem Projekt zu erreichen und gleichzeitig die Funktionalität und Kompatibilität mit Containern wie Karten beizubehalten.

Verwenden von Strukturen zum Erzwingen von Typbeschränkungen

Um diese Anforderungen zu erfüllen , kann eine strukturbasierte Lösung verwendet werden. Der bereitgestellte Code definiert Strukturen (string_id), die Zeichenfolgenwerte mithilfe von Tags mit zusätzlichen Typinformationen kapseln. Diese Tags sind für jeden Bezeichnertyp eindeutig, z. B. portal_tag oder cake_tag. Dies ermöglicht typsichere Vergleiche und gewährleistet, dass Bezeichner verschiedener Typen nicht einander zugeordnet werden können.

Beispielverwendung

using PortalId = string_id<portal_tag>;
using CakeId = string_id<cake_tag>;

PortalId portal_id("2");
CakeId cake_id("is a lie");

// OK, same type
std::map<CakeId, PortalId> p_to_cake; 

// OK, converting a PortalId to a CakeId
std::unordered_map<CakeId, PortalId> hashed_ptocake;
hashed_ptocake.emplace(CakeId("foo"), PortalId("bar"));

// Compiler error, mixing types
p_to_cake[portal_id] = cake_id; // COMPILER ERROR

Zusätzliche Funktionen

Die verbesserte Version des Codes fügt Funktionen für Hash-Maps, Streaming zu Ostream und benutzerdefinierte String-Konvertierungen hinzu. Dies ermöglicht die nahtlose Verwendung typsicherer Bezeichner in einer Vielzahl von Kontexten.

Fazit

Diese Lösung erreicht effektiv eine starke Typisierung für Bezeichner und bewahrt gleichzeitig deren Verwendbarkeit mit Containern. Durch die Verwendung von Strukturen und Tags erzwingt es Typbeschränkungen und verhindert so Fehler aufgrund von Typkonflikten. Die enthaltenen Funktionen bieten zusätzliche Vielseitigkeit und erleichtern die nahtlose Integration in bestehende Codebasen.

Das obige ist der detaillierte Inhalt vonWie kann ich eine starke Typisierung für Bezeichner erreichen und gleichzeitig die Kompatibilität mit Containern wie Karten wahren?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!