Surcharge de fonctions basées sur des arguments Constexpr

En C 11, l'incapacité de surcharger les fonctions selon que leurs arguments sont constexpr a été une limitation facteur dans l’utilité de constexpr. Cette limitation empêche la création de définitions de fonctions distinctes avec la même signature, une pour les arguments constexpr et une autre pour les arguments non-constexpr.

Arguments pour la surcharge de Constexpr

Considérez une scénario dans lequel une fonction mappe une énumération à un std::string. Une implémentation efficace impliquerait de créer un tableau de std::strings au moment de la compilation. Cependant, comme les fonctions constexpr ne peuvent pas construire d'objets, l'implémentation constexpr existante nécessite la création de std::strings à chaque appel, ce qui ralentit les performances. Une surcharge spécifique à constexpr permettrait la création de std::strings au moment de la compilation, augmentant ainsi l'efficacité.

Un autre exemple implique l'implémentation d'une fonction de Fibonacci avec des optimisations potentielles selon que l'argument est constexpr ou non. Pour un argument constexpr, la fonction ne peut effectuer aucune opération, tandis que pour un argument non constexpr, elle peut utiliser la mémorisation pour améliorer les performances d'exécution.

Faisabilité technique

Surcharge les fonctions basées sur des arguments constexpr sont techniquement possibles en C 11, même si cela nécessiterait d'étendre la norme. Pour l'instant, le comportement des fonctions constexpr est strictement défini et il n'existe aucun mécanisme permettant de différencier les arguments constexpr et non-constexpr dans la surcharge de fonctions.

Conclusion

Bien que la surcharge de constexpr améliorerait la fonctionnalité et l'efficacité des fonctions constexpr, sa mise en œuvre nécessiterait une modification de la norme C 11. L'absence de cette fonctionnalité a incité les développeurs à utiliser des solutions de contournement telles que des modèles de fonctions, mais ces solutions ne parviennent pas à offrir le même niveau de commodité et de flexibilité que les fonctions constexpr surchargeables.