Your foo struct only has one template argument On 3/30/07, Daniel Walker <daniel.j.walker@gmail.com> wrote:
Hello,
I've been looking into getting member template detection to work on various compilers, and I have a question regarding SFINAE. I hope someone can help. All the compilers I've tried reject the following.
template<class T> struct foo {};
template<class T, class U> void f(T,U) {}
template<class T, class U> void f(foo<T,U>) {} // error: wrong number of template // arguments (2, should be 1) provided for // 'template<class T> struct foo'
template<class T, class U> struct bar {};
template<class T, class U> struct bar<foo<T,U>, U> {}; // error: wrong number of template // arguments (2, should be 1) provided for // 'template<class T> struct foo'
int main() { f(0,0); typedef bar<int,int> type; }
Is this a substitution failure? Should the 2nd overload of f() be removed from the set of candidate functions during overload resolution? Should something similar be true for the partial specialization of bar<>? Or is this standard compliant behavior?
I've worked out pretty much every other issue, but I don't think I can get this one to work if this is a compiler bug.
Thanks. Daniel
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost