Pensar en C++ (Volumen 1) - Grupo ARCO

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 252 — #290
✐
Capítulo 9. Funciones inline
Ahora, si hacemos una llamada a F de esta manera:
F(1)
El preprocesador la expande de manera inesperada:
(x) (x + 1)(1)
El problema se debe al espacio entre `F` y su paréntesis de apertura en la definición
de la macro. Cuando el espacio es eliminado en el código de la macro, puedes
llamar a la función incluso incluyendo el espacio.
F (1)
Y se expandirá de manera correcta a lo siguiente:
(1 + 1)
El ejemplo anterior es un poco trivial y el problema es demasiado evidente. Las
dificultades reales ocurren cuando se usan expresiones como argumentos en llamadas
a macros.
Hay dos problemas. El primero es que las expresiones pueden expandirse dentro
de la macro de modo que la precedencia de la evaluación es diferente a lo que cabría
esperar. Por ejemplo:
#define FLOOR(x,b) x>=b0:1
Ahora, si usamos expresiones como argumentos:
if (FLOOR(a&0x0f,0x07)) // ...
La macro se expandiría a:
if (a&0x0f>=0x070:1)
La precedencia del & es menor que la del >=, de modo que la evaluación de la
macro te sorprenderá. Una vez hayas descubierto el problema, puedes solucionarlo
insertando paréntesis a todo lo que hay dentro de la definición de la macro. (Este es
un buen método a seguir cuando defina macros de preprocesador), algo como:
#define FLOOR(x,b) ((x)>=(b)0:1)
De cualquier manera, descubrir el problema puede ser difícil, y no dará con él
hasta después de haber dado por sentado el comportamiento de la macro en sí misma.
En la versión sin paréntesis de la macro anterior, la mayoría de las expresiones
van a actuar de manera correcta a causa de la precedencia de >=, que es menor que
la mayoría de los operadores como +, /, --, e incluso los operadores de desplazamiento.
Por lo que puede pensar que funciona con todas las expresiones, incluyendo
aquellas que empleen operadores lógicos a nivel de bit.
252
✐
✐
✐
✐