result_of et functor

**guillaume07** · 22/12/2010, 22h21

Bonjour,

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
 
#include <functional> 
 
struct Func{
 
	bool operator () () const
	{
		return true;
	}
};
 
int main()
{ 	  	 
	static_assert( std::is_void< std::result_of<Func()>::type >::value == true , "bad" ); //assertion valide
 
	system("pause");
}

Pourquoi result_of<Func()> est évalué comme étant de type void ?
quand on pase Func(), le compilo comprend quoi ?

Merci

**Joel F** · 22/12/2010, 22h21

Par définition result_of<F()> est void quelque soit F

**guillaume07** · 22/12/2010, 22h44

Envoyé par Joel F

Par définition result_of<F()> est void quelque soit F

ça représente quoi <F()>, je pensais que c'était uen fonction qui renvoyer un F et qui ne prenait aucun arguement, a priori c'est pas le cas vu qu'ici Func est une classe et que ça compile, donc F() represente quoi ?

**Flob90** · 23/12/2010, 01h35

Bonsoir.

Je pense que tu te mérpends sur le fonctionnement de static_assert :

If the value of the expression when so converted is true, the declaration has no effect. Otherwise, the program is ill-formed

(n3126, section 7, paragraphe 4).
Dans notre cas, le programme est invalide (tu recois le message "bad" à la compilation), ce qui signification que l'assertion est fausse, donc le type n'est pas void.

Tu peux le tester en essayant :

Code :

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

1
2
 
result_of<Func()>::type b = true;

Qui ne devrait pas poser de problème à la compilation (ca prouve juste que le type bool est convertible en result_of<Func()>::type, donc en particulier que ce n'est pas void).

Pour le fonctionnement, c'est le mecanisme des templates qui permet ceci. Quand le compialteur voit l'expression template :

Code :

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

1
2
 
std::result_of<Func()>::type

Il essay d'instancier la classe template std::result_of avec les paramètre qui lui sont donnés. Or la définition de std::result_of est (ou plutôt peut être) :

Code :

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

1
2
3
4
5
6
7
 
template<class Fn, class... ArgTypes>
struct result_of;
 
template<class Fn, class... ArgTypes>
struct result_of<Fn(ArgTypes...)>
{ typedef decltype(std::declval<Fn>()(std::declval<ArgTypes>()...)) type; };

Il reconnait dans cette définition, un motif avec lequel il peut matcher (faire correspondre) les paramètres. Ce qui permet d'instancier la classe et de récupérer le typedef type.

Ce qui permet de reconnaitre ce motif (car il faut nécessairement que les paramètres templates soit des types (*)), c'est que Fn(ArgTypes...), est le type d'une fonction, même si, quand on l'utilise, ca ne correspond pas à une fonction, on n'utilise juste la syntaxe.

(*) Je simplifie, il y a d'autre possibilité, cf norme ou autre.

**guillaume07** · 23/12/2010, 07h56

Merci pour ta réponse détaillée.
Cependant cette ligne :

Code :

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

boost::result_of<Func()>::type b = true;

me renvoie

error C2182: 'b'*: utilisation non conforme du type 'void'

sous VS2010 (même erreur si std::result_of )

**Joel F** · 23/12/2010, 11h04

Envoyé par guillaume07

ça représente quoi <F()>, je pensais que c'était uen fonction qui renvoyer un F et qui ne prenait aucun arguement, a priori c'est pas le cas vu qu'ici Func est une classe et que ça compile, donc F() represente quoi ?

Regarde ici pour l'explication

http://www.boost.org/doc/libs/1_45_0....htm#result_of

et ici :

http://anubis.dkuug.dk/jtc1/sc22/wg2...003/n1454.html
http://www.open-std.org/jtc1/sc22/wg...2005/n1836.pdf

**guillaume07** · 23/12/2010, 12h33

Merci!
ça m'étonner que ça puisse marcher sans delctype pour les function object en même temps

**Flob90** · 23/12/2010, 13h01

@Joel F: C'est pas sensé retourner le bon type de retour du foncteur d'après les derniers draft de la norme ? (section 20.7.7.6) Parce qu'il me semble bien que c'est sensé être ce que j'ai marqué au dessus, et que dans ce cas le resultat c'est pas void mais bien bool (avec decltype). C'est VS qui est en retard sur ce point ?

**Joel F** · 23/12/2010, 13h14

Envoyé par Flob90

@Joel F: C'est pas sensé retourner le bon type de retour du foncteur d'après les derniers draft de la norme ? (section 20.7.7.6) Parce qu'il me semble bien que c'est sensé être ce que j'ai marqué au dessus, et que dans ce cas le resultat c'est pas void mais bien bool (avec decltype). C'est VS qui est en retard sur ce point ?

Peut etre, j'ai pas pensé à regarder le standard. JE pense que VS est peut etre encore sur le draft proposal.

boost::result_of fait de meme anyway

**guillaume07** · 01/01/2011, 13h09

Je n'ai finalement pas compris cet aspect là :

Code :

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

1
2
3
4
5
6
7
8
9
10
 
 
struct F{ };
template<class T>
struct B { };
 
int main() { 
 
	B<F(int)> f;   
}

ici, dans l'expresion B<F(int)> f; , le compilateur comprends F(int) comme étant quoi ? une signature de fonction ? pourtant il n' y a aucune fonction de déclarer retourner un F et prenant un int...

EDIT: il est assez malin pour comprendre qu'il s'agit d'un Functor , si oui comment peut il faire la différence avec une signature de contion F myfunc(int param);

**Joel F** · 01/01/2011, 14h28

F(int) ets un type.
c'est le type d'une fonction prenant int en entrée et renvoyant un F.

Cette notation s'appelle la notation round-lambda, elle sert juste a passer en un seul type un liste arbitraire de type. Elle a l'avantage dans le cadre de result_of de *ressembler* a un appel de fonction.

**guillaume07** · 01/01/2011, 14h58

pour autant on ne peut pas isoler dans la classe template, F et ses arguements
tu style
typedef F return_value;
typedef A arg_type;

pour
B<F(A)> b;

**Joel F** · 01/01/2011, 14h59

Envoyé par guillaume07

pour autant on ne peut pas isoler dans la classe template, F et ses arguements
tu style
typedef F return_value;
typedef A arg_type;

pour
B<F(A)> b;

Je comprends pas ta question tu n'en a pas besoin...

**guillaume07** · 01/01/2011, 15h04

Admettons la classe suivante

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
struct Foo
{
};
 
template<typename T>
struct Bar
{
//ici on ne peut pas distinguer Foo et int on a juste Foo(int), non??
};
void main()
{
Bar<Foo(int)> b;
}

**Joel F** · 01/01/2011, 15h06

Envoyé par guillaume07

Admettons la classe suivante

struct Foo
{
};

template<typename T>
struct Bar
{
//ici on ne peut pas distinguer Foo et int on a juste Foo(int), non??
};
void main()
{
Bar<Foo(int)> b;
}

tu veux faire quoi dans Bar aussi ?
Specialise Bar partiellement pour reconstruire le type F(A) c'est tout.

Je repete, je ne vois pas l'interet de ta question. Que cherche tu a faire.

**guillaume07** · 01/01/2011, 15h10

Non je n'ai rien derrière la tête, j'essaye juste de comprendre comment ça marche, pour le moment. quand tu dis "Specialise Bar partiellement pour reconstruire le type F(A) c'est tout."

tu entends quoi par là finalement :

Code :

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

1
2
3
4
5
6
 
template<typename T>
struct Bar<Foo(int)>
{
 
};

??

**Joel F** · 01/01/2011, 15h12

... non ...

Code :

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

1
2
3
4
5
6
template<class Function, class Arg>
struct bar<Function(Arg)>
{
  typedef Function return_type;
  typedef Arg arg0_type;
};

**guillaume07** · 01/01/2011, 15h13

voilà

c'est exactement ça que je voulais savoir ty

**guillaume07** · 01/01/2011, 15h54

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
 
template<bool Condition,typename Action,typename P> struct F { };
 
template<typename Action,typename P>
struct F<true, Action(P)> {
	typedef Action execute;
	typedef P param;
};
 
struct Action1{
	bool operator()()const{return true;}
}; 
 
int main() {  
	F<1 , Action1()>::execute();
}

Pourquoi F<1 , Action1()>::execute(); ne compile pas ?
le compilateur visual 2KT m'indique nombre d'argument insuffisant ...

**Joel F** · 01/01/2011, 18h48

Envoyé par guillaume07

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
 
template<bool Condition,typename Action,typename P> struct F { };
 
template<typename Action,typename P>
struct F<true, Action(P)> {
	typedef Action execute;
	typedef P param;
};
 
struct Action1{
	bool operator()()const{return true;}
}; 
 
int main() {  
	F<1 , Action1()>::execute();
}