Peut-on passer une fonction en argument d'un template ?

Version imprimable

Je souhaiterais passer une fonction en paramétre d'un template, un peu comme ceci:
Code:

1 2 3 4 5 6 7 8 9 10 11 12 template < class indrec, int (__cdecl *cmpf)(const indrec *,const indrec *) > class Seeker { ... public: ... const char *Seek(long id) { ... return (const char *)bsearch(rec,records,reccount,recsize,cmpf); } };
Mais ça ne passe à l'instantiation.
Est-ce autorisé, ou fais-je une erreur ?
Merci !

Merci, merci !
J'ai très subtilement changé ton code comme ceci:
Code:

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> struct Integer { int i; }; int fois10 (const Integer *i, int (*cmpf)(const Integer *)) { return 10 * cmpf (i); } template <class T, int (*cmpf)(const T *)> class S { public: int s (const T *i) { return fois10 (i, cmpf); } }; int __cdecl cmpf1 (const Integer *i) { return i->i; } int main () { S<Integer, cmpf1> s; Integer i = {10}; std::cout << s.s(&i) << std::endl; return 0; }
Et ça ne passe plus. Erreur à la ligne rouge
: error C2440: 'specialization' : cannot convert from '' to 'int (__cdecl *)(struct Integer *)'
None of the functions with this name in scope match the target type
(VC6)

EDIT: mais où donc est passé ta réponse ???

04/10/2007, 14h21
aoyou

Oui je l'ai enlevé car je me suis aperçu que tu passais aussi class indrec en paramètre. Je revois donc ma copie mais ce sera pour plus tard. Je dois y aller.

Ah, OK, merci.

J'ai changé comme ceci:
Code:

1 2 3 4 5 6 7 8 9 10 11 12 template < class indrec > class Seeker { ... public: ... const char *Seek(long id, int (__cdecl *cmpf)(const indrec *,const indrec *)) { ... return (const char *)bsearch(rec,records,reccount,recsize,cmpf); } };
Et ça passe. Mais c'est moins élégant je trouve (et un peu gonflant de passer à chaque fois ma fonction en paramètre du seek).
Donc si quelqu'un a mieux...:king:

Salut,

Tu dois pouvoir faire :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
template < class indrec >
class Seeker
{
	...
public:
	...
        template< typename M >
	const char *Seek(long id, M cmpf)
	{
		...
		return (const char *)bsearch(rec,records,reccount,recsize,cmpf);
	}
};

MAT.

04/10/2007, 14h57
aoyou

En fait, il faudrait que la fonction bsearch soit une fonction template pour que ça passe. Oui ?

Tu ne pourrais pas faire plus élégant en utilisant la STL et ses fonctions de recherche. Ce sera d'autant plus facile que la STL est écrit avec des templates.
04/10/2007, 16h10
camboui

Mat, merci. Mais je ne vois de différence "d'élégance" avec mon code, la fonction est toujours passée en paramètre de Seek().

Aoyou, le bsearch() est là pour illustrer mon besoin. La réalité est bien plus complexe (fichiers, hash, etc).
C'est sûr que dans les cas "simples" j'utilise souvent la STL (bien qu'on la connaisse toujours assez mal).
04/10/2007, 16h27
aoyou

Citation:

Envoyé par camboui

Aoyou, le bsearch() est là pour illustrer mon besoin.

En fait, j'ai un peu compliqué mon exemple et je remarque que ça ne passe que si bsearch est template. A y regarder de plus près, ça se comprend.

Par contre, je n'ai aucun souci à compiler le code que tu m'as renvoyé mais je suis actuellement sous Linux avec gcc et puis comme l'exemple est foireux.
J'avais cru entendre dire que VC6 n'était pas très fort en template.
http://cpp.developpez.com/faq/vc/?pa...VC6Limatations

Citation:

Cette écriture devrait être possible, mais VC6 ne sait pas la gérer du fait de son manque de spécialisation partielle de template.

Tu auras surement plus de succés avec VC++ 2003 ou 2005.
04/10/2007, 16h36
Mat007

Un pointeur sur fonction se passe comme ça :

Code:

S<Integer, &cmpf1> s;

(VC est un peu laxiste)

MAT.
04/10/2007, 16h50
camboui

OK, merci à tous.
Je n'insiste donc plus avec VC6. On mettra l'erreur de compil sur son dos ;)
04/10/2007, 17h00
aoyou

Citation:

Envoyé par Mat007

(VC est un peu laxiste)

Il faut croire que gcc aussi. Même en pedantic, le & ne lui fait ni chaud ni froid.
04/10/2007, 17h18
Mat007

Citation:

Envoyé par aoyou

Il faut croire que gcc aussi. Même en pedantic, le & ne lui fait ni chaud ni froid.

Oui en fait ça doit être du C valide, j'ai accusé VC un peu vite (pour une fois).
(ou alors je raconte n'importe quoi, ce qui est possible aussi ;))

MAT.