c++ - 用于派生特定类型的函数模板特化

Question

class base
{
};

class derived
{
};

template<class T> void foo() {}


int main()
{
    foo<int>();
    foo<derived>();
}

我想将 foo 专门化为 T = base 的推导。这是可能的还是我需要专门针对 base 本身？

Answer 1

您可以组合 boost::enable_if 和 boost::is_base_of，如文档所述in the manual for boost::enable_if .

template <class T>
T foo(typename enable_if<boost::is_base_of<base,T> >::type* dummy = 0);