Control Flow Analysis: ศิลปะการควบคุมทิศทางข้อมูลใน TypeScript

function padLeft(padding: number | string, input: string) {
  // ณ จุดนี้ padding คือ number | string

  if (typeof padding === "number") {
    // ✨ CFA ทำงาน: ในบล็อกนี้ TS รู้ว่า padding เป็น number แน่นอน
    return " ".repeat(padding) + input;
  }

  // ✨ CFA ฉลาดต่อ: ถ้าหลุดมาถึงตรงนี้ได้ แปลว่า padding *ต้อง* เป็น string เท่านั้น
  // (เพราะ number return ไปแล้ว)
  return padding + input;
}

interface Fish {
  swim: () => void;
}
interface Bird {
  fly: () => void;
}

// Return type พิเศษ: "pet is Fish"
function isFish(pet: Fish | Bird): pet is Fish {
  return (pet as Fish).swim !== undefined;
}

function move(pet: Fish | Bird) {
  if (isFish(pet)) {
    // TS รู้ทันทีว่า pet คือ Fish
    pet.swim();
  } else {
    // TS รู้ทันทีว่า pet คือ Bird (เพราะไม่ใช่ Fish)
    pet.fly();
  }
}

type Shape = "circle" | "square" | "triangle";

function getArea(s: Shape) {
  switch (s) {
    case "circle":
      return /*...*/;
    case "square":
      return /*...*/;
    // ลืม case "triangle"!

    default:
      // ❌ Error: Type 'string' is not assignable to type 'never'.
      // เพราะ s ยังเหลือเคส triangle อยู่ มันเลยไม่เป็น never
      const _exhaustiveCheck: never = s;
      return _exhaustiveCheck;
  }
}