Question

示例1

如果我们有Base和Derived类

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

和模板类

template <class T, class Enabler=void>
class Partialy
{
public:
    void say()
    {
        std::cout << "Partialy Default" << std::endl;
    }
};

我们可以通过下一种方式编写部分专业化：

template <class T>
class Partialy<T, typename std::enable_if<std::is_base_of< Base, T >::value>::type>
{
public:
    void say()
    {
        std::cout << "Partialy special" << std::endl;
    }
};

示例1 将正常运行。（完整代码：http://ideone.com/4FyrD）

示例2

如果我只创建Base类模板一：

template <class T>
class BaseTpl
{};
class DerivedTpl : public BaseTpl<int>
{};

下一部分专业化不起作用：

template <class T, class Ta>
class Partialy<T, typename std::enable_if<std::is_base_of< BaseTpl<Ta>, T >::value>::type>
{
public:
    void say()
    {
        std::cout << "Partialy special with TPL" << std::endl;
    }
};

示例2 无法编译编译器抛出错误"template parameters not used in partial specialization:"（完整代码：http://ideone.com/gZ6J2）

问题

所以问题是。是否有任何方法可以编写部分特殊化，它适用于派生自BaseTpl的所有类。

专业化工作的课程列表：

class A1 : public BaseTpl<int>
class A2 : public BaseTpl<std::string>
class A3 : public BaseTpl<vector<int> >
...

Answer 1

你拥有它的方式，编译器不可能将Ta与任何类型相匹配。想象一下你有这个：

class DerivedTpl : public BaseTpl<int>, public BaseTpl<char>
{};

尝试匹配时Ta会是什么类型？

对于您的特定问题，一种解决方案是在BaseTpl之上引入一个包罗万象的基类：

class BaseNonTpl {};

template <class T>
class BaseTpl : BaseNonTpl
{};

然后，修改部分特化以代替查找该基类。

template <class T>
class PartialyTpl<T, typename std::enable_if<std::is_base_of< BaseNonTpl, T >::value>::type>

这样，编译器就不必尝试找出你想要使用的基类。

使用从模板类继承的非模板类的部分特化

示例1

示例2

问题

1 个答案: