Assertion function

Assertion function, asserts x is T biçiminde bir dönüş türü kullanır. Fonksiyon normal şekilde tamamlandığında TypeScript, parametreyi T türüne daraltır; eğer koşul sağlanmazsa fonksiyon throw yapar. type guard true/false döndürürken, assertion function ya daraltır ya da hata fırlatır.

function assertString(x: unknown): asserts x is string {
  if (typeof x !== "string") {
    throw new Error("Expected string");
  }
}

function upper(v: unknown): string {
  assertString(v);
  return v.toUpperCase();  // v: string
}

is ile type guard, true/false döndüren bir fonksiyondur ve if koşuluyla daraltma yapar. asserts ile assertion function ise throw yaparak veya tamam olarak daraltma yapar; if koşulu gerekmez. Assert, hata durumunda çalışmayı durdurmak istediğinde kullanışlıdır.

// type guard
function isString(x: unknown): x is string {
  return typeof x === "string";
}

// assertion function
function assertString(x: unknown): asserts x is string {
  if (typeof x !== "string") throw new Error("not string");
}

function upper(v: unknown): string {
  assertString(v);  // sonraki satırda v: string
  return v.toUpperCase();
}