模板类成员函数的显式特化

我有这个 ：

template<class T, class U>
class A
{
    template<size_t N>
    void BindValues();
}

template<class T, class U>
template<size_t N>
inline void A<T, U>::BindValues()
{
    conn->setValue<N-1>( std::get<N-1>(m_Tuple) );
    BindValues<N-1>(conn);
}

template<class T, class U>
template<>
inline void A<T, U>::BindValues<1>()
{
    conn->setValue<0>( std::get<0>(m_Tuple) );
}

我的编译错误是：

invalid explicit specialization before '>' token
enclosing class templates are not explicitly specialized
template-id BindValues<1> for void A<T, U>::BindValues() does not match any template declaration

不幸的是template里面的方法template类不能仅仅基于template方法的论证。

You 需要专门化template class also。换句话说，成员方法特化应该是完整的专业化关于class template (i.e. <T,U>) 参数以及成员template参数（即<size_t>).

例如，您可能必须专门研究这样的事情（demo http://www.ideone.com/11rJB):

template<>  // <------ you have to specialize class also
template<>
inline void A<int, double>::BindValues<1>()  // <-------- see A<T,U>
{
    ...
}