Quand utiliser des macros en forme de fonction en C

Le C Préprocesseur peut être utilisé pour créer des fonctions en ligne. Dans votre exemple, le code semble appeler le hachage de fonction, mais il ne s'agit que d'un code en ligne.

Les avantages de faire des fonctions macro ont été éliminés lorsque C ++ introduit des fonctions en ligne. Beaucoup d'apeses plus anciennes comme MFC et ATL utilisent toujours des fonctions de macro pour faire des astuces de préprocesseur, mais cela laisse simplement le code compliqué et plus difficile à lire.

Votre exemple n'est pas vraiment une fonction du tout,

int hashThis(int fp)
{
  return ((fp)%NHASH);
}

macros comme celui-ci éviter la surcharge d'un appel de la fonction.

Cela pourrait ne pas sembler beaucoup. Mais dans votre exemple, la macro se transforme en 1-2 instructions de langue de la machine, en fonction de votre CPU:

• Obtenez la valeur de FP hors de la mémoire et mettez-la dans un registre
• Prenez la valeur dans le registre, effectuez un calcul de module (%) par une valeur fixe et laissez-le dans le même registre

  alors que l'équivalent de fonction serait beaucoup plus d'instructions sur la langue de la machine, généralement quelque chose comme

  • Collez la valeur de FP sur la pile
  • Appelez la fonction, qui met également la prochaine adresse (retour) sur la pile
  • peut-être construire un cadre de pile à l'intérieur de la fonction, en fonction de la convention de l'architecture de la CPU et de l'ABI
  • Obtenez la valeur de FP de la pile et mettez-la dans un registre
  • Prenez la valeur dans le registre, effectuez un calcul de module (%) par une valeur fixe et laissez-le dans le même registre
  • peut-être prendre la valeur du registre et le remettre sur la pile, en fonction de la CPU et de l'ABI
  • Si un cadre de pile a été construit, détendez-le
  • Pop L'adresse de retour de la pile et reprend des instructions d'exécution sur

    beaucoup plus de code, hein? Si vous faites quelque chose comme rendant chacun des dizaines de milliers de pixels dans une fenêtre dans une interface graphique, les choses gèrent beaucoup plus rapidement si vous utilisez la macro.

    Personnellement, je préfère utiliser C ++ en ligne comme étant plus lisible et moins sujette d'erreur, mais les inlines sont également vraiment plus un indice au compilateur qu'il n'a pas à prendre. Les macros de préprocesseur sont un marteau de luge que le compilateur ne peut pas discuter avec.

Les raisons les plus courantes (et la plus souvent erronées) Les personnes donnent pour l'utilisation de macros (dans "l'ancien clair C") sont l'argument d'efficacité. L'utilisation d'une efficacité est bonne si vous avez profilé votre code et optimise un véritable goulot d'étranglement (ou écrivez une fonction de bibliothèque qui pourrait être un goulot d'étranglement pour quelqu'un un jour). Mais la plupart des gens qui insistent sur l'utilisation de leur utilisation n'ont rien analysé et ne créent que de la confusion là où elle n'ajoute aucun avantage.

Les macros peuvent également être utilisées pour des substitutions de type de recherche et de remplacement pratiques que le langage C normal C n'est pas capable.

Certains problèmes que j'ai eu pour maintenir le code écrit par des agresseurs macro-abuseurs sont que les macros peuvent ressembler à des fonctions, mais ne figurent pas dans la table des symboles, il peut donc être très gênant d'essayer de les retracer dans leurs origines Codes (où est-ce que cette chose est définie ?!). L'écriture de macros dans toutes les capsules est évidemment utile pour les futurs lecteurs.

S'ils sont plus que des substitutions assez simples, elles peuvent également créer une certaine confusion si vous devez passer à autre chose avec un débogueur.

Un avantage important de la mise en oeuvre macro-macro est qu'il n'est pas lié à un type de paramètre concret. Une macro en forme de fonction dans C agit, à de nombreux égards, comme une fonction de modèle en C ++ (les modèles de C ++ sont nés de macros "plus civilisés", BTW). Dans ce cas particulier, l'argument de la macro n'a pas de type concret. Cela pourrait être absolument tout ce qui est convertible en type non signé long code>. Par exemple, si l'utilisateur plaît, si l'utilisateur plaît (et s'ils sont disposés à accepter les conséquences définies par la mise en œuvre), ils peuvent transmettre des types de pointeur à cette macro.

Quoi qu'il en soit, je dois admettre que cette macro n'est pas le meilleur exemple de Flexibilité indépendante des macros, mais en général, la flexibilité est très souvent pratique. Encore une fois, lorsque certaines fonctionnalités sont implémentées par une fonction, il est limité à des types de paramètres spécifiques. Dans de nombreux cas, afin d'appliquer une opération similaire à différents types, il est nécessaire de fournir plusieurs fonctions avec différents types de paramètres (et des noms différents, car cela est c), tandis que la même chose peut être effectuée par une macro à une seule fonction. Par exemple, MACRO P>

#define ABS(x) ((x) >= 0 ? (x) : -(x))