Pourquoi les Lambdas ont-ils un avantage intégré sur les fonctions dans l'optimisation du compilateur ?

Pourquoi les Lambdas surpassent les fonctions dans l'optimisation du compilateur

Dans son livre "The C Standard Library (Second Edition)", Nicolai Josuttis affirme que les lambdas profitez d'une optimisation supérieure du compilateur par rapport aux fonctions ordinaires. Cette distinction découle de la nature des lambdas en tant qu'objets de fonction, permettant l'instanciation de modèles de fonctions adaptés à des objets lambda spécifiques.

Inlining Advantage for Lambdas

Contrairement aux fonctions simples, qui transmettez les pointeurs de fonction aux modèles de fonction, les lambdas sont transmis en tant qu'objets de fonction. Cela déclenche la création d'une nouvelle fonction adaptée à l'objet lambda spécifique. En conséquence, le compilateur peut facilement intégrer l'appel lambda.

Obstacle du pointeur de fonction

En revanche, les fonctions sont gênées par leur mécanisme de transmission dans les modèles de fonction. Les compilateurs sont confrontés à des difficultés pour intégrer les appels effectués via des pointeurs de fonction. Bien que l'inlining théorique soit possible, il nécessite également l'inlining de la fonction englobante.

Exemple d'instanciation

Considérez le modèle de fonction "map" ci-dessous :

template <typename Iter, typename F>
void map(Iter begin, Iter end, F f) {
    for (; begin != end; ++begin)
        *begin = f(*begin);
}

Invoquer "map" avec un lambda :

int a[] = { 1, 2, 3, 4 };
map(begin(a), end(a), [](int n) { return n * 2; });

Génère l'instanciation suivante :

template <>
void map<int*, _some_lambda_type>(int* begin, int* end, _some_lambda_type f) {
    for (; begin != end; ++begin)
        *begin = f.operator()(*begin);
}

Le compilateur identifie l'opérateur du lambda() et peut facilement intégrer des appels à it.

Cependant, lorsque "map" est appelé avec un pointeur de fonction :

template <>
void map<int*, int (*)(int)>(int* begin, int* end, int (*f)(int)) {
    for (; begin != end; ++begin)
        *begin = f(*begin);
}

Le pointeur de fonction "f" pointe vers un emplacement différent pour chaque invocation de "map", ce qui fait il est difficile pour le compilateur d'intégrer seul les appels "f". L'inlining nécessite que l'appel "map" englobant soit également intégré, permettant au compilateur de déterminer la fonction spécifique pointée par "f."

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!