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

✐
✐
✐
“Volumen1” — 2012/1/12 — 13:52 — page 265 — #303
✐
9.4. Funciones inline y el compilador
Si toda la información del tipo de la función encaja en el contexto de la llamada,
entonces la llamada a la función se sustituye directamente por el código inline,
eliminando la sobrecarga y permitiendo que el compilador pueda hacer más optimizaciones.
Además, si el inline es un método, la dirección del objeto(this) se pone en
el lugar apropiado, que es, por supuesto, otra acción que el preprocesador es incapaz
de hacer.
9.4.1. Limitaciones
Hay dos situaciones en que el compilador no puede efectuar la sustitución de inline.
En estos casos, simplemente convierte la función a la forma ordinaria tomando la
definición y pidiendo espacio para la función como hace con una función no-inline.
Si debe hacerlo en varias unidades de traducción (lo que normalmente causaría un
error de definición múltiple), informa al enlazador que ignore esas definiciones múltiples.
En compilador no puede efectuar la sustitución de inline si la función es demasiado
complicada. Esto depende de cada compilador particular, pero aunque muchos
compiladores lo hagan, no habrá ninguna mejora de eficiencia. En general, se considera
que cualquier tipo de bucle es demasiado complicado para expandir como una
inline, y si lo piensa, el bucle implica mucho más tiempo que el que conlleva la sobrecarga
de la invocación de la función. Si la función es simplemente una colección se
sentencias simples, probablemente el compilador no tendrá ningún problema para
utilizar inline, pero si hay muchas sentencias, la sobrecarga de llamada será mucho
menor que el coste de ejecutar el cuerpo. Y recuerde, cada vez que llame a una función
inline grande, el cuerpo completo se inserta en el lugar de la llamada, de modo
que el tamaño del código se inflará fácilmente sin que se perciba ninguna mejora
de rendimiento. (Note que algunos de los ejemplos de este libro pueden exceder el
tamaño razonable para una inline a cambio de mejorar la estética de los listados.
El compilador tampoco efectúa sustituciones inline si la dirección de la función
se toma implícita o explícitamente. Si el compilador debe producir una dirección,
entonces tendrá que alojar el código de la función y usar la dirección resultante. Sin
embargo, cuando no se requiere una dirección, probablemente el compilador hará la
sustitución inline.
Es importante comprender que una declaración inline es sólo una sugerencia al
compilador; el compilador no está forzado a hacer nada. Un buen compilador hará
sustituciones inline para funciones pequeñas y simples mientras que ignorará las
que sean demasiado complicadas. Eso le dará lo que espera - la auténtica semántica
de una llamada a función con la eficiencia de una macro.
9.4.2. Referencias adelantadas
Si está imaginando que el compilador [FIXME: is doing to implement inlines],
puede confundirse pensando que hay más limitaciones que las que existen realmente.
En concreto, si una inline hace una referencia adelanta a una función que no ha
sido declarada aún en la clase (sea inline o no), puede parecer que el compilador no
sabrá tratarla.
//: C09:EvaluationOrder.cpp
// Inline evaluation order
class Forward {
265
✐
✐
✐
✐