الاتحادات والتضييق والقيم الغائبة

export {};
function describe(value: string | number): string {
  if (typeof value === "string") { return value.toUpperCase(); }
  return value.toFixed(1);
}
console.log(describe("code"));
console.log(describe(5));

CODE
5.0

يختار التفرع التنفيذي الباقي الأسلوب المناسب ويعيد الفرعان نصين.

export {};
type State = { kind: "ready"; count: number } | { kind: "failed"; reason: string };
function assertNever(value: never): never { throw new Error("unexpected state"); }
function summary(state: State): string {
  switch (state.kind) {
    case "ready": return `ready:${state.count}`;
    case "failed": return `error:${state.reason}`;
    default: return assertNever(state);
  }
}
console.log(summary({ kind: "ready", count: 3 }));
console.log(summary({ kind: "failed", reason: "disk" }));

ready:3
error:disk

تكشف كل علامة حقولها الموافقة ويفشل فحص never عند بديل جديد غير معالج.