C++：为模板参数指定基类

Question

我需要设计一个框架来并行计算分而治之算法的结果。 为了使用该框架，用户需要以某种方式指定实现“划分”阶段（从 T 到 T 的函数）、“征服”阶段（从 D 到 D 的函数）以及 T 和 D 本身的过程。

我认为定义两个抽象类 BaseDivide 和 BaseConquer 会很好，它们声明一个具有正确类型的纯虚拟方法 compute ：这样我就有了一个类型，它实现了一个明确定义的概念（从框架的角度来看），并通过抽象类的派生方式包含了用户可定义的函数。

我想过使用模板将类型传递给框架，因此用户不必实例化它们才能使用框架，所以类似这样的事情：

template <typename T, typename D, typename Divide, typename Conquer> 
D compute(T arg);

我的问题是我希望派生分而治之BaseDivide 和 BaseConquer 的类型：有办法在编译时强制执行它吗？另外：您认为我可以通过更简洁的设计实现类似的结果吗？

Answer 1

您可以像这样创建基类：

struct BaseDivide {
    enum EnumDiv { derivedFromBaseDivide = true };
}

template <typename T, typename D, typename Divide, typename Conquer> 
    static_assert(D::derivedFromBaseDivide);
    D compute(T arg);

附加的分而治之模板参数的目的是什么？您确定需要它们吗？

Answer 2

当您的类型不满足您的要求时，使用 Boost.EnabelIf 触发 SFINAE。
检查 T 是否源自 U 是通过 boost::is_base_of 完成的：

#include <boost/type_traits/is_base_of.hpp>
#include <boost/enable_if.hpp>

template <typename T, typename D, typename Divide, typename Conquer> 
typename boost::
enable_if_c< boost::is_base_of<BaseDivide,Divide>::value 
          && boost::is_base_of<BaseConquer,Conquer>::value
          ,D
          >::type
compute(T arg);

Answer 3

您不需要为此目的使用模板。相反，您可以使用指向 BaseDivide 和 BaseConquer 对象的指针，多态性将为您完成这项工作。