Как TypeScript выводит типы свойств объектного литерала и как на это влияет as const?

Когда вы создаёте объектный литерал в TypeScript, компилятор автоматически выводит типы его свойств. По умолчанию работает механизм расширения типов (type widening): строковые литералы превращаются в string, числовые — в number, булевы — в boolean. Это удобно для изменяемых объектов, но иногда мешает сохранить точные значения.

Как работает вывод по умолчанию

Рассмотрим пример:

const user = {
  name: "Alice",
  age: 30,
  role: "admin"
};
// typeof user = { name: string; age: number; role: string }

TypeScript «расширил» литералы "Alice", 30 и "admin" до общих типов. Если попытаться присвоить user.role = "user", ошибки не будет, потому что тип string допускает любое значение.

Что меняет as const

Модификатор as const (const assertion) запрещает расширение и делает все свойства readonly:

const user = {
  name: "Alice",
  age: 30,
  role: "admin"
} as const;
// typeof user = {
//   readonly name: "Alice";
//   readonly age: 30;
//   readonly role: "admin";
// }

Теперь user.role имеет тип "admin", а не string. Любая попытка изменить свойство вызовет ошибку компиляции.

Где это применяется

• Конфигурации и константы, где важны точные значения.
• Дискриминированные объединения (discriminated unions) на основе литеральных полей.
• Словари и маппинги, где ключи должны быть известны на этапе компиляции.
• Функции, принимающие строго определённые строковые значения.

Практический пример

const ROUTES = {
  home: "/",
  about: "/about",
  user: "/user"
} as const;

type RouteKey = keyof typeof ROUTES; // "home" | "about" | "user"
type RoutePath = typeof ROUTES[RouteKey]; // "/" | "/about" | "/user"

function navigate(path: RoutePath) { /* ... */ }
navigate(ROUTES.home); // OK
// navigate("/unknown"); // Ошибка компиляции

Без as const тип RoutePath был бы просто string, и компилятор не смог бы поймать опечатку.

Итог: используйте as const, когда нужно сохранить точные литеральные типы и запретить мутацию — это даёт более строгую проверку на этапе компиляции и улучшает автодополнение в IDE.