0Pricing
TypeScript Academy · Aula

Funções de asserção e guardas de tipo definidos pelo usuário

Escreva funções de asserção (asserts x is T) e guardas de tipo definidos pelo usuário (x is T) para reduzir valores unknown/união com segurança.

Funções de asserção e guardas de tipo definidos pelo usuário é uma aula grátis de TypeScript Academy no CoddyKit. Esta é a aula 3 de 3. Você pode ler a aula completa abaixo gratuitamente — depois pratica ao vivo no navegador com um editor de código integrado e um tutor de IA 24/7. Faz parte do caminho de aprendizado de TypeScript Academy, e seu progresso é sincronizado entre a web e o app CoddyKit. O curso de TypeScript Academy inclui 3 aulas no total.

Introdução

Objetivo: transformar verificações em tempo de execução em refinamentos de tipo com funções de asserção e guardas de tipo definidas pelo usuário para criar APIs seguras.

Função de asserção

Uma função de asserção restringe os tipos para o código seguinte se retornar; caso contrário, deverá lançar uma exceção.

function assertIsString(x: unknown): asserts x is string {
  if (typeof x !== "string") {
    throw new Error("Expected string");
  }
}

let v: unknown = Math.random() > 0.5 ? "ok" : 42;
assertIsString(v); // after this, v is string
console.log(v.toUpperCase());

Função de guarda de tipo

Uma guarda de tipo retorna x is T, permitindo um refinamento inteligente em ramificações e funções auxiliares.

type Circle = { kind: "circle"; radius: number };
type Square = { kind: "square"; size: number };

type Shape = Circle | Square;

function isCircle(s: Shape): s is Circle {
  return s.kind === "circle";
}

function area(s: Shape): number {
  if (isCircle(s)) {
    return Math.PI * s.radius ** 2; // s is Circle here
  }
  return s.size * s.size; // s is Square here
}

console.log(area({ kind: "circle", radius: 2 }));

Guardas em filter

As guardas podem ser predicados para métodos de arrays, como filter, refinando os tipos dos elementos de forma clara.

type Item = { id: number } | null | undefined;

function isPresent<T>(x: T | null | undefined): x is T {
  return x != null;
}

const items: Item[] = [{ id: 1 }, null, undefined, { id: 2 }];
const present = items.filter(isPresent);
// present has type { id: number }[]
console.log(present.map(i => i.id));

Asserção em dados de tempo de execução

Combine a análise com uma asserção para falhar rapidamente quando um valor não for do tipo esperado.

function parseJson(s: string): unknown {
  return JSON.parse(s);
}

try {
  const data = parseJson("{\"name\":\"Ada\"}");
  assertIsString(data); // will throw, because data is object
} catch (e) {
  console.log("Handled:", e instanceof Error ? e.message : e);
}

Diretrizes

Diretrizes:

  • As asserções devem lançar uma exceção quando falharem.
  • Prefira guardas (x is T) para a lógica de ramificação.
  • Use asserções nos limites das APIs, como E/S, JSON e DOM.

Verificação de função de asserção

Verificação rápida: o que uma função de asserção com asserts x is string garante?

Recapitulação

Recapitulação: use funções de asserção para impor tipos após verificações e guardas de tipo definidas pelo usuário para refinar ramificações e coleções.

Perguntas Frequentes

A aula “Funções de asserção e guardas de tipo definidos pelo usuário” é grátis?

Sim — o texto completo de “Funções de asserção e guardas de tipo definidos pelo usuário” é grátis para ler aqui na web. Para praticá-la interativamente (um editor de código integrado e um tutor de IA 24/7) e desbloquear o restante do curso de TypeScript Academy, atualize para CoddyKit PRO. O curso de TypeScript Academy inclui 3 aulas no total.

O que vou aprender em “Funções de asserção e guardas de tipo definidos pelo usuário”?

Escreva funções de asserção (asserts x is T) e guardas de tipo definidos pelo usuário (x is T) para reduzir valores unknown/união com segurança. Você pratica TypeScript Academy com código prático que executa diretamente no navegador, e um tutor de IA 24/7 responde suas dúvidas enquanto trabalha na aula.

Preciso ter experiência prévia para começar TypeScript Academy?

Nenhuma experiência prévia é necessária. TypeScript Academy no CoddyKit é estruturado para alunos iniciantes até avançados, então você pode começar aqui ou desde o início e aprender no seu ritmo. Esta é a aula 3 de 3.

Quanto tempo leva a aula “Funções de asserção e guardas de tipo definidos pelo usuário”?

A maioria das aulas CoddyKit leva cerca de 5–10 minutos. Cada uma é compacta e interativa, então você faz progresso constante e retoma exatamente de onde parou entre web e app.

Posso escrever e executar código nesta aula de TypeScript Academy?

Sim. Cada aula de TypeScript Academy inclui um editor de código integrado, então você escreve e executa código real direto no navegador e recebe feedback de IA instantaneamente — nenhuma configuração local necessária.

Todas as aulas deste curso

  1. Sobrecargas de funções e assinaturas de chamada
  2. Tipagem do parâmetro this; void, never
  3. Funções de asserção e guardas de tipo definidos pelo usuário
← Voltar para TypeScript Academy