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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 255 — #293
✐
9.2. Funciones inline
una función ordinaria se obtiene con una función inline. La única diferencia es que
una función inline se expande en el mismo sitio, como una macro de preprocesador,
de modo que la cabecera de una llamada a función es eliminada. Por ello no debería
usar macros (casi) nunca, solo funciones inline.
Cualquier función definida en el cuerpo de una clase es automáticamente inline,
pero también puede hacer una función inline que no esté dentro del cuerpo de una
clase, precediéndola con la palabra clave inline. De todos modos, para que esto tenga
algún efecto, debe incluir el cuerpo de la función con la declaración, de otro modo el
compilador tratará esa función como una declaración de una función ordinaria. Así:
inline int plusOne(int x);
no tiene ningún otro efecto que declarar la función (que puede o no obtener una
definición inline después). La aproximación correcta proporciona el cuerpo de la función:
inline int plusOne(int x) { return ++x; }
Observe que el compilador revisará (como siempre lo hace), el uso apropiado
de la lista de argumentos de la función y del valor de retorno (haciendo cualquier
conversión necesaria), algo que el preprocesador es incapaz de hacer. Además, si
intenta escribir lo anterior como una macro de preprocesador, obtendrá un efecto no
deseado.
Casi siempre querrá poner las funciones inline en un fichero de cabecera. Cuando
el compilador ve una definición como esa pone el tipo de la función (la firma combinada
con el valor de retorno) y el cuerpo de la función en su tabla de símbolos.
Cuando use la función, el compilador se asegura de que la llamada es correcta y el
valor de retorno se está usando correctamente, y entonces sustituye el cuerpo de la
función por la llamada a la función, y de ese modo elimina la sobrecarga. El código
inline ocupa espacio, pero si la función es pequeña, realmente ocupará menos espacio
que el código generado para una llamada a función ordinaria (colocando los
argumentos en la pila y ejecutando el CALL).
Una función inline en un fichero de cabecera tiene un estado especial, dado que
debe incluir el fichero de cabecera que contiene la función y su definición en cada
fichero en donde se use la función, pero eso no provoca un error de definición múltiple
(sin embargo, la definición debe ser idéntica en todos los sitios en los que se
incluya la función inline).
9.2.1. inline dentro de clases
Para definir una función inline, debe anteponer la palabra clave inline al nombre
de la función en el momento de definirla. Sin embargo, eso no es necesario cuando
se define dentro de una clase. Cualquier función que defina dentro de una clase
es inline automáticamente. Por ejemplo:
//: C09:Inline.cpp
// Inlines inside classes
#include
#include
using namespace std;
255
✐
✐
✐
✐