Re: Partial template specialization for member
Faisal Vali ha scritto:
template<class A, class B>
struct Foo {
void bar() { bar_impl<A>(); }
template<class T>
void bar_impl(typename enable_if<same_type<char,T>::value>::type* =
0);
template<class T>
void bar_impl(typename enable_if<!same_type<char,T>::value>::type* =
0);
};
The code above could be written without enable_if exploiting overload
instead of specialization:
template<class A, class B>
struct Foo {
void bar() { bar_impl(static_cast<A*>(0)); }
template<class T>
void bar_impl(T*);
void bar_impl(char*);
};
Or even better, use constrained templates in C++0x:
template<class A, class B>
struct Foo {
template< class T = A> requires std::SameType<T,char>
void bar();
template< class T = A>
void bar();
};
I believe that is illegal, because for T = char you have bar<char>()
defined twice. ConceptGcc gives this error:
test3.cpp:8: error: 'template<class A, class B> template<class T> void
Foo::bar()' cannot be overloaded
test3.cpp:6: error: with 'template<class A, class B> template<class T>
void Foo::bar()'
HTH,
Ganesh
--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]