Строгий режим и флаги компилятора

Зачем нужна строгость

TypeScript — это не переключатель «типы есть / типов нет». Это шкала строгости: чем выше вы её выкручиваете, тем больше ошибок находит компилятор.

По умолчанию TypeScript мягкий:

• Типы необязательны
• null и undefined можно присвоить любому типу
• Необъявленные типы становятся any

Для нового проекта рекомендуется включать все строгие проверки сразу. Для миграции с JavaScript — включать постепенно.

Флаг strict

Флаг strict в tsconfig.json включает все строгие проверки одновременно:

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

Это эквивалентно включению каждого строгого флага по отдельности. Вы можете отключить отдельные проверки:

{
  "compilerOptions": {
    "strict": true,
    "noImplicitAny": false
  }
}

noImplicitAny

Когда TypeScript не может определить тип, он использует any — тип, который отключает все проверки:

// Без noImplicitAny — нет ошибки, person: any
function greet(person) {
  console.log("Hello, " + person.name);
}
greet(42); // Нет ошибки компиляции, но рантайм: "Hello, undefined"

С noImplicitAny TypeScript требует явную аннотацию:

// С noImplicitAny — ошибка: Parameter 'person' implicitly has an 'any' type
function greet(person) {
  console.log("Hello, " + person.name);
}

Исправление:

function greet(person: { name: string }) {
  console.log("Hello, " + person.name);
}
greet(42); // Ошибка: Argument of type 'number' is not assignable

any делает TypeScript бесполезным — вы теряете проверку типов и подсказки в IDE. Используйте unknown вместо any, если тип действительно неизвестен.

strictNullChecks

По умолчанию null и undefined можно присвоить любому типу:

// Без strictNullChecks
let name: string = null; // OK
let age: number = undefined; // OK

Это причина огромного числа багов. Тони Хоар, автор null, назвал его «ошибкой на миллиард долларов».

С strictNullChecks нужно обрабатывать null и undefined явно:

// С strictNullChecks
let name: string = null; // Ошибка: Type 'null' is not assignable to type 'string'

// Если null допустим — укажите это:
let name: string | null = null; // OK

Это заставляет обрабатывать пограничные случаи:

function getUser(): User | null {
  // ...
}

const user = getUser();
// Ошибка: Object is possibly 'null'
console.log(user.name);

// Правильно — проверяем на null:
if (user) {
  console.log(user.name); // OK
}

Другие строгие флаги

tsconfig.json — основы

Вместо передачи флагов в командную строку используйте файл tsconfig.json:

{
  "compilerOptions": {
    "target": "es2020",
    "module": "esnext",
    "strict": true,
    "noEmitOnError": true,
    "outDir": "./dist"
  },
  "include": ["src/**/*"]
}

Создать шаблон:

tsc --init

Эта команда создаст tsconfig.json с комментариями ко всем опциям.

Подробный разбор всех опций — в главе про tsconfig.json.

Рекомендации

Для нового проекта

{
  "compilerOptions": {
    "strict": true,
    "noEmitOnError": true
  }
}

Включайте strict: true с самого начала. Исправить ошибки в новом коде проще, чем потом включать строгость в существующем.

Для миграции с JavaScript

{
  "compilerOptions": {
    "strict": false,
    "noImplicitAny": false
  }
}

Включайте флаги по одному: сначала strictNullChecks, потом noImplicitAny, и так далее.

Итоги

• strict: true включает все строгие проверки разом
• noImplicitAny запрещает неявный any — самый важный флаг
• strictNullChecks делает null/undefined отдельными типами
• Строгость — это шкала, а не переключатель