résolution de type template template pour une fonction template libre

Bonjour,

Soit le code suivant :

Code:

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?

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; }