Narrowing com typeof, in e instanceof

02

Prepare-se — O que você vai construir

• Explicar guarda de tipo sem depender de uma receita decorada.
• Relacionar fluxo de controle ao contrato e ao fluxo observável.
• Aplicar ramo refinado em um caso real e em um limite.

Se precisar de apoio, consulte a capítulo anterior e volte a estas tarefas. Não há obrigação de seguir um prazo.

03

Entenda — Modelo mental e estrutura

1. Comece pelo modelo mental

O analisador acompanha condições e retornos para estreitar tipos. typeof, in, instanceof e igualdade têm significados diferentes e devem refletir o runtime real. Em guarda de tipo, a sintaxe é apenas a superfície de um contrato. Relacione essa ideia a fluxo de controle e ramo refinado antes de editar o exemplo. Em software real, uma linha pode compilar e ainda representar uma suposição incorreta sobre dados, tempo, ambiente ou responsabilidade. Por isso, descreva a entrada, a transformação e o resultado observável com palavras simples.

Descreva primeiro o contrato de guarda de tipo e como ele se relaciona com fluxo de controle. Implemente a menor versão que revele o mecanismo e mantenha o caminho principal fácil de seguir. Se a solução depende de estado implícito, conversão silenciosa ou ordem acidental, registre essa dependência e procure torná-la explícita. O objetivo não é memorizar uma receita: é reconhecer quando o conceito se aplica, escolher uma abstração proporcional e conseguir explicar o custo dessa escolha.

2. Leia o código como uma sequência de decisões

function mensagem(erro: unknown) {
  if (erro instanceof Error) return erro.message;
  return 'Falha desconhecida';
}

Leia o exemplo de fora para dentro. Primeiro localize os dados e o contrato público; depois acompanhe as transformações; por fim, identifique efeitos, falhas e saídas. O trecho deixa guarda de tipo visível no código e permite evoluir ramo refinado sem esconder o fluxo principal. Digite o trecho em vez de apenas copiá-lo. Troque nomes e valores, faça uma hipótese e execute novamente. Essa comparação mostra o que pertence à regra da linguagem ou do framework e o que existe apenas por causa do exemplo.

Observe também o que o código não garante. TypeScript verifica relações antes da execução e apaga os tipos ao emitir JavaScript; dados externos continuam exigindo validação em runtime. Um tipo estático não valida automaticamente uma resposta externa; um componente não substitui semântica; uma abstração não corrige um contrato mal definido. Comentários úteis registram intenção, limite ou motivo. Comentários que repetem a sintaxe não compensam nomes vagos ou responsabilidades misturadas.

3. Converta observação em critério verificável

Uma solução forte torna guarda de tipo legível, verifica fluxo de controle com evidência e registra os limites de ramo refinado. Um bom critério descreve contexto, ação e resultado. Em vez de “funcionou”, registre qual entrada foi usada, qual saída era esperada e como uma falha deveria aparecer. Inspecione valores, mensagens e transições no editor, compilador TypeScript 5.9 e testes. Quando houver interface, percorra também com teclado, zoom e tecnologia assistiva; quando houver servidor ou compilação, confira logs, tipos e limites de confiança.

A armadilha central é: usar anotações, any ou as para silenciar o compilador sem demonstrar o contrato de guarda de tipo.. Corrija a causa antes de empilhar exceções. Reduza o caso, reproduza o problema, altere uma variável por vez e repita o teste. Ao terminar, você deve conseguir dizer por que a solução funciona, quais suposições preserva, onde pode falhar e que evidência outra pessoa pode usar para revisar a entrega.

05

Construa — Teste cada decisão no ambiente

Crie um laboratório pequeno e executável em editor, compilador TypeScript 5.9 e testes. Reproduza o exemplo, explique cada etapa e crie uma segunda versão que aplique ramo refinado sem perder guarda de tipo. Primeiro implemente o caminho principal sem abstrações prematuras. Depois use o depurador, o verificador de tipos, os testes ou as ferramentas de inspeção adequadas para confirmar o fluxo. Por último, force três situações adversas: entrada vazia, volume maior que o esperado e falha controlada em editor, compilador TypeScript 5.9 e testes.

Não corrija todos os sintomas de uma vez. Para cada falha, anote hipótese, evidência e menor mudança. Rode novamente os cenários já aprovados para detectar regressões. Quando houver mais de uma solução possível, escolha pela clareza do contrato, pela facilidade de teste e pelo custo de mudança. Uma captura ou um log ajuda a documentar, mas código, critérios e testes reproduzíveis continuam sendo a fonte principal da entrega.

06

Pratique — Seis decisões de implementação

Resolva primeiro pelo raciocínio. Consultar o capítulo e testar hipóteses no navegador faz parte do processo; depois, releia as justificativas.

08

Projete — Implemente, compare e refine

Entrega incremental: um laboratório de narrowing com typeof, in e instanceof com contrato público, casos aceitos, rejeições do compilador e nota sobre runtime. Comece descrevendo, em até cinco linhas, quem usa o recurso e qual tarefa precisa concluir. Separe domínio, entrada e apresentação conforme a escala do problema. Inclua um caso real, um limite e uma falha recuperável. Ao final, escreva uma nota técnica explicando onde aplicou guarda de tipo, como verificou fluxo de controle e qual limite encontrou em ramo refinado.

function mensagem(erro: unknown) {
  if (erro instanceof Error) return erro.message;
  return 'Falha desconhecida';
}

Critérios para revisar

• O contrato de guarda de tipo está explícito, fluxo de controle foi exercitado e a falha de ramo refinado produz um estado compreensível.
• Manter nomes, estados, foco e mensagens compreensíveis quando guarda de tipo chegar à interface.
• O código evidencia guarda de tipo e fluxo de controle sem estado acidental.
• A nota técnica registra o teste de entrada vazia, volume maior que o esperado e falha controlada em editor, compilador TypeScript 5.9 e testes.

09

Retome — Organize sua revisão

• Explique com suas palavras a relação entre guarda de tipo e fluxo de controle.
• Reabra o laboratório sem consultar o texto e reconstrua a decisão ligada a ramo refinado.
• Aplique o teste “Executar o caminho principal e os limites de fluxo de controle, observando o resultado de ramo refinado.” ao projeto acumulado e registre uma melhoria.

Feche a explicação, tente lembrar um exemplo e depois confira. Retome uma dificuldade no próximo encontro e alguns dias depois; ajuste o intervalo ao que ainda precisa praticar.

Use exemplos concretos na autoavaliação: “consigo explicar com consulta” ou “quero praticar novamente”. Marcar como lida não representa uma certificação.