Use os exemplos como laboratório: leia o código, preveja o resultado e teste no ambiente de prática. Para guardar uma ideia, selecione qualquer trecho.
CAPÍTULO 23 DE 48
Template literal types
Neste capítulo, você transforma composição de strings em uma decisão de modelagem de tipos que pode ser explicada, testada e revisada. Você sairá com uma implementação pequena, evidências de teste e um critério reutilizável nos projetos seguintes.
Escrita, marcações e comentários ficam só neste navegador, separados por capítulo e sem sincronização com a conta. Evite informações sensíveis; limpar os dados do navegador pode remover seus registros.
As seis questões têm correção comentada. Laboratório e projeto são práticas livres, sem execução automática de código.
Prepare-se — O que você vai construir
- Explicar composição de strings sem depender de uma receita decorada.
- Relacionar união combinatória ao contrato e ao fluxo observável.
- Aplicar chave de evento 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.
Entenda — Modelo mental e estrutura
1. Comece pelo modelo mental
Template literal types combinam literais para representar protocolos textuais finitos. São úteis para nomes de evento e rotas internas, mas uniões grandes podem crescer rapidamente. Em composição de strings, a sintaxe é apenas a superfície de um contrato. Relacione essa ideia a união combinatória e chave de evento 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 composição de strings e como ele se relaciona com união combinatória. 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
type Entidade = 'produto' | 'pedido';
type Acao = 'criado' | 'atualizado';
type Evento = `${Entidade}:${Acao}`;
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 composição de strings visível no código e permite evoluir chave de evento 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 composição de strings legível, verifica união combinatória com evidência e registra os limites de chave de evento. 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 composição de strings.. 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.
Analise — Código em contexto
Uma revisão começa pela intenção. Para “Template literal types”, o requisito é: a solução deve demonstrar composição de strings, preservar união combinatória e reagir de forma previsível quando chave de evento variar. Analise a variação abaixo e preveja o resultado antes de executá-la.
const evento: Evento = 'produto:criado';
A variação isola união combinatória. Acompanhe dados, controle e efeitos antes de decidir se o resultado respeita o contrato. Faça quatro passagens. Na primeira, identifique entradas e saídas. Na segunda, siga o fluxo de controle e as transformações. Na terceira, procure valores ausentes, concorrência, mutação e dependências do ambiente. Na quarta, avalie a experiência de erro e a capacidade de testar o trecho isoladamente.
Compare a variação com o exemplo principal. Escolha uma mudança e formule uma hipótese completa: “se eu alterar isto, espero aquilo, porque…”. Execute, observe e registre. A resposta importante não é apenas qual trecho passa no caso feliz, mas qual comunica melhor o contrato, reduz acoplamento e permanece compreensível para quem precisar manter, depurar ou integrar o módulo depois.
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 chave de evento sem perder composição de strings. 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.
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.
Confira — Gabarito comentado
Abrir gabarito e explicações completas
E1 — B. A implementação começa pelo contrato observável. Descreva primeiro o contrato de composição de strings e como ele se relaciona com união combinatória. Assim, a sintaxe passa a servir a uma decisão que pode ser revisada.
E2 — A. A evidência precisa exercitar o mecanismo estudado. Executar o caminho principal e os limites de união combinatória, observando o resultado de chave de evento. O caso feliz isolado não revela limites nem recuperação.
E3 — C. A armadilha é usar anotações, any ou as para silenciar o compilador sem demonstrar o contrato de composição de strings. Ela oculta o mecanismo e amplia o risco de regressão quando dados ou requisitos mudam.
E4 — B. A alternativa correta inclui pessoas e integrações no contrato: Manter nomes, estados, foco e mensagens compreensíveis quando composição de strings chegar à interface. Estados e limites precisam permanecer compreensíveis.
E5 — A. A sequência baseada em evidência relaciona causa e efeito. Mudanças amplas escondem o mecanismo e dificultam perceber regressões.
E6 — C. Pronto para revisão significa atender critérios observáveis. O contrato de composição de strings está explícito, união combinatória foi exercitado e a falha de chave de evento produz um estado compreensível. Outra pessoa ainda pode encontrar melhorias, mas consegue reproduzir a evidência.
Projete — Implemente, compare e refine
Entrega incremental: um laboratório de template literal types 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 composição de strings, como verificou união combinatória e qual limite encontrou em chave de evento.
Consultar um modelo possível
type Entidade = 'produto' | 'pedido';
type Acao = 'criado' | 'atualizado';
type Evento = `${Entidade}:${Acao}`;
O modelo ilustra uma possibilidade. Use os critérios para revisar suas próprias ideias, não para copiar as mesmas frases.
Critérios para revisar
- O contrato de composição de strings está explícito, união combinatória foi exercitado e a falha de chave de evento produz um estado compreensível.
- Manter nomes, estados, foco e mensagens compreensíveis quando composição de strings chegar à interface.
- O código evidencia composição de strings e união combinatória 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.
Até 12.000 caracteres em cada versão. Produção livre, sem correção automática.
Retome — Organize sua revisão
- Explique com suas palavras a relação entre composição de strings e união combinatória.
- Reabra o laboratório sem consultar o texto e reconstrua a decisão ligada a chave de evento.
- Aplique o teste “Executar o caminho principal e os limites de união combinatória, observando o resultado de chave de evento.” 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.
SEU PROGRESSO NO CAPÍTULO 23
Um capítulo, no seu ritmo.
— exercícios respondidos
Carregando progresso…Você decide quando marcar este capítulo como lido. Isso não altera seus exercícios nem suas marcações.
Progresso salvo só neste navegador, sem sincronização com sua conta.