Como já deu para perceber, a definição do que é um bloco de comando já está errada. Ele permite zero ou mais comandos (não gosto muito da tradução de statement para comando, mas ela a mais próxima que temos, então aceitável se a pessoa entender bem o que isto significa).
Método vazio
Se for um método que deve fazer nada dentro, aí tem:
public void Exemplo() {}
Esse é um método que explicitamente deve fazer nada. É raro ter uma necessidade assim, mas tem sua utilidade. É mais comum em métodos virtuais. Ou o virtual deve fazer nada, mas deixa seus descendentes fazerem ou o que sobrescreve deve eliminar o comportamento do ascendente. Se a opção for esta então deve ser muito bem pensada.
Note que um método vazio é diferente de um método virtual ou parcial sem implementação. O vazio tem uma implementação, que é fazer nada. E se é um erro chamar aquele método que foi obrigado a implementar por algum contrato, como primeira opção pense se deveria usar aquele contrato, e em segunda optar por lançar uma exceção (NotImplementedException
) para não usá-lo em vez de engolir a execução.
Os puristas dirão que não deve usar a segunda opção, os pragmáticos dirão que não é tão grave fazer isto, ainda mais se tiver alguma ferramenta que ajude detectar isto antes de ir para o runtime.
Bloco vazio
De fato usar o bloco vazio desta forma não tem utilidade. Mas por que deveria dar um erro?
Lembrando que o compilador não tenta ser mais esperto do que ele precisa. Daria muito trabalho para ficar verificando algo que não faz diferença. O compilador tem coisas mais importantes para fazer.
Além disto o máximo que poderia dar é um warning, afinal não causa erro algum fazer isto. Mesmo assim seria um exagero, porque mesmo warnings devem ser para casos onde tem potencial real para causar problemas. O que leva a dizer que muitos programadores não tratam warnings como erros, embora eles sejam, e vão causar problemas. No máximo isto deveria ser objeto de análise estática onde os falsos positivos são esperados.
Eu já peguei um código legado de 120 mil linhas que possuía 600 mil warnings. E o código "funcionava" :D
Novo escopo
O caso do bloco sem estar vinculado ao comando é útil em casos onde precisa introduzir uma variável e mesmo nome, assim fica legível onde já existe outra variável com mesmo nome.
Em geral o código pode ser modificado para evitar isso, mas também não é tão necessário. Muitas vezes quando é necessário significa que o método está complicado demais.
Estas duas variáveis possuem o mesmo nome mas são completamente independentes.
{
{
int x = 0;
}
{
int x = 0;
}
}
Isso é válido. Já o abaixo não compila porque a variável de um escopo pode estar escondendo a outra:
{
{
int x = 0;
}
int x = 0;
}
Faria mais sentido em casos assim:
{
if (true) { //aqui iria uma condição real
int x = 0;
}
{
int x = 0;
}
}
Coloquei no GitHub para referência futura.
Sem o bloco aparentemente desnecessário isto não compilaria. O primeiro x
poderia estar "sombreando" o segundo. Com o bloco eles se tornam independentes e compila.
Pra falar a verdade, a utilidade disto é algo bastante teórica. Na prática é possível produzir código legível sem ter que se preocupar com isto. Neste caso específico se não existisse este bloco não faria grande falta. Claro que alguns acham que é importante. Vejo tanta coisa que é mais importante e não existe na linguagem.