Discussion :

[nadia85]

Bonjour Tout le monde,

Je voudrais savoir la différence entre une expression lambda et une fonction lambda.

Quel est l'intérêt d'utiliser les fonctions lambda en C++?

Pourquoi on les appelle anonymes?

Si j'ai ce code qui est correct tel qu'il est écrit:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
 
 
#include <iostream>
 
using namespace std;
 
int main()
{
   auto func=[] {cout << "hello" << endl; } ;
    func();
 
    auto f= [] () -> void {
 
       cout << "hello";
    };
    f();
 
     auto f1= [] () -> double {
 
        double r;
        cout << "donner un reel" << endl;
        cin >> r;
 
        return r*r;
    };
    cout << f1() << endl;
    return 0;
}

pourquoi il faut mettre le mot clé auto devant le nom des fonctions anonymes/lambda?
par exemple pour la fonction f1: le type de retour est double. Pourquoi en remplaçant auto par double, le programme génère une erreur?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
double f1= [] () -> double {
 
        cout << "donner un reel" << endl;
        double r;
        cin >> r;
 
        return r*r;
    };

Merci d'avance

[foetus]

Les fonctions anonymes/ lambda sont des fonctions qu'on a besoin juste pour 1 tâche spécifique : retour d'1 "thread", traitement à faire sur chaque élément d'1 collection, par exemple.
C'est pour cela qu'elles sont anonymes, "sans nom" : on s'en fiche de cette fonction, on veut juste qu'elle fasse le travail.
Et d'aileurs, elle est souvent passée directement en paramètre.

Regarde la notion de fermeture : fermeture, lien wikipedia et sa version anglais + complète.

Je ne connais pas bien cela en C++ , mais 1 fonction anonyme est 1 fonction.
Donc le type doit être 1 type fonction. auto doit être là pour masquer 1 type "à la C++" complexe/ indigeste/ pas simple

[jo_link_noir]

On utilise auto pour déduire le type de la lambda parce que chaque lambda a un type différent qui correspond à son expression. Et comme ce type est unique et construit "sur place", le seul moyen de mettre la lambda dans une variable est d'utiliser auto pour déduire le type.

par exemple pour la fonction f1: le type de retour est double. Pourquoi en remplaçant auto par double, le programme génère une erreur?

Il y a confusion entre le type de retour d'un appel de la lambda et le type de la lambda.

[nadia85]

Bonjour,

Tout d'abord merci pour votre aide.
J'ai une autre question:

Est ce que la variable f1 contient la valeur retournée (r*r) par la fonction lambda ou bien elle contient un objet dont le type est déduit automatiquement (c'est pourquoi dans l'exemple on utilise auto et non pas double)?

merci d'avance

[dalfab]

Est ce que la variable f1 contient la valeur retournée (r*r) par la fonction lambda ou bien elle contient un objet dont le type est déduit automatiquement (c'est pourquoi dans l'exemple on utilise auto et non pas double)?

Comme déjà écrit, f1 c'est la lambda et son type est unique; quant à la valeur retournée elle n'existera qu'au moment où on va utiliser la lambda.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 auto f1 = []( double x ) -> double { return x * x; };
 auto f2 = []( double x ) -> double { return x * x; };
 static_assert( ! std::is_same_v<decltype(f1),decltype(f2)> ); // f1 et f2 font exactement la même chose MAIS N'ONT PAS LE MEME TYPE
 
 double  y = f1( 42 );   // là, la lambda s'exécute et retourne un résultat.

[nadia85]

Bonjour,

Je vous remercie encore pour toutes ces explications.

Pourquoi la lambda est anonyme alors qu'on lui a donné un nom (f1 par exemple?)?
Est ce qu'on peut dire que les fonctions lambda sont des fonctions inline?

Merci d'avance?