Сужение через typeof

export function formatId(id: string | number): string {
  if (typeof id === "string") {
    return id.toUpperCase();
  }

  return id.toString();
}

formatId("abc-123");
formatId(42);

Внутри if тип id сужен до string, поэтому toUpperCase доступен. После return из ветки остаётся единственный вариант, number, и компилятор знает об этом без всякой подсказки.

Как компилятор это понимает

Анализ идёт по потоку выполнения (control flow analysis). Условие typeof id === "string" для TypeScript не просто выражение: он видит, что в положительной ветке значение может быть только строкой, а в отрицательной строкой быть не может. Убрать вариант из union достаточно, чтобы остался ровно один.

Проверить себя можно, наведя курсор на id в каждой ветке: редактор покажет string и number.

Ранний возврат вместо else

Вариант с else работает так же:

if (typeof id === "string") {
  return id.toUpperCase();
} else {
  return id.

Ранний возврат обычно читается лучше: меньше вложенности, и «основной» путь остаётся в теле функции.

Что умеет typeof

Оператор возвращает одну из строк: "string", "number", "bigint", "boolean", "symbol", "undefined", "object", "function". Этого хватает для примитивов, но у него есть известная особенность: typeof null даёт "object", так что проверка на null через него не работает.

function f(value: string | null) {
  if (value !== null) {
    value.toUpperCase(

Для объектов разных форм typeof тоже бесполезен: у всех будет "object". Там нужны другие инструменты, оператор in и дискриминированные объединения, им посвящены следующие два задания.