unknown и any: более безопасный выбор

Добро пожаловать

Проблема типа any

let val: any = getData();
val.someMethod(); // TypeScript: OK. Runtime: possible crash

Знакомство с unknown

let val: unknown = getData();
// val.someMethod(); // Error: Object is of type 'unknown'

Сужение unknown перед использованием

let input: unknown = getInput();
if (typeof input === 'string') {
  console.log(input.toUpperCase()); // OK — narrowed to string
}

unknown нельзя присвоить конкретному типу

let x: unknown = 'hello';
// let s: string = x; // Error
let s: string = x as string; // OK with assertion

Использование unknown в блоках обработки исключений

try {
  doSomething();
} catch (err: unknown) {
  if (err instanceof Error) {
    console.log(err.message); // safe
  }
}

unknown для внешних данных

const raw: unknown = JSON.parse(text);
if (
  typeof raw === 'object' &&
  raw !== null &&
  'name' in raw
) {
  console.log((raw as any).name);
}

Защитники типов для unknown

function isUser(val: unknown): val is { name: string } {
  return typeof val === 'object' && val !== null && 'name' in val;
}

unknown и never

// unknown: anything can be assigned to it
let a: unknown = 42; // OK

// never: nothing can be assigned to it
function fail(): never { throw new Error(); }

Выбор между any и unknown

Библиотеки проверки во время выполнения

import { z } from 'zod';
const UserSchema = z.object({ name: z.string(), age: z.number() });
const user = UserSchema.parse(unknownData); // throws if invalid

Быстрая проверка

Итоги