Skip to main content
11 de 14
adicionou 240 caracteres ao conteúdo
Maniero
  • 484,4mil
  • 94
  • 1,3mil
  • 2,2mil

Redundância X Don't Repeat Yourself

Isto é repetição:

valorDoProdutoComprado = valorDoProdutoComprado + 1

Em muitas linguagens poderia ser assim:

valorDoProdutoComprado++

Isso é DRY?

Isto:

meuObjeto.propriedade1 = 0
meuObjeto.propriedade2 = ""
meuObjeto.propriedade3 = true

Em algumas linguagens poderia ser escrito assim:

with meuObjeto
    .propriedade1 = 0
    .propriedade2 = ""
    .propriedade3 = true

Agora fiz DRY?

Pois bem, redundância é ruim? Então o abaixo é ótimo?

if valor == 0
    fazALgumaCoisa()
fazOutraCoisa()

Ou a redundância pode ajudar?

if valor == 0 {
    fazALgumaCoisa();
}
fazOutraCoisa();

Isto:

UmaClasse obj = new UmaClasse();

É o mesmo que isto sem a redundância/repetição?

var obj = new UmaClasse()

Note que o primeiro impõe um contrato para a variável, ela precisa ser daquele tipo. O segundo indica que o tipo não importa e o que for atribuído para a variável está bom. Há diferença semântica ainda que o resultado possa ser o mesmo.

Repetir ou redundar código não é o problema, claro que há redundâncias indesejáveis:

if ok == true

E há redundâncias problemáticas, essas são as que devem ser observadas para o DRY.

Se você faz um código simples ou complexo que só vá ser usado uma vez, obviamente não estará violando o DRY, certo?

Não é tão simples. Isso é verdade estritamente, até que um dia alguém precisa dele em outro lugar e o que era único deixa de ser, só que quem precisou daquilo não sabia que já tinha pronto em um lugar. Tem que pensar na extensibilidade para fazer DRY.

Pegue este código (não faz mais nada com z, mas poderia um dia fazer):

z = x + y
print z

e

print x + y

Qual é mais DRY?

Há controvérsias.

Definição formal

A informação "oficial" do que é DRY é:

Cada parte do conhecimento deve ter uma representação única, não ambígua e definitiva dentro do sistema.

O DRY tem a ver com canonicalidade. Você não pode ter a mesma informação em mais de um lugar da aplicação ou mesmo da solução como um todo.

O DRY é sobre ter uma regra em um único lugar (cânone). Imagina que você coloca a regra em dois lugares (lembrando que códigos são regras que o programador estabelece para o computador executar). Uma hora você precisa mudar a regra, vai lembrar/saber que precisa mudar nos dois? A mudança manterá as duas fazendo a mesma coisa?

A canonicalidade pode ocorrer dentro de uma função, dentro de um módulo (classe, por exemplo), dentro de uma aplicação (um executável, por exemplo) ou uma solução, incluindo aí partes que não sejam código (documentação, por exemplo).

Ter um único ponto de mudança de um fato é primordial para facilitar a manutenção.

O melhor debate sobre o assunto (ainda que se apeguem à coisas bobas como ter o protótipo de funções C ser anti-DRY ou não) provavelmente está na Wiki C2. Destaco especialmente a introdução:

A duplicação (seja ela acidental ou proposital) pode levar a pesadelos de manutenção, além de atrapalhar a refatoração e gerar contradições lógicas.

A duplicação e a possibilidade de contradições podem surgir em qualquer lugar: na arquitetura, em requisitos, código ou documentação. Os efeitos podem variar desde falhas de implementação de código, à confusão dos desenvolveres; até a falha completa do sistema.

Pode-se argumentar que a maior dificuldade na remediação do problema do Ano 2000, veio da falta de uma simples abstração de datas dentro de um sistema; o conhecimento das datas e o seu tratamento eram espalhados por muitas partes.

Como tornar o código mais canônico

Muitos vão pensar na canonicalidade dentro da função como forma de eliminar repetição, mas não é isso, é sobre a regra. Quase sempre um trecho de código só pode ser canônico criando uma nova função com esse código devidamente preparado para funcionar em qualquer situação. Esse código apenas responderá com a regra da forma mais simples possível, mantendo, claro, a responsabilidade única.

Onde esta função será colocada é uma questão importante também:

  • Pode estar dentro da função que vai usá-la (se a linguagem assim permitir);
  • dentro da mesma classe;
  • mesmo pacote (seja lá como a linguagem trabalhe com pacotes);
  • mesmo executável/script;
  • pode até estar acessível externamente, por um webservice, por exemplo.

A regra pode ser tão simples quanto pegar um valor de uma variável/constante global, ou quanto fazer cálculos complexos pegando dados de um db ou de um site.

Abstração

Isso tem a ver também com abstração. Você pode se perguntar que se é para pegar uma variável global, por que eu não pego logo a variável em vez de criar um camada extra? Depende da situação, se a regra é pegar esta variável específica, não precisa fazer mais nada, já está canônico. Se esta variável é um detalhe de implementação, então a regra é pegar uma informação, e de onde ela vem é detalhe, então precisa de uma abstração para deixar canônico.

Quando usa uma função pegaEndereçoPeloCep("01234-567) não interessa se a consulta é feita em um banco de dados, no site dos Correios ou outro lugar. Se você não tiver uma função para isto fica fácil perder a canonicalidade.

Em quase todos os códigos legados que trabalhei e na maioria dos códigos em perguntas aqui no SOpt que tenham mais que um trecho muito curto eu vejo coisas do tipo:

valorDescontado = valorTotal * (desconto / 100)

Simples, né? Isso será espalhando por todo o código, ou por ^C ^V ou por ser tão intuitivo que vai criando na mão. E se a forma do desconto mudar? Se tiver uma condição nova? Se o valor do desconto passar ser pego de uma tabela? Se por alguma razão ele não for mais uma porcentagem simples?

Ferramentas

A ferramenta mais óbvia para fazer o código mais DRY é a função. OOP, serviços (web, bancos com stored procedures, etc.) são outras. Dicionário de dados e técnicas de scaffolding também ajudam evitar ter código redundante, principalmente em tecnologias diferentes.

Usar ferramentas para duplicar o código de forma automática não viola o DRY. Não estamos falando de código curto e sim de código com boa manutenibilidade.

Esse é um dos motivos de muitas pessoas preferirem ter código em stored procedure. É uma forma de dar canonicalidade para uma solução de várias aplicações. Existem outras soluções que obtém o mesmo de forma melhor, mas isso é outro assunto.

Técnicas específicas

MVC é hoje uma técnica exageradamente empregada e que "incentiva" violar o DRY. Parte da violação ocorre por falta de entendimento do MVC e não saber onde colocar cada informação. Parte é pelo desconhecimento de como resolver problemas reais que causam duplicação. MVC mal empregado causa mais problemas que soluções, mas a pessoa acha que fazer o mesmo que todo mundo está fazendo não tem como errar. Dá vontade de chorar vendo os MVCs por aí.

Se é pra criar mais de um ponto de mudança, não faça MVC!

Há casos que o problema exige uma certa flexibilização, permitindo que a aplicação possa ter comportamentos diferentes. Nenhum problema com o DRY. Padrões de projeto podem ser aplicados para que a flexibilização seja obtida sem ter a mesma regra em locais diferentes. Ter várias regras não é problema, ter a mesma em dois lugares diferentes é o problema.

Sabe aquele negócio de não usar números mágicos? Isso é DRY.

Normalização é uma forma de DRY.

Redundâncias que tornam o código melhor não violam o DRY.

Por isso eu uso dicionários de dados de forma estendida (não só na definição clássica) há muitos anos. No dicionário da aplicação tenho todos os fatos da aplicação em um só lugar. Mudando ali, estou mudando em tudo o que preciso. Dependendo da tecnologia usada até o código pode estar nesse dicionário, mas na maioria das linguagens não dá para fazer isto. Aí existem técnicas específicas para ligar os fatos com o código.

Como sempre, é claro que não é para usar certas técnicas em certos tipos de aplicação.

DRY soluciona o quê?

Alguns ainda podem estar pensando que DRY é para reduzir digitação. Ou pelo menos ganhar tempo de manutenção. Até é no último caso, mas não porque tem menos código por si só (ainda que menos código sempre ajude alguma coisa). A redução no tempo de manutenção é não ter que ficar caçando as redundâncias, fazer tranquilamente uma mudança sabendo que tudo continuará consistente, sem ter que arrumar erros que nem imagina que acontecerá quando mudar algo.

DRY exige que qualquer informação de código seja única. DRY cria uma fonte autoritativa de como deve ser um comportamento.

Feito corretamente aumenta a coesão e diminui o acoplamento. Feito errado...

DRY ajuda ter responsabilidade única. Tentar amontoar as coisas em uma função só para evitar repetição só piora o SRP. Por isso é que é importante distinguir DRY de eliminação de repetição.

DRY concretamente evita pesadelos de manutenção. Mais abstratamente exige que o programador pense no que está fazendo, porque ele está colocando aquele código ali e se pode fazer de outra forma para uso futuro. DRY é planejamento.

Exageros

É óbvio que pode haver exageros. Hoje é muito comum fazer aplicações em camadas, inclusive usando tecnologias bem heterogêneas.

Um exemplo típico é a aplicação web. Frequentemente usamos mais de uma linguagem nesse tipo de ambiente. Se você tem Java de um lado e JavaScript do outro, provavelmente, pelo menos as mesmas validações terão que estar em dois lugares, já que precisa de duas linguagens. Algumas soluções que vejo por aí: "vamos fazer tudo em JS, assim dá pra aproveitar tudo", ou "todas validações serão feitas no servidor".

É o mesmo problema quando a pessoa acha que a solução é jogar tudo no banco de dados. A não ser que ela esteja pensando em um dicionário de dados e saiba bem o que está fazendo (que precisam de código na aplicação para sua perfeita realização), não costuma funcionar tão bem quanto o esperado, exagerando o acesso ao banco de dados.

Este é um caso para usar ferramentas que façam conversões ou gerações de código, ou aceitar que alguma duplicação terá que existir de forma muito bem documentada.

Também tem que tomar cuidado com as abstrações erradas. Um dos motivos de ter escrito isso é que muitas pessoas vão querer usar DRY para evitar repetição. Existe repetição intencional, consciente. Isso ocorre quando os conceitos são diferentes mas momentaneamente usam o mesmo código (mesmo que dure para semrpe). Não use DRY nesses casos, vai ter problemas no futuro.

DRY pode tornar o código pior

Também é preciso cuidado para não criar uma repetição para eliminar outra. Ou piorar a legibilidade em nome do DRY. É raro, mas é possível piorar o código fazendo o DRY.

O DRY pode trazer complexidade em alguns códigos quando em exagero, mas muitas vezes a complexidade de fato ocorre por requisitos complexos ou pelo uso conjunto de outras técnicas que tornam o código exageradamente complexo. Por isso que eu costumo preferir o DRY se ele conflitar com outro princípio. Ficar se repetindo para simplificar não costuma ser a solução. Se o código ficaria muito complexo, automatize a repetição e está fazendo DRY.

Não precisa nem dizer que pode-se exagerar ao criar variáveis onde não precisa, como mostrado no último exemplo da seção inicial desta resposta. Não vai, por exemplo, criar uma variável $p = "<p>" para usar na montagem de um texto HTML em vez do literal direto.

Se um código é coincidentemente igual, mas não tem relação com outro, não vá aplicar DRY. Os projetos terão novos requerimentos. Pense como isso será afetado quando for fazer DRY. Na maior parte dos casos haverá ganho, mas nem sempre.

Além disto abstrações que produzem efeitos colaterais são bem ruins. Algo a ser evitado, pra não dizer proibido.

E existe casos em que tentar fazer DRY pode reduzir a legibilidade de tal forma que não compense seu uso. Uma abstração esconde o real mecanismo, é raro, mas nem sempre é o que queremos.

E lembre-se do KISS. O que é simples depende de contexto. Simples não é sempre o mais curto, o menos repetido, mas frequentemente é. Portanto não crie uma abstração gratuitamente.

Comentários e outros pontos do software

De acordo com os proponentes DRY não é só sobre o código, é também sobre a base de dados, os testes, a documentação, incluindo comentários.

De que adianta deixar todo o código canônico e outras partes permitirem uma ruptura por não estarem sincronizados.

Algumas pessoas consideram os comentários como uma das piores formas de violar o DRY. De fato dependendo do comentário é mesmo ruim, não sei se tão ruim, porque ele não afeta o código, mas pode induzir o programador a erro. Umas das causas do uso jocoso do termo WET (Write Everything Twice).

O banco de dados deve ser manipulado pela solução como um todo de forma automática.

Os builds e até mesmo os deploies devem ser automatizados e providenciar partes da solução que são propositalmente faltantes durante o desenvolvimento para evitar a repetição.

Não exagere na documentação, mas o que fizer não pode sair de sincronia com o código real. Como fazer isto automaticamente?

Conclusão ou TL; DR atrasado

DRY é sobre ter uma forma única de tratar determinada ação em uma solução de software. É ter em um só local todo o conhecimento que precisa sobre um assunto bem específico da solução. Mesmo que este local dependa de outras coisas.

É um reducionismo dizer que DRY é evitar duplicação de código.

Minha opinião é que DRY é o princípio mais importante da computação. Se o programador seguir ele corretamente, não importa a ferramenta, o paradigma, a tecnologia, a metodologia que usa, já estará fortemente no caminho certo. Se errar, pode escolher o que quiser, você tem lixo nas mãos. Não é OOP, Java, Agile, MVC, design patterns, camadas, etc. que vão te salvar. Vejo muita gente evitar o DRY em nome de outras coisas que trazem bem menos vantagens.

Além da técnica quando se escreve código, precisa de automação, automação, automação.

Claro que não é panaceia, não cura todos os males, não dispensa outras técnicas e fazer certo nem sempre é fácil ou possível. Se vira dogma religioso, como costuma acontecer com muita coisa na computação, pode ter efeito contrário. Cuidado pra não transformá-lo em "boa prática".

Eu sou um proponente radical do DRY e ainda assim não faço em tudo.

Maniero
  • 484,4mil
  • 94
  • 1,3mil
  • 2,2mil