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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 251 — #289
✐
9: Funciones inline
Una de las características más importantes que C++ hereda de C es
la eficiencia. Si la eficiencia de C++ fuese dramáticamente menor que
la de C, podría haber un contingente significativo de programadores
que no podrían justificar su uso.
En C, una de las maneras de preservar la eficiencia es mediante el uso de macros,
lo que permite hacer lo que parece una llamada a una función sin la sobrecarga habitual
de la llamada a función. La macro está implementada con el preprocesador en
vez del propio compilador, y el preprocesador reemplaza todas las llamadas a macros
directamente con el código de la macro, de manera que no hay que complicarse
pasando argumentos, escribiendo código de ensamblador para CALL, retornando argumentos
ni implementando código ensamblador para el RETURN. Todo el trabajo lo
realizar el preprocesador, de manera que se tiene la coherencia y legibilidad de una
llamada a una función pero sin ningún coste.
Hay dos problemas respecto al uso del preprocesador con macros en C++. La primera
también existe en C: una macro parece una llamada a función, pero no siempre
actúa como tal. Esto puede acarrear dificultades para encontrar errores. El segundo
problema es específico de C++: el preprocesador no tiene permisos para acceder a la
información de los miembros de una clase. Esto significa que las macros de preprocesador
no pueden usarse como métodos de una clase.
Para mantener la eficiencia del uso del preprocesador con macros pero añadiendo
la seguridad y la semántica de ámbito de verdaderas funciones en las clases. C++
tiene las funciones inline. En este capítulo veremos los problemas del uso de las
maros de preprocesador en C++, cómo se resuelven estos problemas con funciones
inline, y las directrices e incursiones en la forma en que trabajan las funciones
inline.
9.1. Los peligros del preprocesador
La clave de los problemas con las macros de preprocesador radica en que puedes
caer en el error de pensar que el comportamiento del preprocesador es igual que
el del compilador. Por supuesto, la intención era que una macro se parezca y actúe
como una llamada a una función, por eso es bastante fácil caer en este error. Las
dificultades comienzan cuando las diferencias aparecen subyacentes.
Consideremos un ejemplo sencillo:
#define F (x) (x + 1)
251
✐
✐
✐
✐