带有模板模板参数的CRTP派生类

Question

我正在设计一个具有以下结构的 API，我正在寻求模板模板 CRTP 参数领域的实用设计建议。 我对 C++ 中的模板比较陌生，所以请忍受我的经验不足。

template<typename Derived>
struct FitCRTP {
    ...
}

template<typename Derived>
class FitBase : public FitCRTP<Derived> {
    ...
}

template<typename Derived>
class Algebraic : public FitBase<Derived> {
    Algebraic(const Matrix& data) {
        ...
    }
}

template<typename Derived, template<typename> class Alg>
class Geometric : public FitBase<Derived> {
    Geometric(const Matrix& data, Alg<someparam>) {
        ...
    }
}

代数和几何代表两类不同的算法，并且从每一类派生出许多互斥的算法。 几何算法的独特之处在于它们需要由一种代数方法产生的初始猜测——这就是我的问题所在。

对于每个几何“子类”，我想创建一个模板参数，允许在保持原始 CRTP 模式的同时提供代数方法。 执行此操作的最佳方法是什么？ 就需要模板模板参数而言，我的想法是否有效？

Answer 1

使用 CRTP，派生类不需要是模板。 您继承基类型的模板实例化，派生类型插入Derived ：

class Algebraic : public FitBase<Algebraic> {
    Algebraic(const Matrix& data) { }
};

所以，如果你的派生类恰好有一个模板参数，而你想引用它自己，只需插入模板参数。 模板模板参数的工作方式相同。

template<template<typename> class Alg, typename someparam>
class Geometric : public FitBase<Geometric<Alg, someparam>> {
    Geometric(const Matrix& data, Alg<someparam>) { }
};

https://godbolt.org/z/qjvvK8