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);

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