Pourquoi une fonction Lambda récursive en C 0x nécessite-t-elle une déclaration de type explicite ?

Fonctions Lambda récursives en C 0x

Erreur et solution

Lors d'une tentative de création d'un lambda récursif, vous avez rencontré une erreur lors de l'utilisation de l'auto mot-clé pour déduire le type du lambda. Cependant, lorsque vous avez explicitement déclaré le type du lambda comme std::function, le code a été compilé avec succès.

Raisonnement

Inférence de type automatique :

Lors de l'utilisation de auto, le compilateur déduit le type du lambda en fonction de son initialisation. Cependant, pour un lambda récursif, la fermeture lambda doit connaître les types qu'elle capture (dans ce cas, la somme). Cela crée une dépendance circulaire, car le type du lambda dépend du type de sa fermeture, qui à son tour dépend du type du lambda.

Déclaration de type explicite :

Déclarer le type du lambda comme std::function résout ce problème car l'objet fonction lui-même n'a pas besoin de "savoir" quoi que ce soit sur ce qui lui est assigné. Cela permet à la fermeture du lambda de capturer les types appropriés sans recourir à l'inférence de type.

Fonction récursive :

Le segment de code révisé :

std::function<int(int, int)> sum;

sum = [term, next, &amp;sum](int a, int b) -> int {
    if (a > b)
        return 0;
    else
        return term(a) + sum(next(a), b);
};

démontre que les fonctions lambda récursives sont parfaitement viables en C 0x. Ils nécessitent simplement une déclaration de type explicite pour surmonter le problème d'inférence de type.

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!