Discussion :

[bolhrak]

Bonjour,

Petit souci avec la déduction de paramèter template template. J'ai 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
14
15
16
17
18
19
20
21
22
23
 
 
template <class T, bool MatrixOrientation = true>
class BidimensionalVector {
 
public:
 
inline void push_back_column(const std::vector<T>& column) {
    push_back_column_impl(column,1);
}
 
inline void push_back_column(const BidimensionalVector& column) {
    push_back_column_impl(column,column.xsize());
}
 
private:
 
template <template <class> class C>
    void push_back_column_impl(const C<T>& column, size_type ncolumn);
 
};
 
//Plus loin implémentation de la fonction push_back_column_impl

Le problème est que lorsque j'appelel cette fonction push_back_column, j'obtiens le message d'erreur suivant de Visual :

could not deduce template argument for 'const C<T> &' from 'const std::vector<_Ty>'
with
[
T=double
]
and
[
T=double
]
and
[
_Ty=double
]

Alors que le même code compile et fonctionne parfaitement avec gcc. J'avoue que je suis un poil perplexe

Bon je peux résoudre le pb en utilisant un simple paramètre template pour am fonction plutôt qu'un template de template, mais j'aimerais comprendre d'où vient le souci.

Merci d'avance.

[loufoque]

std::vector<T> ne vérifie pas template <class> class C> C<T>

[bolhrak]

std::vector<T> ne vérifie pas template <class> class C> C<T>

Justement il devrait utiliser la classe template std::vector plutôt que le type std::vector<T> non ? Enfin ma question porte plus sur le comment cela devrait fonctionner, étant donné que je n'ai pas cette erreur sous gcc (à moins que gcc ne se permette des déductions non conformes).

A NiamorH : effectivement je n'avais pas pensé à cette solution, mais dans ce cas il faudrait que je rajoute les mêmes paramètres pour la classe Bidimensional sinon je vais avoir le même souci avec l'autre surcharge de push_back_column.

Bref, je vais utiliser un paramètre simple pour solutionner le problème, merci pour vos réponses :p

[NiamorH]

En fait, ici, tu n'as aucun intêret à utiliser des parametres templates templates effectivement. Autant utiliser des paramêtres templates simples.

Pourquoi ? Parce que l'utilité des paramètres templates templates c'est de pouvoir écrire :

Code :

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

Classe<int, std::vector> maClasse;

à la place de :

Code :

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

Classe<int, std::vector<int> > maClasse;

Or sur une méthode avec déduction des paramètres templates, tu auras toujours cette écriture :

Code :

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

maClasse.MaFonction( monVector );

il y a tout de même des cas où tu peux vouloir instancier ton vector avec autre chose que T. Dans ce cas il faut que tu fasses une spécialisation.

Enfin ma question porte plus sur le comment cela devrait fonctionner

The problem is that a template template argument must be a template with parameters that exactly match the parameters of the template template parameter it substitutes. Default template arguments of template template arguments are not considered, so that a match cannot be achieved by leaving out arguments that have default values.

[screetch]

gcc 3 est non conforme et matche les arguments de templates par défaut. je n'ai pas testé sous gcc 4, je ne me souviens plus.

en gros

Code :

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

template< class C1, class C2=C1> class A;

gcc arrive a deduire

Code :

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

template< template<class C> class _A >

alos que le standard dit que non.

[bolhrak]

Mon test était fait sous gcc 4, donc ça n'a pas été corrigé.

@NiamorH : d'un point de vue purement technique je suis entièrement d'accord avec toi, c'était plus pour spécifier que le paramète était un conteneur, même si au final la seule chose qu'on peut spécifier est que le paramètre est templaté, c'est là que les contraintes sur paramètres template seraient intéressantes.

[NiamorH]

Code :

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

1
2
template <template <class> class C>
    void push_back_column_impl(const C<T>& column, size_type ncolumn);

A mon avis, ça devrait mieux marcher comme ça :

Code :

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

1
2
template < template < class TYPE, class ALLOC > class C > 
    void push_back_column_impl(const C<T>& column, size_type ncolumn);