Что такое strict mode в TypeScript и зачем его включать?

Что такое strict mode

Strict mode в TypeScript — это группа флагов компилятора, которые включаются одной настройкой "strict": true в tsconfig.json. Он усиливает статическую проверку типов и помогает писать более безопасный, предсказуемый код.

Что входит в strict mode

При включении strict: true автоматически активируются следующие флаги:

• strictNullChecks — запрещает присваивать null и undefined переменным без явного указания
• strictFunctionTypes — строгая проверка типов параметров функций
• strictBindCallApply — типизация методов bind, call, apply
• strictPropertyInitialization — требует инициализации свойств класса в конструкторе
• noImplicitAny — запрещает неявный тип any
• noImplicitThis — запрещает неявный this: any
• alwaysStrict — добавляет 'use strict' в каждый скомпилированный файл

Пример: strictNullChecks

// Без strict mode — компилируется без ошибок
function getLength(str: string) {
  return str.length;
}
getLength(null); // Ошибки нет, но в рантайме всё сломается

// Со strict mode — ошибка на этапе компиляции
function getLength(str: string) {
  return str.length;
}
getLength(null); // Ошибка: Argument of type 'null' is not assignable to parameter of type 'string'

Пример: noImplicitAny

// Без strict mode — параметр неявно получает тип any
function process(data) {
  return data.value; // TypeScript не проверяет, есть ли .value
}

// Со strict mode — ошибка компиляции
function process(data) { // Ошибка: Parameter 'data' implicitly has an 'any' type
  return data.value;
}

// Правильный вариант — явная типизация
function process(data: { value: string }) {
  return data.value;
}

Пример: strictPropertyInitialization

// Со strict mode — ошибка, если свойство не инициализировано
class User {
  name: string; // Ошибка: Property 'name' has no initializer

  constructor() {
    // name не задан
  }
}

// Правильный вариант
class User {
  name: string;

  constructor(name: string) {
    this.name = name; // Инициализируем в конструкторе
  }
}

Зачем включать strict mode

1. Ранняя поимка ошибок — большинство runtime-ошибок обнаруживается ещё на этапе компиляции
2. Самодокументирующий код — явная типизация делает намерения разработчика понятными
3. Безопаснее работа с null/undefined — самая частая причина падений в продакшне
4. Стандарт в индустрии — все современные TypeScript-проекты используют strict mode

Как включить

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

Либо включать флаги по отдельности, если нужна постепенная миграция старого проекта.