Discussion :

[Alp]

Salut tout le monde,

Vous le savez probablement, il y aura pas mal de nouveaut�s dans C++0x (mais pas les concepts), dont une que l'on appelle les lambda expressions. Il s'agit simplement de pouvoir �crire des fonctions anonymes (le nom provient du lambda calcul).

Voici, entre autres, un exemple de code utilisant cette nouvelle possibilit�.

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
std::find_if(employees.begin(), employees.end(),
[&](const employee& e) { return e.salary() >= min salary && e.salary() < u limit; });

Cela permettra de d�finir � la vol�e des fonctions afin d'�crire plus lisiblement, facilement et intuitivement des traitements sur des conteneurs standard, par exemple.

Ceci pourrait int�resser pas mal de personnes : un petit guide sur les lambdas de C++0x.
http://software.intel.com/en-us/blog...-lambdas-in-c/

N'h�sitez pas � poster en enfilade d'autres liens sur le sujet.

Bonne lecture

[metagoto]

D�sol� si cela a d�j� �t� mentionn�:
http://blogs.msdn.com/vcblog/archive...10-part-1.aspx
Un autre exellent article sur les lambdas

[Alp]

Quand j'aurai un peu de temps, j'essayerai d'en r�diger un, aussi complet que possible. J'attends 1/ d'avoir le temps 2/ de voir s'ils vont int�grer les poly-lambdas

Bon Intel bassine pas mal les gens en disant que �a sera pratique pour les cr�ations de threads en une ligne, ou les parallel_for etc... mais il n'y a pas que �a. Pouvoir cr�er une fonction � la vol�e comme �a c'est bien sympa

[koala01]

Salut,

Quand j'aurai un peu de temps, j'essayerai d'en r�diger un, aussi complet que possible. J'attends 1/ d'avoir le temps 2/ de voir s'ils vont int�grer les poly-lambdas

J'avais en t�te qu'il �tait d�j� commenc�, non

Ou peut-�tre est-ce florian qui l'avait entam�

Quoi qu'il en soit, il est effectivement plus int�ressant d'attendre le moment o� nous saurons effectivement de mani�re certaine ce qui sera int�gr�...

Car, si c'est pour lancer un article maintenant et le mettre � jour dans trois mois lorsque les discussions sur le sujet seront closes (mais avant la sortie "officielle" de la norme, cela ne vaut peut �tre pas tout � fait la peine, surtout si tu es "over book�"

[Alp]

Salut,J'avais en t�te qu'il �tait d�j� commenc�, non

Ou peut-�tre est-ce florian qui l'avait entam�

Non, rien n'a �t� entam� pour le moment sur les lambdas.

Mais avec le report de l'int�gration des concepts (sur lesquels un article avait �t� commenc� ), �a va peut-�tre laisser de la place pour des nouvelles choses, comme les polymorphic lambdas... Et �a, �a serait top.

Au passage, pour tous les lecteurs, voici la derni�re version de la proposition concernant les lambda expressions : http://www.open-std.org/JTC1/SC22/WG...2009/n2903.pdf

Une version r�vis�e devrait �tre publi�e d'ici peu;

[metagoto]

Avez-vous essay� les premi�res impl�mentations des lambdas ? GCC a une branche lambda que je n'ai pas essay�.

[Alp]

Avez-vous essay� les premi�res impl�mentations des lambdas ? GCC a une branche lambda que je n'ai pas essay�.

Pas encore pour ma part, mais �a ne saurait tarder.
Mais j'attends avec une �norme impatience qu'ils les rendent polymorphes, comme sur boost.lambda.

[Goten]

J'ai un article sous le coude (�crit par ma pomme hein) sur les lambda... J'attends de voir si �a bouge encore. (notamment sur les polymorphic lambda, faudra que je me forme plus).
Pour avoir des output moi j'utilise VS 2010 b�ta.
Pour la branch de gcc qui les supporte j'ai jamais tent� le coup.
Par contre ouai c'est vraiment une feature bien sympas (les foncteurs c'est lourd � force).
Par contre reste que la syntaxe est assez d�routante au d�but, et je trouve que devoir utiliser le mot clef mutable c'est assez disgracieux l�. (mais bon whatever c'est de l'ordre du d�tail).
par contre j'aimerais pas �tre � la place des dev de compilo... avec l'utilisation de [] �a doit �tre un vrai casse t�te de s'en sortir je pense.

[metagoto]

Avant les lambda, je trouve que la feature la plus importante est l'introduction des rvalue references.

Je ne savais pas qu'on peut se procurer VS2010. Faut que je regarde �a.

[Alp]

Oui mais avec le mattraquage de Microsoft et Intel entre autres sur leurs bouts de code qui �crivent des parallel_for ou autre avec des lambdas, ils se sont d�p�ch�s d'impl�menter �a !

En tout cas, n'h�site pas � nous contacter si tu veux publier ton article sur Developpez, une fois qu'on sera s�r que �a bougera plus (je le r�p�te, j'ai 3/4 d'un article sur les concepts qui ... est remis � dans 5 ans peut-�tre ).

[loufoque]

Parle aussi de leur avantage par rapport aux macros (� savoir qu'avec une macro on ne peut cr�er une fonction lambda que dans un �nonc�, pas dans une expression).

[Kalith]

J'entends beaucoup parler des lambdas polymorphiques, et j'ai lu quelques lignes dessus (�a devait �tre un draft), mais je n'en ai pas saisi le sens...
Quelqu'un pourrait m'expliquer ?

[Klaim]

Pareil, j'ai pas bien compris la diff�rence avec les polymorphiques, juste que Boost.Lambda (ou une autre lib qui doit �tre fusionn�e avec celle ci si j'ai bien compris) permet �a. Une explication serai bienvenue.


Sinon j'ai fais joujou avec les lambda a la sortie de la Beta1 de VS2010, juste pour tester et pratiquer la syntaxe (que je trouve assez simple �trangement).

[Alp]

Lorsqu'on �crit des lambdas telles que d�crites dans le draft actuel, on sp�cifie tous les types de tous les arguments, etc.

Les lambdas polymorphiques, �a permettrait de se passer de �a, et que l'on ne se base que sur les contraintes syntaxiques impos�es aux arguments de la lambda. Un peu comme avec les templates :

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
template <typename T>
void call_f(const T& t)
{
  t.f();
}

Pour qu'un appel � call_f compile, il faut que le type T poss�de une fonction membre const nomm�e f et qui n'a pas d'arguments. Mais rien d'autre !

[Kalith]

Hum je vois. Du coup on pourrait �crire :

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

auto call_f = <> (t) { t.f(); };

... puis ensuite appeler call_f avec n'importe quel type d'objet pour t (pourvu qu'il ait une fonction membre f).

PS : la syntaxe provient de ce lien (page 10).

[Alp]

Hum je vois. Du coup on pourrait �crire :

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

auto call_f = <> (t) { t.f(); };

... puis ensuite appeler call_f avec n'importe quel type d'objet pour t (pourvu qu'il ait une fonction membre f).

PS : la syntaxe provient de ce lien (page 10).

C'est l'id�e oui

[metagoto]

J'ai install� gcc 4.5 branche lambda. Pas mal de choses sont d�j� impl�ment�es (pour les monomorphiques), �a fait plaisir!
Les lambda r�cursives fonctionnent. Elles doivent �tre r�f�renc�es avec un std::function car l'ex-reference_closure � disparu des proposals.
La tests suite:
http://gcc.gnu.org/viewcvs/branches/.../cpp0x/lambda/

[loufoque]

std::function �a fait de la type erasure, c'est un truc ind�pendant...