Type Narrowing 완벽 이해 — TypeScript가 타입을 추론하는 방식

function printLength(value: string | number) {
  console.log(value.length) // ❌ 'number' 타입에는 'length' 속성이 없습니다.
}

function printLength(value: string | number) {
  if (typeof value === 'string') {
    console.log(value.length) // ✅ string으로 좁혀짐
  } else {
    console.log(value.toFixed(2)) // ✅ number로 좁혀짐
  }
}

type User = { name: string; email: string }
type Admin = { name: string; permissions: string[] }
 
function printUser(user: User | Admin) {
  if ('permissions' in user) {
    console.log('Admin:', user.permissions.join(','))
  } else {
    console.log('User:', user.email)
  }
}

class Dog {
  bark() { console.log('멍멍!') }
}
class Cat {
  meow() { console.log('야옹!') }
}
 
function makeSound(animal: Dog | Cat) {
  if (animal instanceof Dog) {
    animal.bark() // ✅ Dog 타입으로 Narrowing
  } else {
    animal.meow() // ✅ Cat 타입으로 Narrowing
  }
}

function getLength(value?: string | null) {
  if (value == null) return 0 // null 또는 undefined인 경우
  return value.length // ✅ string으로 Narrowing
}

type Circle = { kind: 'circle'; radius: number }
type Square = { kind: 'square'; size: number }
type Shape = Circle | Square
 
function getArea(shape: Shape) {
  switch (shape.kind) {
    case 'circle':
      return Math.PI * shape.radius ** 2
    case 'square':
      return shape.size ** 2
  }
}

type Response = { ok: true; data: string } | { ok: false; error: string }
 
function handleResponse(res: Response) {
  if (res.ok) {
    console.log('✅ 성공:', res.data)
  } else {
    console.error('❌ 실패:', res.error)
  }
}

type User = { name: string }
function isUser(obj: any): obj is User {
  return typeof obj.name === 'string'
}
 
const value: unknown = { name: '시황' }
 
if (isUser(value)) {
  console.log(value.name) // ✅ 타입 좁혀짐
}

function getLength(value?: string) {
  return value?.length // ✅ 런타임 안전하지만 타입은 여전히 string | undefined
}