unknown versus any: a escolha mais segura

Boas-vindas

O problema com any

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

Apresentando unknown

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

Refinando unknown antes do uso

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

unknown não pode ser atribuído a tipos específicos

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

Usando unknown em blocos de captura

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

unknown para dados externos

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

Protetores de tipo com unknown

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

unknown versus 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(); }

Escolhendo entre any e unknown

Bibliotecas de validação em tempo de execução

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

Verificação rápida

Recapitulação