如何使用 boost::enable_if 定义部分专用模板类的成员函数

Question

我想请你帮忙定义部分专门化的类成员函数……让代码解释更多：

我有一个通用类声明：

template<typename GEAR_TYPE, typename ENABLER = void>
class PartiallySpecializedClass;

然后我尝试使用 boost::enable_if 部分专门化该类

template<typename TYPE_LIST, typename QUERY_TYPE>
struct IsTypeInList
{
    typedef typename boost::mpl::find<TYPE_LIST, QUERY_TYPE>::type TypePos;
    typedef typename boost::mpl::end<TYPE_LIST>::type   Finish;
    typedef typename boost::mpl::not_<boost::is_same<TypePos, Finish> >::type type;
    typedef typename type::value_type value_type;

    static const bool value = type::value;
};

template<typename GEAR_TYPE>
class PartiallySpecializedClass<GEAR_TYPE, typename boost::enable_if<typename IsTypeInList<InvoluteToothTypes, GEAR_TYPE>::type >::type >
{
public:
     void Test( void );
};

如果我尝试在类声明本身中定义方法，它工作正常。 但是当我尝试在单独的 .cpp 文件中定义它们时，问题就来了：

template<typename GEAR_TYPE>
void PartiallySpecializedClass< /* WHAT TO PLACE HERE???? */ >::Test( void )
{
}

甚至可以在单独的 .cpp 文件中定义部分专用类的成员方法吗？

非常感谢任何想帮助我解决这个话题的人。 我希望这可以帮助其他和我有同样噩梦的人:o)

Answer 1

此示例使用 C++11 中的std::enable_if ，它本质上是 boost::enable_if 的标准化版本。

#include <iostream>
#include <type_traits>

// the partial specialization of A is enabled via a template parameter
template<class T, class Enable = void>
struct A {
    void f() {
            std::cout << "generic A::f()" << std::endl;
    }
}; // primary template

template<class T>
struct A<T, typename std::enable_if<std::is_floating_point<T>::value>::type> {
    void f();
}; // specialization for floating point types


template<class T>
void A<T, typename std::enable_if<std::is_floating_point<T>::value>::type>::f() {
    std::cout << "A<for floats>::f()" << std::endl;
}

int main(void) {
    A<int> ai;
    ai.f();
    A<float> af;
    af.f();
}

它产生

generic A::f()
A<for floats>::f()

请注意，如果您可以使用 C++14，您的生活将变得更加精彩和愉悦，因为此时有 std::enable_if_t 简化了语法

Answer 2

只是为了扩展已接受的答案，以下是为泛型类编写类外定义的方法：

template <class T, class Enable>
void A<T, Enable>::type>::f()
{
    std::cout << "generic A::f()" << std::endl;
}