No código do Linux vi algumas macros com:
do
{
}while(0)
Existe motivo? Porque aparentemente não tem lógica um laço de repetição em que o código repete apenas uma vez.
Não existe provavelmente porque é pouco necessário e dá para resolver desta forma. De qualquer forma esta construção é usado essencialmente em macros (acho que você já sabia disto pelas tags originais da pergunta).
Ele serve para agrupar vários comandos sem causar erros quando o pré-processador expande o código.
Exemplo:
#define MACRO(x) do { funcao(x); x++; } while (0)
Pode ser usado em:
if (a > 0)
MACRO(a);
else
a++;
Isto causaria erro no mesmo uso:
#define MACRO(x) { funcao(x); x++; }
Porque seria expandido para:
if (a > 0)
{ funcao(x); x++; };
else
a++;
Funcionaria se você não tivesse usado o ponto e vírgula na linha da macro, mas ninguém faz isto. E seria um erro obrigar o programador saber que esta macro deve ser usada assim.
Isto é pior ainda:
#define MACRO(x) funcao(x); x++
Expandiria para:
if (a > 0)
funcao(x); x++;
else
a++;
Coloquei no GitHub para referência futura.
Obviamente destruiria o uso do if
como se imaginava e o else
ficaria solto, gerando um erro de sintaxe.
Em alguns casos é possível usar isto em código normal, mas é raro ser útil e legível.
É também uma forma de se evitar if's extremamente agrupados e simplificar a verificação de erros:
do {
// faça algo
if (error) {
break;
}
// faça alguma outra coisa
if (error) {
break;
}
// etc..
} while (0);
goto
: pt.stackoverflow.com/q/20660/101
;
no fim da macro; esse;
vem do codigo propriamente dito.