以派生类为参数的专用模板方法

Question

对于特定类 A 专用的模板方法，有没有办法调用派生自 A 的类的专用代码？

最小的例子

#include <iostream<  

class A
{};

class B : public A
{};

class Templator
{
public :
    template <class T>
    void dance(T *argument);
};

template <class T>
void Templator::dance(T *argument)
{
    std::cout << "General implementation" << std::endl;
}

template<>
void Templator::dance<A> (A* )
{
    std::cout << "Specialized implementation" << std::endl;
}

int main()
{
    A a;
    B b;

    Templator tt;
    tt.dance(&a);
    tt.dance(&b);

    return 0;
}

对应输出

特殊实现
一般实现

换句话说，我希望这两个输出是：

专业化实现
专业化实现

Answer 1

在 C++11 中，您可以使用 std::enable_if 和 std::is_base_and_derived：

class Templator{
public :
    template <class T>
    typename std::enable_if<!std::is_base_and_derived<A, T>::value, void>::type 
    dance(T *argument) { 
       std::cout << "General implementation" << std::endl;
    }
    template <class T>
    typename std::enable_if<std::is_base_and_derived<A, T>::value, void>::type 
    dance(T *argument) { 
       std::cout << "Specialized implementation" << std::endl;
    }
};

您可以在 C++03 中使用 boost::enable_if_c 和 boost::is_base_of 或 std::tr1::is_base_of 并自己编写 enable_if 来做同样的事情（请参阅 here）

Answer 2

您只需将&b 转换为A*。

如果您更改此代码

tt.dance(&a);
tt.dance(&b);

到此代码

tt.dance(&a);
tt.dance((A*)&b);

输出变成

Specialized implementation
Specialized implementation

Answer 3

这应该可以将boost::enable_if 与boost::is_base_of 结合使用。