Строгий режим TypeScript: что включает strict: true

Строгий режим это опция "strict": true в tsconfig.json. Это один переключатель для восьми флагов проверки типов, которые ловят неявный any, непроверенные null и undefined, небезопасное присвоение функций и неинициализированные поля классов. В TypeScript 7 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, и файл перестанет компилироваться.

Как включить

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

Отдельные флаги важнее strict в любую сторону. "strict": true, "strictNullChecks": false оставляет всё, кроме проверки null; "strict": false, "noImplicitAny": true включает только один этот флаг. strict также подключает проверки, которые появятся в будущих версиях, потому что новые флаги строгого семейства добавляются в группу.

strict в TypeScript не имеет отношения к директиве "use strict" из JavaScript, которая задаёт режим во время выполнения. 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'
}

Свойства lastLogin и sessionId существуют со значением undefined, потому что при target ES2022 поля классов это настоящие поля JavaScript. ! убирает проверку, не добавляя никакой защиты во время выполнения, поэтому лучше использовать другие формы. Этому флагу нужен strictNullChecks; если его выключить, отключится и этот.

Как включить strict в существующем проекте

Если перевести большую кодовую базу на strict за один раз, могут появиться сотни ошибок. Поскольку в TypeScript 7 strict включён по умолчанию, обновление проекта, в 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);
}

tsc --init в TypeScript 7 включает noUncheckedIndexedAccess и exactOptionalPropertyTypes в генерируемом конфиге рядом со strict.