TS 5.x 신기능 총정리 — const 타입 매개변수부터 최신까지

// 표준 데코레이터 (experimentalDecorators 불필요)
function logged<T extends (...args: any[]) => any>(
  target: T,
  context: ClassMethodDecoratorContext
): T {
  function replacement(this: any, ...args: any[]) {
    console.log(`${String(context.name)} 호출`);
    return target.call(this, ...args);
  }
  return replacement as T;
}

class Service {
  @logged
  getData() { return 'data'; }
}

// as const 없이도 리터럴 타입으로 추론
function routes<const T extends readonly string[]>(paths: T): T {
  return paths;
}

const result = routes(['/home', '/about', '/contact']);
// readonly ['/home', '/about', '/contact'] — as const 없이도 리터럴!

// TS 5.0부터 모든 enum 멤버가 자신의 타입을 가짐
enum Color { Red, Green, Blue }
// Color.Red의 타입은 Color.Red (이전에는 그냥 Color)

// TS 5.1 이전에는 에러
function f(): undefined {
  // return 문 없이도 OK
}

class Box {
  #value: string = '';

  // getter와 setter의 타입이 달라도 됨
  get value(): string {
    return this.#value;
  }

  set value(newValue: string | number) {
    this.#value = String(newValue);
  }
}

class Connection implements Disposable {
  [Symbol.dispose]() {
    console.log('연결 해제');
  }
}

{
  using conn = new Connection();
  // 스코프 끝에서 자동 해제
}

// JSON을 import할 때 어서트
import data from './data.json' with { type: 'json' };

function processValue(value: string | number | boolean) {
  switch (true) {
    case typeof value === 'string':
      value.toUpperCase(); // value: string
      break;
    case typeof value === 'number':
      value.toFixed(); // value: number
      break;
  }
}

// NoInfer로 특정 위치에서 타입 추론 방지
function createFSM<S extends string>(
  initial: NoInfer<S>,
  states: S[]
) {
  return { current: initial, states };
}

// states에서 S를 추론하고, initial은 그 추론된 S에 맞는지 검증
createFSM('idle', ['idle', 'loading', 'done']); // OK
// createFSM('invalid', ['idle', 'loading', 'done']); // Error

function f(x: string | number) {
  if (typeof x === 'string') {
    // TS 5.4: 클로저 안에서도 x: string 유지 (특정 조건에서)
    setTimeout(() => {
      x.toUpperCase(); // 이전에는 에러, 5.4부터 OK (조건부)
    });
  }
}

{
  "compilerOptions": {
    "isolatedDeclarations": true
  }
}

// TS 5.5: filter에서 타입 가드를 자동 추론
const arr = [1, null, 2, undefined, 3];
const filtered = arr.filter((x) => x != null);
// TS 5.5: number[] (이전에는 (number | null | undefined)[])

// 정규식 문법 오류를 컴파일 타임에 잡음
const regex = /(?<=\d+)\w+/; // ✅ OK
// const bad = /(?<=\d+/; // ❌ Error — 문법 오류

// 의미 없는 nullish 체크를 경고
const value = /regex/;
if (value) {
  // ⚠️ 정규식은 항상 truthy — 의도한 검사인가?
}

// Iterator.prototype 메서드 지원
function* numbers() {
  yield 1;
  yield 2;
  yield 3;
}

const doubled = numbers()
  .map((n) => n * 2)
  .filter((n) => n > 2);

// 단계적 업그레이드 — 한 번에 마이너 버전씩
// 5.0 → 5.1 → 5.2 → ...

{
  "compilerOptions": {
    // 새 기능을 점진적으로 활성화
    "isolatedDeclarations": true,  // 5.5+
    "verbatimModuleSyntax": true   // 5.0+
  }
}