一个模板类中的模板函数的显式特化的C + +语法?

我有代码在VC9(Microsoft Visual C ++ 2008 SP1),但不是在GCC 4.2(在Mac):

struct tag {}; template< typename T > struct C { template< typename Tag > void f( T ); // declaration only template<> inline void f< tag >( T ) {} // ERROR: explicit specialization in }; // non-namespace scope 'structC<T>' 

我明白海湾合作委员会希望我在课堂之外移动我的显式专业,但是我无法弄懂语法。 有任何想法吗?

 // the following is not correct syntax, what is? template< typename T > template<> inline void C< T >::f< tag >( T ) {} 

你不能专门化一个成员函数而不明确地专门化包含的类。
你可以做的是向前调用部分专用types的成员函数:

 template<class T, class Tag> struct helper { static void f(T); }; template<class T> struct helper<T, tag1> { static void f(T) {} }; template<class T> struct C { // ... template<class Tag> void foo(T t) { helper<T, Tag>::f(t); } }; 

海湾合作委员会在这里是明确的。 MSVC有一个非标准的扩展,允许在课堂上专业化。 标准,但是,说:

14.7.3.2:
2.显式特化应在模板所属的名称空间中声明,或者对于成员模板,在封闭类或封闭类模板所属的名称空间中声明。 类模板的成员函数,成员类或静态数据成员的显式特化应在类模板所属的名称空间中声明。

另外,你不能部分地专门化一个函数。 (虽然我不确定你的情况,但这是最后的打击。)

可以这样做:

 #include <iostream> struct true_type {}; struct false_type {}; template <typename T, typename U> struct is_same : false_type { static const bool value = false; }; template <typename T> struct is_same<T, T> : true_type { static const bool value = true; }; struct tag1 {}; struct tag2 {}; template< typename T > struct C { typedef T t_type; template< typename Tag > void foo( t_type pX) { foo_detail( pX, is_same<Tag, tag1>() ); } private: void foo_detail( t_type, const true_type& ) { std::cout << "In tag1 version." << std::endl; } void foo_detail( t_type, const false_type& ) { std::cout << "In not tag1 version." << std::endl; } }; int main(void) { C<int> c; c.foo<tag1>(int()); c.foo<tag2>(int()); c.foo<double>(int()); } 

虽然这有点难看。

尝试这个:

 template <> template<typename T> inline void C<T> :: foo<tag2>(T) {} 

我知道这可能不会让你满意,但我不认为你可能没有专门化在一个非明确的专业结构中。

 template<> template<> inline void C< tag1 >::foo< tag2 >( t_type ) {}