模板专门化不能用于派生类

Question

class Base {};
class Derived : public Base {};

template<typename T>
void doSomething(T t) { cout << "All Types!" << endl; }

template<>
void doSomething(Base b) { cout << "Base!" << endl; }

int main() {
    Derived d;
    doSomething(d);       //prints "All Types!"

    return 0;
}

我有一个模板函数doSomething(T)，它接受任何类型的参数…类型基类除外。

所以我把doSomething模板专门用于类型Base的参数，所以它做了一些不同的事情。

然而，当我将派生类传递给doSomething时，它会打印“所有类型！”，而我希望它打印“Base！”，因为派生类本质上也是一个基类。

如果我有：

template<typename T>
void doSomething(T t) { cout << "All Types!" << endl; }

void doSomething(Base b) { cout << "Base!" << endl; }    

然后doSomething(d)也会打印“所有类型！”而不是“base！”，因为Derived2对象将被简单地视为类型模板参数

Answer 1

您可以使用std::enable_if:解决此问题：

#include <type_traits>
#include <iostream>

class Base {};
class Derived1 : public Base {};
class Derived2 : public Derived1 {};

template<typename T>
typename std::enable_if< ! std::is_base_of<Base, T>::value>::type
doSomething(const T&) { std::cout << "All Types!" << std::endl; }

template<typename T>
typename std::enable_if<std::is_base_of<Base, T>::value>::type
doSomething(const T&) { std::cout << "Base or Derived!" << std::endl; }

int main() {
    // All Types!
    doSomething(1);
    // Base or Derived!
    doSomething(Base());
    doSomething(Derived1());
    doSomething(Derived2());

    return 0;
}

注意：参数是const T&，但是使用T作为参数已经避免了前面提到的切片。

注意:typename std::enable_if ::value>::type 是返回类型，它是std::enable_if的第二个可选模板参数，默认为void。