Discussion :

[backlash]

Bonjour,

Soit le code suivant :

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
template<template<typename T> class Container, typename T>
class MyTraits
{
	typedef Container<T> type;
	typedef Container<T>& reference;
};
 
template<typename T>
class Bar{};
 
template<template<typename T> class Container, typename T>
void foo(MyTraits<Container, T>::type value){}
 
int main(int argc, char** argv)
{
	Bar<int> bar;
	foo<Bar, int>(bar);
	return 0;
}

Lors de la compilation, j'ai l'erreur suivante :
"erreur:no matching function for call to foo(Bar<int>&)"

Ma question est :
Est ce réalisable?

[Trademark]

Salut,

Ceci compile chez moi avec g++, j'ai ajouté un typename et mis en public ta classe de trait ;

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
 template<template<typename T> class Container, typename T>
 struct MyTraits
 {
   typedef Container<T> type;
   typedef Container<T>& reference;
 };
 
 template<typename T>
 class Bar{};
 
 template<template<typename T> class Container, typename T>
 void foo(typename MyTraits<Container, T>::type value){}
 
 int main(int argc, char** argv)
 {
   Bar<int> bar;
   foo<Bar, int>(bar);
   return 0;
 }

Mais honnêtement, je ne vois pas l’intérêt de faire ça…