Passer une fonction membre comme argument d'une fonction (ici de std::transform)

**Twindruff** · 15/05/2006, 17h42

Bonjour,
J'expose mon problème (je suis sous MSVC 8.0):

je possède plusieurs classes NoeudXXX qui dérivent toutes de la classe Noeud.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
typedef Noeud* pNoeud;

class Noeud
{
public:
	// ...
	virtual pNoeud clone(pNoeud pere) const;
private:
	// ...
	pNoeud m_pere;
}

cette fonction membre clone est surchargée dans chaque classe dérivée et elle rend un pointeur sur une copie du Noeud. (La propriété m_pere du nouveau Noeud est fixée à pere).

J'ai une classe dérivée NoeudOperation

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
class NoeudOperation : public Noeud
{
public:
	// ...
private:
	// ...
	void copie(const NoeudOperation& droite);
	pNoeud cloneur(pNoeud n);

	// ...
	vector<pNoeud> m_enfants;
};

La fonction membre privée copie me sert pour le constructeur de copie et pour l'opérateur =.
Une partie de ma fonction copie est consacrée créer les clones des enfants et à les recopier dans le nouveau vecteur. Là je veux utiliser la fonction tranform des algorithmes de la STL (je pourrais faire autrement mais j'ai envie d'éclaircir l'affaire).

Code :

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

1
2
3
4
5
6
7
8
9
10
11
pNoeud NoeudOperation::cloneur(pNoeud n)
{
	return n->clone(this);
}

void NoeudOperation::copie(const NoeudOperation& droite)
{
	// ...
	m_enfants.clear(); // nécessaire ?
	transform(droite.m_enfants.begin(), droite.m_enfants.end(), m_enfants.begin(), &NoeudOperation::cloneur);
}

Mais à la compilation, vc me sort une erreur

error C2064: term does not evaluate to a function taking 1 arguments

sur

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
// TEMPLATE FUNCTION transform WITH UNARY OP
template<class _InIt, class _OutIt, class _Fn1, class _InOutItCat>
inline
	_OutIt _Transform(_InIt _First, _InIt _Last, _OutIt _Dest, _Fn1 _Func,
		_InOutItCat, _Range_checked_iterator_tag)
	{	// transform [_First, _Last) with _Func
	_DEBUG_RANGE(_First, _Last);
	_DEBUG_POINTER(_Dest);
	_DEBUG_POINTER(_Func);
	for (; _First != _Last; ++_First, ++_Dest)
		*_Dest = _Func(*_First);
	return (_Dest);
	}

Merci à vous d'avance

**Laurent Gomila** · 15/05/2006, 17h51

Il faut du code un peu plus chiadé ; regarde du côté de std::mem_fun_ref et std::bind2nd.

Je crois qu'il y a des exemples dans la FAQ.

A vue de nez, ta fonction cloneur devrait être const, sans quoi tu vas avoir des problèmes.

**BigNic** · 15/05/2006, 17h57

tu écris

Code :

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

template<class _InIt, class _OutIt, class _Fn1, class _InOutItCat>

puis

i

Code :

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

1
2
nline	_OutIt _Transform(_InIt _First, _InIt _Last, _OutIt _Dest, _Fn1 _Func,
		_InOutItCat, _Range_checked_iterator_tag)

enfin

Code :

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

_Func(*_First);

Donc tu déclare _func comme une classe et tu essayes de l'utiliser comme une fonction, ne serait-ce pas cela qui cloche ?

**Laurent Gomila** · 15/05/2006, 18h02

Envoyé par BigNic

tu écris

Code :

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

template<class _InIt, class _OutIt, class _Fn1, class _InOutItCat>

puis

i

Code :

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

1
2
nline	_OutIt _Transform(_InIt _First, _InIt _Last, _OutIt _Dest, _Fn1 _Func,
		_InOutItCat, _Range_checked_iterator_tag)

enfin

Code :

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

_Func(*_First);

Donc tu déclare _func comme une classe et tu essayes de l'utiliser comme une fonction, ne serait-ce pas cela qui cloche ?

Ca c'est le code de sa STL, et _Func est ce que l'on appelle un foncteur -- une classe qui se comporte comme une fonction.

**Twindruff** · 15/05/2006, 18h13

Si j'ai bien compris tu me propose de modifier cloneur comme ça (sans parler du const)

Code :

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

1
2
3
4
pNoeud NoeudOperation::cloneur(pNoeud n, pNoeud pere)
{
	return n->clone(pere);
}

et d'appeler

Code :

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

1
2
transform(droite.m_enfants.begin(), droite.m_enfants.end(), m_enfants.begin(),
    bind2nd(&NoeudOperation::cloneur, this));

j'ai une bonne vingtaine d'erreurs avec ça

Je vais peut-être tout simplement laisser cloneur à l'extérieur de la classe.

**Laurent Gomila** · 15/05/2006, 18h23

Non, je ne te propose pas de modifier cloneur, mais de l'englober avec std::mem_fun_ref pour en faire un foncteur utilisable dans transform. D'ailleurs a priori tu n'as pas besoin de cette fonction intermédiaire.

Code :

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

transform(droite.m_enfants.begin(), droite.m_enfants.end(), m_enfants.begin(), bind2nd(mem_fun_ref(&Noeud::clone), this));

**Twindruff** · 15/05/2006, 18h56

Ah c'est joli ça

Par contre c'est pas un bind1st qu'il faut ?
J'obtiens ça finalement ( *this car il veut une référence )

Code :

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

1
2
transform(droite.m_enfants.begin(), droite.m_enfants.end(), m_enfants.begin(),
    bind1st(mem_fun_ref(&Noeud::clone), *this) );

**Laurent Gomila** · 15/05/2006, 19h33

Avec bind1st tu vas avoir (*this).clone(m_enfants[i]).
Avec bind2nd tu vas avoir m_enfants[i].clone(*this).

Faut voir ce que tu veux.

Ah c'est joli ça

N'est-ce pas

Par contre ça peut vite devenir plus illisible qu'une simple boucle. Si tu disposes de boost, avec boost::bind tu peux avoir une syntaxe un peu plus sympathique.

**Matthieu Brucher** · 15/05/2006, 20h42

ah oui, les _1, c'est le bonheur à comprendre

**HanLee** · 15/05/2006, 21h10

Juste pour savoir, tu veux faire quoi ? =)

C'est pour ton TIPE ou tu t'amuses ?

**Twindruff** · 15/05/2006, 22h12

Envoyé par Laurent Gomila

Avec bind1st tu vas avoir (*this).clone(m_enfants[i]).
Avec bind2nd tu vas avoir m_enfants[i].clone(*this).
Faut voir ce que tu veux.

Tu avais raison, c'est donc bien un bind2nd dont j'avais besoin, je vais relire les exemples de la msdn.
Mais encore quelque chose pourquoi utilises-tu mem_fun_ref plutôt que mem_fun.

Envoyé par Laurent Gomila

Avec boost::bind tu peux avoir une syntaxe un peu plus sympathique.

J'irais voir la doc de boost ok.

Envoyé par Miles

ah oui, les _1, c'est le bonheur à comprendre

Envoyé par HanLee

Juste pour savoir, tu veux faire quoi ? =)
C'est pour ton TIPE ou tu t'amuses ?

C'est un interpréteur d'expressions mathématiques. Il est "formel" évidemment pas au niveau de maple mais je gère variables, fonctions, etc.
Et grande nouveauté les dérivées et les simplification simple

.
Au départ c'est un truc que j'avais fait l'année dernière pour m'amuser et puis comme je savais pas quoi faire comme TIPE je l'ai repris et amélioré

**HanLee** · 15/05/2006, 23h59

Ah ok

. Et oublie pas les primitives =P.
T'aurais ptet du le faire en Caml/OCaml =).
Tu t'en sors bien pour le parseur ? T'utilises boost::spirit ?

Et sinon pour ta question :

The result of calling mem_fun is a function object that takes a pointer to the element as its first argument. The result of calling mem_fun_ref is a function object that takes a reference to the element as its first argument.

**Matthieu Brucher** · 16/05/2006, 07h58

Envoyé par Twindruff

Tu avais raison, c'est donc bien un bind2nd dont j'avais besoin, je vais relire les exemples de la msdn.
Mais encore quelque chose pourquoi utilises-tu mem_fun_ref plutôt que mem_fun.

mem_fun_ref proend en argument un X& tandis que mem_fun prend un X*

**JolyLoic** · 16/05/2006, 08h20

Juste pour préciser que boost::bind est tellement plus simple à utiliser, qu'il a été accepté dans TR1, ce qui signifie qu'il a une très bonne chance de faire partie de la prochaine version du C++, et que certains développeurs de compilateurs sont en train de l'implémenter pour la prochaine version de leur compilo.

**Twindruff** · 16/05/2006, 11h26

Envoyé par HanLee

Ah ok

. Et oublie pas les primitives =P.

Heu non merci

.

Envoyé par HanLee

T'aurais ptet du le faire en Caml/OCaml =).

C'est pour m'en servir dans d'autres programmes C++ que je l'ai fait.

Envoyé par HanLee

Tu t'en sors bien pour le parseur ? T'utilises boost::spirit ?

Ouais. Je n'utilise pas boost::spirit non.

The result of calling mem_fun is a function object that takes a pointer to the element as its first argument. The result of calling mem_fun_ref is a function object that takes a reference to the element as its first argument.

mem_fun_ref proend en argument un X& tandis que mem_fun prend un X*

Oui j'ai bien vu la doc, mais justement dans le cas présent : les m_enfants sont des pointeurs. Et si j'ai bien compris:

Code :

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

1
2
3
4
pNoeud x;
    bind2nd(mem_fun(&Noeud::clone), this)(x)
<=> mem_fun(&Noeud::clone)(x, this)
<=> x->clone(this)

Passer une fonction membre comme argument d'une fonction (ici de std::transform)

SL & STL C++

Discussions similaires

Partager

Partager