형식 확장 및 축소의 작동 원리

타입 확장이란 무엇입니까?

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

복습: 확장과 좁히기

빠른 확인

학습한 내용