함수 overload와 call signature

기본 패턴

function makeDate(timestamp: number): Date;
function makeDate(m: number, d: number, y: number): Date;
function makeDate(a: number, b?: number, c?: number): Date {
  return b !== undefined && c !== undefined
    ? new Date(c, a, b)
    : new Date(a);
}

설명

• overload는 "같은 이름의 함수가 여러 호출 형태를 가진다"는 사실을 타입 시스템에 표현하는 방법입니다. 호출 인수 개수나 조합에 따라 API 의미가 달라질 때 유용합니다.
• 가장 흔한 예시는 인수 개수에 따라 다른 동작을 하는 함수입니다. timestamp 하나를 받거나, year/month/day 세 값을 받는 경우처럼 호출 모양이 명확히 구분되면 overload가 잘 맞습니다.
• 하지만 모든 경우에 overload가 답은 아닙니다. 단순히 입력 타입이 union일 뿐이고 반환 타입도 비슷하다면 overload보다 union 매개변수나 제네릭이 더 단순하고 읽기 쉽습니다.
• 중요한 점은 implementation signature는 외부 호출용 계약이 아니라 내부 구현용 시그니처라는 것입니다. 즉 실제로는 넓게 받고, 위쪽 overload signature가 사용자에게 보이는 API가 됩니다.
• 좋은 overload 설계는 "호출하는 사람이 어떤 형태가 가능한지 바로 이해할 수 있는가"가 핵심입니다. 가능하면 모양이 분명한 경우에만 쓰는 편이 좋습니다.

빠른 정리

주의할 점