do {...} while (0) - ¿para qué sirve?

Question

Possible Duplicate:
Why are there sometimes meaningless do/while and if/else statements in C/C++ macros?

He estado viendo esa expresión durante más de 10 años. He estado tratando de pensar para qué sirve. Como lo veo principalmente en #defines, supongo que es bueno para la declaración de variables de ámbito interno y para usar descansos (en lugar de gotos)

¿Es bueno para cualquier otra cosa? ¿Lo usas?

Answer 1

Es la única construcción en C que puede usar para #define una operación de varias instrucciones, poner un punto y coma después, y todavía usar dentro de una declaración if.Un ejemplo puede ayudar a:

#define FOO(x) foo(x); bar(x) 

if (condition) 
    FOO(x); 
else // syntax error here 
    ...; 

Incluso el uso de llaves no ayuda:

#define FOO(x) { foo(x); bar(x); } 

El uso de este en un comunicado por if requeriría que se omite el punto y coma, lo que es contrario a la intuición:

if (condition) 
    FOO(x) 
else 
    ... 

Si define FOO de esta manera:

#define FOO(x) do { foo(x); bar(x); } while (0) 

entonces el siguiente es sintácticamente correcta:

if (condition) 
    FOO(x); 
else 
    .... 

Answer 2

Es una forma de simplificar la comprobación de errores y evitar las anidaciones profundas. Por ejemplo:

do { 
    // do something 
    if (error) { 
    break; 
    } 
    // do something else 
    if (error) { 
    break; 
    } 
    // etc.. 
} while (0); 

Answer 3

Genéricamente, do/while es bueno para cualquier tipo de construcción de lazo donde uno debe ejecutar el bucle al menos una vez. Es posible emular este tipo de bucle a través de un while recto o incluso un bucle for, pero a menudo el resultado es un poco menos elegante. Admitiré que las aplicaciones específicas de este patrón son bastante raras, pero existen. Una que viene a la mente es una aplicación de consola basada en menús:

do { 
    char c = read_input(); 

    process_input(c); 
} while (c != 'Q'); 

Answer 4

Ayuda a la agrupación de varias instrucciones en una sola, por lo que una macro-función como en realidad se puede utilizar como una función. Suponga que tiene

#define FOO(n) foo(n);bar(n) 

y hacer

void foobar(int n){ 
    if (n) 
    FOO(n); 
} 

entonces este se expande a

void foobar(int n){ 
    if (n) 
    foo(n);bar(n); 
} 

en cuenta que la segunda llamada (barra (n)) no es parte de la sentencia if más .

Envuelva ambos en do {} while (0), y también puede usar la macro en una instrucción if.

Answer 5

Es interesante observar la siguiente situación en la que el do {} while (0) bucle voluntad no trabajo por usted:

Si quiere una macro de función que devuelve un valor, entonces necesitará un statement expression: ({stmt; prop;}) en lugar de do {} while (0):

#include <stdio.h> 

#define log_to_string1(str, fmt, arg...) \ 
    do { \ 
     sprintf(str, "%s: " fmt, "myprog", ##arg); \ 
    } while (0) 

#define log_to_string2(str, fmt, arg...) \ 
    ({ \ 
     sprintf(str, "%s: " fmt, "myprog", ##arg); \ 
    }) 

int main() { 
     char buf[1000]; 
     int n = 0; 

     log_to_string1(buf, "%s\n", "No assignment, OK"); 

     n += log_to_string1(buf + n, "%s\n", "NOT OK: gcc: error: expected expression before 'do'"); 

     n += log_to_string2(buf + n, "%s\n", "This fixes it"); 
     n += log_to_string2(buf + n, "%s\n", "Assignment worked!"); 
     printf("%s", buf); 
     return 0; 
}