Fonctions en ligne et macros de préprocesseur

Question

Quelle est la différence entre une fonction inline et une macro de préprocesseur ?

Answer 1

Les macros de préprocesseur sont simplement des modèles de substitution appliqués à votre code. Elles peuvent être utilisées presque partout dans votre code car elles sont remplacées par leurs expansions avant que la compilation ne commence.

Les fonctions en ligne sont des fonctions réelles dont le corps est directement injecté dans leur site d'appel. Elles ne peuvent être utilisées que lorsqu'un appel de fonction est approprié.

Maintenant, en ce qui concerne l'utilisation des macros par rapport aux fonctions en ligne dans un contexte de type fonction, sachez que :

• Les macros ne sont pas sans danger pour les types et peuvent être développées indépendamment de leur syntaxe. La phase de compilation signalera les erreurs résultant de problèmes d'expansion de macros.
• Les macros peuvent être utilisées dans un contexte où vous ne vous y attendez pas, ce qui entraîne des problèmes
• Les macros sont plus flexibles, dans la mesure où elles peuvent développer d'autres macros, alors que les fonctions en ligne ne le font pas nécessairement.
• Les macros peuvent entraîner des effets secondaires en raison de leur expansion, puisque les expressions en entrée sont copiées partout où elles apparaissent dans le motif.
• Il n'est pas toujours garanti que les fonctions inlines le soient - certains compilateurs ne le font que dans les versions de base, ou lorsqu'ils sont spécifiquement configurés pour le faire. De plus, dans certains cas, l'inlining peut ne pas être possible.
• Les fonctions en ligne peuvent fournir une portée pour les variables (en particulier les variables statiques), les macros du préprocesseur ne peuvent le faire que dans les blocs de code {...}, et les variables statiques ne se comporteront pas exactement de la même manière.

Answer 2

Premièrement, les macros du préprocesseur sont simplement "copier-coller" dans le code avant la compilation. Il n'y a donc pas de vérification du type et certains effets secondaires peut apparaître

Par exemple, si vous voulez comparer 2 valeurs :

#define max(a,b) ((a<b)?b:a)

Les effets secondaires apparaissent si vous utilisez max(a++,b++) par exemple ( a o b sera incrémenté deux fois). À la place, utilisez (par exemple)

inline int max( int a, int b) { return ((a<b)?b:a); }

Answer 3

La principale différence est la vérification des types. Le compilateur vérifie si ce que vous passez comme valeurs d'entrée est d'un type qui peut être transmis à la fonction. Ce n'est pas le cas avec les macros du préprocesseur - elles sont développées avant toute vérification de type, ce qui peut provoquer des bogues graves et difficiles à détecter.

Ici Plusieurs autres points moins évidents ont été soulignés.

Answer 4

Pour ajouter une autre différence à celles déjà données : vous ne pouvez pas traverser une #define dans le débogueur, mais vous pouvez avancer dans une fonction en ligne.

Answer 5

Une fonction inline maintiendra la sémantique de la valeur, alors qu'une macro de préprocesseur ne fait que copier la syntaxe. Vous pouvez obtenir des bogues très subtils avec une macro de préprocesseur si vous utilisez l'argument plusieurs fois - par exemple, si l'argument contient une mutation comme "i++", avoir cette exécution deux fois est assez surprenant. Une fonction en ligne n'aura pas ce problème.