Vollständigkeitsprüfung mit dem 'never'-Typ

Snippet

Vollständigkeitsprüfung mit dem 'never'-Typ

Durch die Zuweisung einer Variable zum Typ 'never' in einem Default-Zweig erstellen Sie eine Prüfung auf Vollständigkeit zur Kompilierzeit. Wenn das 'Shape'-Union um ein Mitglied erweitert wird, schlägt die Kompilierung fehl, bis der neue Fall behandelt wird.

snippet.ts
typescript
type Shape = { type: "circle" } | { type: "square" };
 
function getArea(shape: Shape) {
  switch (shape.type) {
    case "circle": return Math.PI;
    case "square": return 1;
    default:
      const _exhaustiveCheck: never = shape;
      return _exhaustiveCheck;
  }
}

Erklärung

const _exhaustiveCheck: never = shape

Zwingt den Compiler zu prüfen, dass 'shape' an dieser Stelle keine verbleibenden möglichen Typen mehr hat.

default:

Das Sicherheitsnetz, das unbehandelte Union-Mitglieder während der Entwicklung abfängt.

Vorheriges Snippet Nächstes Snippet

Verwandt

Aus deiner Bibliothek