c++ - 如何使用 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

此示例使用 std::enable_if来自 C++11，它本质上是 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 简化了语法