Snippet

Durchsetzung von Testinvarianten mit Zusicherungssignatur-Funktionen

Zusicherungssignaturen verwenden die Syntax 'asserts condition', um dem TypeScript-Compiler mitzuteilen, dass ein Funktionsaufruf eine Ausnahme auslöst, wenn eine Bedingung nicht erfüllt ist.

snippet.ts

typescript

class AssertionError extends Error {
  constructor(message: string) {
    super(message);
    this.name = "AssertionError";
  }
}
 
function assertIsDefined<T>(val: T, name: string): asserts val is NonNullable<T> {
  if (val === null || val === undefined) {
    throw new AssertionError(`Expected '${name}' to be defined, but received ${val}`);
  }
}
 
function verifyUser(user: { id?: string } | null) {
  assertIsDefined(user, "user");
  assertIsDefined(user.id, "user.id");
  const userId: string = user.id;
}

Erklärung

function assertIsDefined<T>(val: T, name: string): asserts val is NonNullable<T> {

Deklariert eine Zusicherungsfunktion, die bei Erfolg die Typen im Aufrufer-Bereich verfeinert.

throw new AssertionError(`Expected '${name}' to be defined, but received ${val}`);

Löst einen expliziten Zusicherungsfehler aus, wenn die Validierung fehlschlägt.

const userId: string = user.id;

TypeScript verfeinert 'user.id' sicher von string | undefined zu string ohne Typumwandlung.

Vorheriges Snippet Nächstes Snippet

Mehr TypeScript-Übungen für Fortgeschrittene →

Durchsetzung von Testinvarianten mit Zusicherungssignatur-Funktionen

Verwandt