Nominale Typisierung durch Branded Types

Snippet

Nominale Typisierung durch Branded Types

TypeScript verwendet strukturelle Typisierung, aber manchmal benötigen wir nominale Typisierung, um das versehentliche Mischen logisch unterschiedlicher Primitivtypen (wie Währungen oder IDs) zu verhindern. Branding 'markiert' einen Typ mit einer eindeutigen Eigenschaft, die zur Laufzeit nicht existiert, aber zur Kompilierzeit eine strikte Trennung erzwingt.

snippet.ts
typescript
type Brand<K, T> = K & { __brand: T };
 
type USD = Brand<number, "USD">;
type EUR = Brand<number, "EUR">;
 
const usd = 10 as USD;
const eur = 10 as EUR;
 
function addUSD(a: USD, b: USD): USD {
  return (a + b) as USD;
}
 
// Error: Argument of type 'EUR' is not assignable to 'USD'
// addUSD(usd, eur);

Erklärung

type Brand<K, T> = K & { __brand: T };

Erstellt einen Intersection-Typ, der den Basistyp mit einer Phantom-Eigenschaft kombiniert, die nur für die Typprüfung verwendet wird.

const usd = 10 as USD;

Eine Type-Assertion ist erforderlich, um den Primitivwert zu 'branden', da die __brand-Eigenschaft bei einer einfachen Zahl nicht existiert.

Vorheriges Snippet Nächstes Snippet

Verwandt

Aus deiner Bibliothek