آليات توسيع الأنواع وتضييقها

ما توسيع النوع؟

let x = "hello"; // inferred: string, not "hello"
let y = 42;       // inferred: number, not 42

التوسيع مع let مقابل const

const a = "world"; // type: "world"
let   b = "world"; // type: string

منع التوسيع باستخدام التعليقات التوضيحية للأنواع

let direction: "left" | "right" = "left";
// direction = "up"; // Error: not assignable

التضييق باستخدام typeof

function format(val: string | number) {
  if (typeof val === "string") {
    return val.toUpperCase(); // val: string here
  }
  return val.toFixed(2);     // val: number here
}

التضييق باستخدام عمليات التحقق من المساواة

type Direction = "left" | "right" | "up";
function handle(dir: Direction) {
  if (dir === "left") {
    console.log("Going left"); // dir: "left"
  }
}

تحليل تدفق التحكم

function process(x: string | null) {
  if (x === null) return;
  // x is string here — TypeScript knows null is ruled out
  console.log(x.length);
}

التوسيع في القيم الحرفية للكائنات

const config = { mode: "dark" };
// config.mode: string (widened)

const config2 = { mode: "dark" } as const;
// config2.mode: "dark" (literal)

الحداثة والتوسيع

interface Options { timeout: number; }
const opts = { timeout: 3000, retry: true };
// No error — widened type, excess property check skipped
const o: Options = opts;

التضييق باستخدام معامل in

type Cat = { meow(): void };
type Dog = { bark(): void };
function speak(animal: Cat | Dog) {
  if ("meow" in animal) animal.meow();
  else animal.bark();
}

التضييق باستخدام دوال التأكيد

function assertString(val: unknown): asserts val is string {
  if (typeof val !== "string") throw new Error("Expected string");
}
const x: unknown = "hi";
assertString(x);
x.toUpperCase(); // OK — narrowed to string

مراجعة: التوسيع مقابل التضييق

تحقق سريع

ما تعلمته