inline specifier

Le spécificateur inline , lorsqu'il est utilisé dans la decl-specifier-seq d'une fonction, déclare la fonction comme étant une fonction inline .

Une fonction définie entièrement à l'intérieur d'une définition de classe/struct/union , qu'il s'agisse d'une fonction membre ou d'une fonction friend non-membre, est implicitement une fonction inline sauf si elle est attachée à un module nommé (depuis C++20) .

Explication

Une fonction inline ou variable inline (depuis C++17) possède les propriétés suivantes :

• La définition d'une fonction inline ou variable (since C++17) doit être accessible dans l'unité de traduction où elle est utilisée (pas nécessairement avant le point d'accès).
• Une fonction inline ou variable (since C++17) avec liaison externe (par exemple non déclarée static ) possède les propriétés supplémentaires suivantes :

• Il peut y avoir plus d'une définition d'une fonction inline ou variable (depuis C++17) dans le programme tant que chaque définition apparaît dans une unité de traduction différente et (pour les fonctions inline non statiques et variables (depuis C++17) ) toutes les définitions sont identiques. Par exemple, une fonction inline ou une variable inline (depuis C++17) peut être définie dans un fichier d'en-tête inclus dans plusieurs fichiers source.
• Elle doit être déclarée inline dans chaque unité de traduction.
• Elle a la même adresse dans chaque unité de traduction.

Dans une fonction en ligne,

• Les objets statiques locaux à la fonction dans toutes les définitions de fonctions sont partagés entre toutes les unités de traduction (ils font tous référence au même objet défini dans une unité de traduction).
• Les types définis dans toutes les définitions de fonctions sont également les mêmes dans toutes les unités de traduction.

L'intention initiale du mot-clé inline était de servir d'indicateur à l'optimiseur que la substitution en ligne d'une fonction est préférable à un appel de fonction, c'est-à-dire qu'au lieu d'exécuter l'instruction CPU d'appel de fonction pour transférer le contrôle au corps de la fonction, une copie du corps de la fonction est exécutée sans générer l'appel. Cela évite la surcharge créée par l'appel de fonction (transmission des arguments et récupération du résultat) mais peut entraîner un exécutable plus volumineux car le code de la fonction doit être répété plusieurs fois.

Puisque la substitution en ligne n'est pas observable dans la sémantique standard, les compilateurs sont libres d'utiliser la substitution en ligne pour toute fonction non marquée inline , et sont libres de générer des appels de fonction pour toute fonction marquée inline . Ces choix d'optimisation ne modifient pas les règles concernant les définitions multiples et les statiques partagés mentionnées ci-dessus.

Notes

Si une fonction en ligne ou variable (depuis C++17) avec liaison externe est définie différemment dans différentes unités de traduction, le programme est mal formé, aucun diagnostic requis.

Le spécificateur inline ne peut pas être utilisé avec une déclaration de fonction ou de variable (depuis C++17) au niveau bloc (à l'intérieur d'une autre fonction).

Le spécificateur inline ne peut pas redéclarer une fonction ou une variable (depuis C++17) qui a déjà été définie dans l'unité de traduction comme non-inline.

Les fonctions membres générées implicitement et toute fonction membre déclarée comme par défaut lors de sa première déclaration sont inline comme toute autre fonction définie à l'intérieur d'une définition de classe.

Si une fonction en ligne est déclarée dans différentes unités de traduction, les ensembles accumulés des arguments par défaut doivent être identiques à la fin de chaque unité de traduction.

En C, les fonctions inline ne doivent pas nécessairement être déclarées inline dans chaque unité de traduction (au plus une peut être non- inline ou extern inline ), les définitions de fonctions ne doivent pas nécessairement être identiques (mais le comportement du programme n'est pas spécifié s'il dépend de celle qui est appelée), et les statiques locales à la fonction sont distinctes entre les différentes définitions de la même fonction.

Mots-clés

inline

Exemple

En-tête "example.h" :

#ifndef EXAMPLE_H
#define EXAMPLE_H
#include <atomic>
// une fonction incluse dans plusieurs fichiers source doit être inline
inline int sum(int a, int b)
{
    return a + b;
}
// une variable avec liaison externe incluse dans plusieurs fichiers source doit être inline
inline std::atomic<int> counter(0);
#endif

Fichier source #1 :

#include "example.h"
int a()
{
    ++counter;
    return sum(1, 2);
}

` et contient des termes spécifiques au C++ qui doivent être préservés selon les instructions. Seul le texte en dehors de ces balises aurait été traduit, mais dans cet exemple, il n'y a pas de texte à traduire en dehors du code.

Fichier source #2 :

#include "example.h"
int b()
{
    ++counter;
    return sum(3, 4);
}

` et contient des termes spécifiques au C++. Aucune traduction n'a été effectuée sur le contenu du code, conformément aux instructions.

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

Voir aussi