Typedef sur fonction template

Version imprimable

Bonsoir,

J'essaye d'écrire une classe conteneur (classe template) non présente dans la STL.
J'ai une des méthodes de ce conteneur qui prend en argument une fonction de callback (fonction template).

Mon problème est que j'ai une incompatibilité de type entre le typedef de ma fonction callback et l'appel que je fais à ma méthode.
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 template<typename T> void as_vector_callback(cont_cell<T> &cell) { ... } template<typename T> class cont { public: typedef void (*callback_t)(cont_cell<T> &cell); public: void as_vector(std::vector &v) { walk(as_vector_callback); } protected: void walk(callback_t callback); ... }; cont<int> c; std::vector v; ... c.as_vector(v);
A la compilation (VC+ 6 Windows) j'ai le message d'erreur :

error C2664: 'as_vector' : cannot convert parameter 1 from 'void (class cont<T> &)' to 'void (__cdecl *)(class cont<int> &)'

Une idée ?

EDIT : :arf: en recopiant l'erreur je vois qu'il y a un pb entre <T> et <int> et que ce que je passe à walk n'est pas une fonction !
Je poursuit mes investigations.

01/04/2007, 11h24
Laurent Gomila

as_vector_callback est un template (modèle) de fonction, pas une fonction. Par contre ses instanciations le sont :

Code:

walk(&as_vector_callback<T>)
01/04/2007, 11h33
mchk0123
C'est exactement ce que je me disais, mais même en utilisant :
Code:

1 2 3 walk(&as_vector_callback<T>) // au lieu de : //walk(&as_vector_callback)
J'obtient exactement le même message d'erreur.
01/04/2007, 11h51
Laurent Gomila

J'ai pas l'impression que tu nous donnes le bon code. D'une part std::vector tout seul ça ne compile pas (std::vector<T> ou std::vector<int> par contre oui). D'autre part le compilo parle du paramètre 1 de as_vector comme d'un pointeur sur fonction, or dans ton code c'est un std::vector&.

Erreur typographique (ma machine de dev est isolé d'Internet, donc je recopie et simplifie le code à la main) :

Code :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 template<typename T> void as_vector_callback(cont_cell<T> &cell) { ... } template<typename T> class cont { public: typedef void (*callback_t)(cont_cell<T> &cell); public: void as_vector(std::vector<T> &v) { walk(as_vector_callback); } protected: void walk(callback_t callback); ... }; cont<int> c; std::vector<int> v; ... c.as_vector(v);
Message d'erreur :

error C2664: 'walk' : cannot convert parameter 1 from 'void (class cont<T> &)' to 'void (__cdecl *)(class cont<int> &)'
while compiling class-template member function 'void __thiscall cont<int>::as_vector(std::vector<int> &)'

01/04/2007, 12h09
Laurent Gomila

Chez moi (VC++ 2005) ça compile très bien. C'est donc une fois de plus VC++ 6 qui ne sait définitivement pas gérer les templates.
01/04/2007, 12h16
mchk0123

Ok, installation du SP6 pour VC6 et si ça ne marche pas => upgrade vers VC 2005.

Je reviens dés que j'ai une réponse.

Note : tu utilise quelle release de VC 2005 (l'express ?). Par ce que malheureusement cela peut faire une différence.

Bon j'ai modifié un peu le code, et ça compile à la fois sur VC++ 6 et VC++ 2005.

Fichier a.h :

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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
#include <stdio.h>
#include <assert.h>
 
template<typename T>
void print(T &cell) {
}
 
template<>
void print(int &cell) {
  printf("- cell value : %d\n", cell);
}
 
template<typename T>
class vector {
  public:
	typedef T* iterator;
  public:
	vector(const T *data, size_t nb) {
	  size_t i;
 
	  _size = nb;
	  _data = new T[_size];
      for (i = 0; i < _size; i++)
		_data[i] = data[i];
	}
	size_t size() const {
	  return _size;
	}
	T& get(size_t i) {
	  assert(i < size());
	  return _data[i];
	}
  protected:
	size_t _size;
	T *_data;
};
 
template<typename T>
void as_vector_callback(vector<T>::iterator &cell) {
  printf("as_vector_callback called\n");
  print(*cell);
}
 
template<typename T>
class cont {
  public:
    typedef void (*callback_t)(vector<T>::iterator &cell);
  public:
    void as_vector(vector<T> &v) {
      printf("as_vector called\n");
      walk(v, &as_vector_callback<T>);
    }
  protected:
    void walk(vector<T> &v, callback_t callback) {
	  size_t i, n;
	  vector<T>::iterator iter;
 
	  n = v.size();
	  for (i = 0; i < n; i++) {
		iter = &v.get(i);
		(*callback)(iter);
	  }
    }
};

Fichier main.cpp :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
#include <stdio.h>
 
#include "a.h"
 
int main() {
  cont<int> c;
  int a[] = { 1, 3, 7, 5, 9 };
  vector<int> v(a, 5);
 
  c.as_vector(v);
 
  return 0;
}

L'utilisation de 2005 (qui affiche des messages d'erreur beaucoup plus compréhensible) m'a permis d'isoler le pb.

Le problème venait de ma définition de cont_cell<T> (maintenant appellée vector<T>::iterator), alors que le message d'erreur de VC++ 6 m'indiquait une erreur sur l'appel à walk() !!!

Note : j'ai abandonné au passage l'utilisation de std::vector pour avoir des messages d'erreurs plus compréhensibles.