C++ void cast y operador coma en un #define

Question

Encontré esto mientras leía un código fuente.

#define MACRO(x) if((void) 0, (x)); else some_func(); 

No entiendo completamente las razones detrás de esa coma de operador y el molde de vacío. Esto probablemente tiene algo que ver con la protección macro, sé que (void)0 se usa a veces para proteger a las cascadas else s en macros como en if(...) then foo(); else (void)0.

¿Alguna idea de por qué la coma del operador está allí?

edición: estoy empezando a pensar que esto tiene algo que ver con la owl(0,0).

Answer 1

Supongo que el truco se usa para evitar que el usuario declare variables en la condición if. Como usted probablemente sabe, en C++ es legal hacer esto

if (int i = some_func()) { 
    // you can use `i` here 
} 
else { 
    // and you can use `i` here 
} 

El uso del operador de coma en esa definición evitará el uso de macro como

MACRO(int i = some_func()); 

y obligar al usuario a utilizar sólo expresiones como argumento

Answer 2

La conversión nula definitivamente debe evitar llamar a un operator , sobrecargado ya que no se puede sobrecargar con un parámetro void. Esto garantiza que (void)0, no tiene ningún efecto.

¿Por qué el operador de coma está ahí? Una buena pregunta. Realmente no lo sé

Answer 3

Este se ve un poco como si alguien puede haber comenzado con un código que incluye un assert, pre-procesado, y se convirtió el resultado en una macro. Cuando se define NDEBUG, assert tiene que convertirse en casi nada, pero, sintácticamente, todavía tiene que producir algún código de marcador de posición. Por ejemplo, se le permite usarlo en una situación como:

assert(x), *x = 1; 

Al compilar esto con NDEBUG definido, todavía necesita para compilar, pero el assert no debe hacer nada. Para apoyar esto, assert se define típicamente algo como esto:

#undef assert 
#ifdef NDEBUG 
#define assert(x) ((void)0) 
#else 
#define assert(x) ((!!x) || __failassert(x, __FILE__, __LINE__)) 
#endif 

Por lo tanto, si alguien se inició con un código como anteriormente, y luego miró a la versión pre-procesado (con NDEBUG definida), que verían algo así como:

((void *)0), *x = 1; 

... y si no entendieron el código muy bien, podrían pensar que ((void)0) realmente significaba/lograba algo.