Inclusión de funciones recursivas

Es un error común pensar que las funciones recursivas no se pueden integrar. Sin embargo, los compiladores pueden incorporar funciones recursivas, aunque con ciertas consideraciones.

Calificador en línea versus optimización del compilador

El especificador en línea de una función es simplemente una pista para el compilador. El compilador tiene la última palabra sobre si insertar la función o no, independientemente del calificador incorporado.

Decisión de inserción del compilador

Un compilador decide si insertar una función en función en factores como:

• Nivel de optimización: los niveles de optimización más altos tienden a favorecer la integración.
• Tamaño y complejidad de la función: es más probable que las funciones más pequeñas y menos complejas estén integradas.
• Disponibilidad de técnicas de optimización: el compilador puede utilizar el desenrollado de bucles o la optimización de llamadas de cola para hacer posible la inserción.
• Límite recursivo: algunos compiladores tienen un límite en la cantidad de veces que se puede insertar una función recursiva.

Ejemplo de optimización integrada

Considere la siguiente función factorial recursiva:

inline int factorial(int n) {
    if (n 
Un compilador optimizador podría potencialmente incorporar esta función a un cierto nivel, como se ve en el siguiente código optimizado:
int factorial(int n) {
    if (n 
En este caso, el compilador ha desenrollado la función factorial tres veces, incorporando efectivamente una parte de las llamadas recursivas.