TypeScript strict 모드: strict: true가 켜는 옵션

strict 모드는 tsconfig.json의 "strict": true 옵션입니다. 암묵적 any, 검사하지 않은 null과 undefined, 안전하지 않은 함수 대입, 초기화되지 않은 클래스 필드를 잡아내는 여덟 가지 타입 검사 옵션을 한 번에 켜는 스위치입니다. TypeScript 7에서는 strict가 기본으로 켜져 있습니다. strict를 통과하는 코드는 다음과 같습니다.

function double(x: number) { // noImplicitAny: x needs a type
  return x * 2;
}

function findUser(id: number): { name: string } | undefined {
  return id === 1 ? { name: "Ada" } : undefined;
}

const user = findUser(2);
console.log(user?.name ?? "no user"); // strictNullChecks: user may be undefined

try {
  JSON.parse("{");
} catch (err) { // useUnknownInCatchVariables: err is unknown
  console.log(err instanceof Error ? err.name : String(err));
}

console.log(double(21));

출력은 no user, SyntaxError, 42입니다. : number나 ?., instanceof 검사를 지우면 파일이 더 이상 컴파일되지 않습니다.

strict 켜기

{
    "compilerOptions": {
        "strict": true
    }
}

개별 옵션은 어느 방향으로든 strict보다 우선합니다. "strict": true, "strictNullChecks": false는 null 검사만 빼고 모두 유지하고, "strict": false, "noImplicitAny": true는 그 옵션 하나만 켭니다. 새로운 strict 계열 옵션은 이 묶음에 합류하므로, strict를 켜면 앞으로 추가될 검사도 받게 됩니다.

TypeScript의 strict는 런타임 모드인 JavaScript의 "use strict" 지시어와 아무 관계가 없습니다. TypeScript 7은 필요한 곳에 항상 "use strict"를 출력하며, alwaysStrict: false로 설정하면 TS5108 오류입니다(옵션이 제거됐습니다).

각 옵션이 잡아내는 것

코드를 가장 많이 바꾸는 두 옵션은 noImplicitAny와 strictNullChecks입니다. 다음 블록은 일부러 둘 다 위반합니다.

// This does not compile: two strict errors.
function double(x) {
  return x * 2;
}

function findUser(id: number): { name: string } | undefined {
  return id === 1 ? { name: "Ada" } : undefined;
}

const user = findUser(2);
console.log(user.name, double(2));

출력은 index.ts(2,17): error TS7006: Parameter 'x' implicitly has an 'any' type.와 index.ts(11,13): error TS18048: 'user' is possibly 'undefined'.입니다. strict가 없으면 이 코드는 컴파일된 뒤 실행 시점에 TypeError: Cannot read properties of undefined (reading 'name')로 멈춥니다. strict가 있으면 그 멈춤이 컴파일 오류가 됩니다. 수정한 코드는 이 페이지의 첫 번째 블록입니다.

strictFunctionTypes가 있는 이유

문자열만 처리하는 함수를 숫자가 들어올 수 있는 자리에 쓰면 안 됩니다. 아래 검사는 @ts-expect-error로 막아 두었으므로, 실행해서 이 오류가 무엇을 막는지 볼 수 있습니다.

type Handler = (value: string | number) => void;

const shout = (s: string) => console.log(s.toUpperCase());

// @ts-expect-error strictFunctionTypes rejects this assignment
const handle: Handler = shout;

try {
  handle(42); // the type allows a number, shout cannot take one
} catch (e) {
  console.log(e instanceof Error ? e.message : e); // s.toUpperCase is not a function
}

주석이 없으면 이 대입은 TS2322 오류 Type '(s: string) => void' is not assignable to type 'Handler'.이고, 뒤이어 Types of parameters 's' and 'value' are incompatible.가 나옵니다. 설계상 남아 있는 예외가 하나 있습니다. 메서드 문법으로 선언한 메서드(인터페이스 안의 handle(value: string | number): void)의 매개변수는 여전히 느슨하게 검사되므로, 그런 메서드에는 shout를 오류 없이 대입할 수 있습니다.

strictPropertyInitialization

모든 클래스 필드는 선언이나 생성자에서 값을 받아야 합니다. 이를 만족시키는 방법은 세 가지입니다.

class Account {
  owner: string;                  // assigned in the constructor
  balance = 0;                    // initializer
  history: string[] = [];         // initializer
  lastLogin?: Date;               // optional: may stay undefined
  sessionId!: string;             // "!": assigned later, you promise

  constructor(owner: string) {
    this.owner = owner;
  }
}

const a = new Account("Ada");
a.sessionId = "s-1";
console.log(a);

출력:

Account {
  owner: 'Ada',
  balance: 0,
  history: [],
  lastLogin: undefined,
  sessionId: 's-1'
}

target이 ES2022일 때 클래스 필드는 실제 JavaScript 필드이므로, lastLogin과 sessionId 프로퍼티는 undefined 값으로 존재합니다. !는 런타임 보호를 전혀 추가하지 않고 검사만 없애므로 다른 형태를 우선하세요. 이 옵션은 strictNullChecks가 필요하며, 그것을 끄면 이 옵션도 꺼집니다.

기존 프로젝트에 strict 적용하기

큰 코드베이스를 한 번에 strict로 바꾸면 오류가 수백 개 나올 수 있습니다. strict는 TypeScript 7의 기본값이므로, tsconfig.json에 strict를 한 번도 쓰지 않은 프로젝트를 업그레이드하면 저절로 켜집니다. 마이그레이션하는 동안 예전 동작이 필요하면 "strict": false를 쓰세요. 빌드를 깨뜨리지 않는 방법은 다음과 같습니다.

1. "strict": true를 추가하고 오류가 가장 많은 옵션을 끕니다. 보통 "strictNullChecks": false와 "noImplicitAny": false입니다.
2. 남은 오류를 고친 뒤 옵션을 하나 더 켜고 반복합니다.
3. noImplicitAny는 대부분 매개변수에 타입을 표기해 고칩니다. strictNullChecks는 값이 없을 수 있는 곳에 | undefined를 추가한 뒤 ?., ??, if 검사로 처리합니다.
4. 수정을 미뤄야 하는 곳에는 이유와 함께 // @ts-expect-error를 붙입니다. @ts-ignore와 달리 문제가 사라지면 오류를 보고하므로 목록이 저절로 줄어듭니다.

오류를 한꺼번에 없애려고 as any나 !를 쓰지 마세요. 하나하나가 바로 그 옵션이 찾으려던 버그를 숨깁니다.

strict에 포함되지 않는 유용한 옵션

다음 옵션들은 올바른 코드도 자주 거부하기 때문에 따로 있습니다. 그래도 많은 프로젝트가 켭니다.

실제 버그를 가장 많이 잡는 것은 noUncheckedIndexedAccess입니다. 켜면 다음과 같습니다.

const scores = [90, 85];
const d: Record<string, number> = {};

const third: number = scores[2]; // error TS2322: Type 'number | undefined' is not assignable to type 'number'.
const c: number = d["x"];        // same error

const safe = scores[2] ?? 0;     // number
for (const s of scores) {        // for...of is not affected: s is number
    console.log(s);
}

TypeScript 7의 tsc --init은 생성하는 설정에서 strict와 함께 noUncheckedIndexedAccess와 exactOptionalPropertyTypes를 켭니다.