Por que genéricos superam dynamic

É comum querer que um trecho de código funcione com muitos tipos. Escrever uma versão separada para cada tipo é trabalhoso, por isso Dart oferece os tipos genéricos. 🎯

Uma solução rápida é tipar tudo como dinâmico, o que aceita qualquer valor. Parece flexível, mas elimina silenciosamente toda a verificação de tipos de Dart.

Com o tipo dinâmico, o compilador não consegue mais detectar erros. Um erro de digitação ou uma chamada incorreta passa despercebido e só causa uma falha em tempo de execução, quando os usuários a veem.

Um genérico permite que uma definição se adapte ao tipo escolhido, sem deixar de saber exatamente qual é esse tipo. Assim, o senhor obtém reutilização sem perder segurança.

O tipo escolhido é escrito entre sinais de menor e maior, como Lista de inteiros. O Dart então exige esse tipo para cada elemento que o senhor adicionar.

Como o tipo é conhecido, o compilador rejeita valores inválidos antes mesmo de o senhor executar o programa. Os erros aparecem no editor, não em produção.

Conhecer o tipo real também possibilita um preenchimento automático inteligente. O editor pode sugerir apenas os métodos que realmente existem nesse tipo.

Com dinâmico, muitas vezes é necessário converter os valores novamente antes de usá-los, o que torna o código confuso e arriscado. Os genéricos retornam automaticamente o tipo correto, fazendo as conversões desaparecerem.

Um tipo como Mapa de Texto para inteiro informa imediatamente ao leitor quais dados estão armazenados. Os genéricos documentam a intenção diretamente no próprio tipo.

Os genéricos são principalmente um recurso de tempo de compilação, portanto o senhor obtém verificação e clareza sem deixar o programa mais lento durante a execução.

Use dinâmico somente quando o tipo for realmente desconhecido, como no JSON bruto. Em todos os outros casos, um genérico é a opção padrão mais segura e clara.

Por que os genéricos geralmente são preferidos ao tipo dinâmico?

O senhor viu que os genéricos permitem reutilização sem abrir mão da segurança de tipos, ao contrário de dinâmico. Eles detectam erros cedo, aprimoram o preenchimento automático e documentam o código. ✅