Ao contrário do que muita gente pensa sobre o dynamic
ele não torna as variáveis sem tipo, essa palavra-chave indica apenas que o compilador não deve verificar o seu tipo. C# é uma linguagem de tipagem estática (esse é o termo correto, também há bastante confusão sobre isso) e as variáveis só podem ter um tipo. O que pode acontecer é que a variável pode ter seu tipo trocado, e justamente por isso a verificação do compilador precisa ser desligada. Isso pode ser verificado com esse código:
dynamic x = 1;
WriteLine(x.GetType());
x = "oi";
WriteLine(x.GetType());
Veja demonstração no .NET Fiddle. Também coloquei no GitHub para referência futura.
Se em C# eu tenho uma variável que aceita qualquer valor, em qual situação ela deve ser usada?
Ele foi criado para interoperabilidade com outras linguagens que possuem tipagem dinâmica e com APIs externas (por COM, por exemplo) que não tipam seus dados. Foi feito para uso com reflexão em alguns casos onde o dinamismo é importante. Um exemplo está na pergunta Como criar propriedades dinamicamente em C#? ou Pegar valores de uma lista dinâmica. Tem uma pergunta mostrando as diferentes formas de lidar quando não se sabe exatamente qual é o tipo e dynamic
deve ser evitado.
De uma certa forma ela perde a segurança de tipos já que o compilador fica impedido de fazer alguma verificação. Varias coisas ficam tricky (complicado) de usar quando se abusa de dynamic
. Isso já ocorre em linguagens de tipagem dinâmica, mas as pessoas se acostumam. Quando mistura as duas coisas fica bem complicado. A maioria dos recursos do C# foi pensado para uso com tipagem estática, quando entra um tipo dinâmico algumas coisas podem não funcionar como se espera, ainda que os criadores da linguagem tenham feito um bom trabalho para mitigar a maioria dos casos que ficariam esquisitos.
E por que a linguagem não usa apenas ela como tipo de variável já que ela aceita todos os valores?
É uma questão de filosofia da linguagem de mater a segurança de tipos. Quando começa usar isso passa ser sua responsabilidade garantir que o tipo esteja sempre correto. Ou por observação no código ou mesmo escrevendo código que garante isso. Se usar algo errado obterá uma exceção por erro de programação que o ideal é que nunca ocorra. Tem que estar muito mais o código.
Alternativas
Já o var
foi criado para que o tipo possa ser inferido, ou seja, funciona normalmente como todo tipo, só que não precisa escrever o nome do tipo na declaração, o compilador descobre sozinho.
Também pode usar o tipo object
, a variável deste tipo pode receber valores de qualquer tipo porque todos os tipos são descendentes de object
. Só que você precisaria fazer casting para acessos os membros do tipo real do objeto. O compilador te protege de acessar membros que não sejam do tipo declarado. Se tentar acessar direto pelo tipo object
só poderá acessar os membros desse tipo. Não é o ideal. O dynamic
tem a vantagem justamente por impedir o compilador de verificar se os membros estão disponíveis, ele aceita tudo.
Linguagem adequada
Se acha que usar esse recurso é benéfico para uso generalizado na linguagem - muita gente não acha - então talvez C# não seja a melhor linguagem para você. Se quiser continuar no .NET seria melhor usar VB.NET (não é tão dinâmica assim) ou IronPython (pouco suportada), só para dar dois exemplos. Mas pra falar a verdade se quer algo dinâmico mesmo, acho melhor esquecer o .NET, dá para usá-lo, mas ele não foi pensado para usar desta forma.
Para usar C# precisa se identificar com a tipagem estática. Ela tem vantagens e desvantagens. Tem que escolher o que deseja. C# colocou essa facilidade para um objetivo específico, mas para mudar a filosofia da linguagem. Eu mesmo já pensei que poderia usá-la de uma forma mais dinâmica já que minha vida toda usei mais linguagens com tipagem dinâmica, mas percebi que seria um erro, ou faz como a linguagem foi projetada ou desiste dela.
dynamic
, esse é um recurso poderoso que oC#
possui (justamente por ser fortemente tipado), mas deve-se usar ele com cuidado. Ele tem casos bem específicos para ser usado, comoDynamic Dispatch
, comunicação comViews
(ViewBag
doASP.NET MVC
), comunicação com outras tecnologias que não podem ser bem mapeadas no C# e/ou precisam de muita flexibilidade na mudança de contrato (SignalR
com seusHubs
)...