Rekursives Funktions-Inlining

Es ist ein weit verbreitetes Missverständnis, dass rekursive Funktionen nicht inline sein können. Allerdings können Compiler tatsächlich rekursive Funktionen integrieren, wenn auch unter bestimmten Voraussetzungen.

Inline-Qualifikator vs. Compiler-Optimierung

Der Inline-Spezifizierer für eine Funktion ist lediglich ein Hinweis auf die Compiler. Der Compiler hat das letzte Wort darüber, ob die Funktion eingebunden wird oder nicht, unabhängig vom Inline-Qualifizierer.

Inlining-Entscheidung des Compilers

Ein Compiler entscheidet, ob eine Funktion basierend auf eingebunden wird auf Faktoren wie:

• Optimierungsebene: Höhere Optimierungsebenen sind tendenziell günstiger Inlining.
• Funktionsgröße und -komplexität: Kleinere und weniger komplexe Funktionen werden eher inliniert.
• Verfügbarkeit von Optimierungstechniken: Der Compiler verwendet möglicherweise Loop-Unrolling oder Tail-Call-Optimierung, um Inlining zu ermöglichen .
• Rekursives Limit: Einige Compiler haben ein Limit für die Häufigkeit, mit der eine rekursive Funktion ausgeführt werden kann inlined.

Beispiel für Inlining-Optimierung

Betrachten Sie die folgende rekursive Fakultätsfunktion:

inline int factorial(int n) {
    if (n 
Ein optimierender Compiler könnte diese Funktion möglicherweise auf eine bestimmte Ebene integrieren, wie im folgenden optimierten Code zu sehen ist:
int factorial(int n) {
    if (n 
In diesem Fall hat der Compiler die Fakultätsfunktion dreimal abgewickelt und damit effektiv einen Teil der rekursiven Aufrufe inline eingefügt.