void, never 및 함수 시그니처

환영합니다

void: 의미 있는 반환값 없음

function logError(msg: string): void {
  console.error(msg);
  // implicit return undefined
}

void와 undefined의 차이

const fn: () => void = () => 42; // Allowed! Caller ignores return
const fn2: () => undefined = () => 42; // Error

콜백에서의 void

function run(cb: () => void): void { cb(); }
run(() => 'hello'); // OK — return value ignored

never: 도달할 수 없는 타입

function fail(msg: string): never {
  throw new Error(msg);
}
function loop(): never {
  while (true) {}
}

완전성 검사에서의 never

type Shape = 'circle' | 'square';
function area(s: Shape): number {
  switch (s) {
    case 'circle': return 3.14;
    case 'square': return 1;
    default:
      const _: never = s; // Error if a new shape is added
      return 0;
  }
}

never는 모든 타입의 하위 타입입니다

함수 타입 시그니처

type Handler = (event: MouseEvent) => void;
type Transform = (input: string) => string;

인터페이스의 호출 시그니처

interface Formatter {
  (value: string): string;
  locale: string;
}

생성 시그니처

interface Constructor {
  new (name: string): Animal;
}

오류 처리에서 void와 never 결합하기

function orThrow(val: string | null): string {
  if (val === null) fail('null!'); // never
  return val; // TypeScript knows this is reachable
}

빠른 확인

복습