Wat zijn inline-functies in C++ en hoe werkt het sleutelwoord inline? Wat zijn de echte beperkingen en risico's van overmatig gebruik van inline-functies bij grote builds?

Antwoord.

Inline-functies zijn functies waarvoor de compiler kan (maar niet verplicht is) de aanroep te vervangen door de directe invoeging van de functietekst op de plaats van de aanroep. Hiervoor wordt het sleutelwoord inline gebruikt.

• Het sleutelwoord inline geeft de compiler een advies, maar is geen verplichting: het kan worden genegeerd als de functie te complex is.
• In werkelijkheid worden functies die binnen een klasse zijn gedefinieerd standaard als inline beschouwd.
• Inline-functies worden vaak gebruikt voor korte, veelgebruikte functies om de overhead van aanroepen te vermijden.

Beperkingen en risico's:

• Frequent code-dubbeling bij een groot aantal aanroepen en het opnemen van dezelfde header-functie in verschillende bestanden kan de omvang van de binaire bestand aanzienlijk vergroten.
• Complexe functies of functies die andere inline-functies aanroepen, worden mogelijk niet inline door de compiler uitgerold.

Voorbeeld:

inline int add(int a, int b) {
    return a + b;
}

struct X {
    int get() const { return value; }
    int value;
};
// get() wordt als inline beschouwd

Misleidende vraag.

Vraag: Garandeert het sleutelwoord inline dat de functie in alle aanroeppunten zal worden ingebed?

Antwoord: Nee. De compiler beslist zelf over de inline-substitutie op basis van interne heuristieken. inline is slechts een aanbeveling.

Voorbeelden van echte fouten door gebrek aan kennis over de nuances van het onderwerp.

---

Verhaal

In een financieel systeem werd een vaak gebruikte logger geschreven met tientallen grote inline-functies. Na de groei van het systeem nam de omvang van het binaire bestand exponentieel toe, wat leidde tot langere linktijd en verminderde cache-efficiëntie op de server.

---

Verhaal

Tijdens de migratie van cross-platform software werd ontdekt dat sommige compilers (bijvoorbeeld MSVC en GCC) inline verschillend verwerkten: sommige functies werden niet inline uitgerold, terwijl andere dat wel werden, wat leidde tot moeilijk reproduceerbare verschillen in snelheid en bestandsgrootte tussen platforms.

---

Verhaal

Een ontwikkelaar verklaarde inline-functies alleen in de header-bestanden, maar plaatste de implementatie in een apart cpp-bestand. Dit leidde tot fouten bij het linken zoals multiple definition of unresolved external, omdat inline-functies precies in de header-bestanden moeten worden gedefinieerd.