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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 254 — #292
✐
Capítulo 9. Funciones inline
a = 12
Cuando a es cuatro, sólo ocurre la primera parte de la condición, de modo que la
expresión es evaluada sólo una vez, y el efecto resultante de la llamada a la macro es
que a será 5, que es lo que se esperaría de una llamada a función normal en la misma
situación. De todos modos, cuando el número está dentro del rango, se evalúan
ambas condiciones, lo que da como resultado un tercer incremento. Una vez que el
número se sale del rango, ambas condiciones siguen siendo evaluadas de manera
que se obtienen dos incrementos. Los efectos colaterales son distintos, dependiendo
del argumento.
Este no es desde luego el comportamiento que se quiere de una macro que se
parece a una llamada a función. En este caso, la solución obviamente es hacer una
autentica función, lo que de hecho implica la cabecera extra y puede reducir la eficiencia
si se llama demasiado a esa función. Desafortunadamente, el problema no
siempre será tan obvio, y sin saberlo. puede estar utilizando una librería que contiene
funciones y macros juntas, de modo que un problema como éste puede esconder
errores difíciles de encontrar. Por ejemplo, la macro putc() de cstdio puede llegar
a evaluar dos veces su segundo argumento. Esto está especificado en el Estándar
C. Además, la implementación descuidada de toupper() como una macro puede
llegar a evaluar el argumento más de una vez, lo que dará resultados inesperados
con toupper(*p++) 1 .
9.1.1. Macros y acceso
Por supuesto, C requiere codificación cuidadosa y el uso de macros de preprocesador,
y se podría hacer lo mismo en C++ si no fuese por un problema: las macros
no poseen el concepto de ámbito requerido con los métodos. El preprocesador simplemente
hace substitución de texto, de modo que no puede hacer algo como:
class X{
int i;
public:
#define VAL(X::i) // Error
ni nada parecido. Además, no habría ninguna indicación del objeto al que se está
refiriendo. Simplemente no hay ninguna forma de expresar el ámbito de clase en
una macro. No habiendo ninguna alternativa diferente a macros de preprocesador,
los programadores se sentirán tentados de crear algunos atributos públicos por el
bien de la eficiencia, exponiendo así la implementación subyacente e impidiendo
cambios en esa implementación, así como eliminando la protección que proporciona
private.
9.2. Funciones inline
Al resolver el problema que había en C++ con las macros cuando acceden a miembros
de clases privada, todos los problemas asociados con las macros de preprocesador
fueron eliminados. Esto se ha hecho aplicando el concepto de macros bajo el control
del compilador al cual pertenecen. C++ implementa la macro como una función
inline, lo que es una función real en todo sentido. Todo comportamiento esperado de
1 Andrew Koenig entra en más detalles en su libro C Traps & Pitfalls (Addison-Wesley, 1989).
254
✐
✐
✐
✐