C++ 基于模板的设计意见

我有这个特殊的案例，需要一些关于设计方面的意见

基本上，我已经定义了类（表示在不同空间中的位置），这些类之间没有具体的关系

因此，我设计了一个基于模板的插值器，它可以处理当前可用的表示类的位置

大致上

template<typename TPoint>
class Interpolator
{
 .....

some function
{
TPoint::CalculateCriticalAxis(point);
}
}

模板
类内插器
{
.....
某些功能
{
t点：：计算基准轴（点）；
}
}

如您所见，所有位置类中都定义了一些静态函数，可以在插值器中访问这些函数。 因此，现在，由于需要使用插值器并定义新位置（点）类的其他人，必须知道他需要通过查看代码来定义它们，因为位置没有基类。 问题是如何设计一个基类，它还包含用户必须重写的静态方法。据我所知，静态方法不能被重写。那么，如果有人想定义一个新的position（point）类，强制实现它们的最简单方法是什么呢。 我不想重新设计它，因为有一些遗留职位类不是我的，它们在某种意义上是无关的。

---

谢谢

使用定义为已删除的静态成员函数。

[[deprecated（“message”）]

属性允许您在有人试图访问缺少的实现时打印错误消息

// May be, but doesn't need to be a template.
struct base_interface {
    // Likewise, this could be templated.
    [[deprecated( "Derived class must override calculation." )]]
    static value_type calculate_something() = delete;

    // "Public" interface, in the vein of the non-virtual idiom (NVI).
    // This must be a template, and it can't be a member - it's a friend.
    template< typename derived >
    friend value_type something_of( derived const & o )
        { return o.calculate_something(); }
};

---

请注意，这是一个与第一个完全不同的解决方案。这就避免了CRTP库的可默认构造性，但这是一个相当小的代价。或者，您可以将“代码”> STATICOSAsHealt S放在一个必须访问的不同函数中，并保留普通的默认构造函数。

您所要求的类似于C++语言未来版本的概念提案。在该空间中提供功能的库是。或者，对于一个更简单但功能较弱的解决方案，您可以使用with。谢谢。我会调查的。另外，假设我不打算让其他人定义新的职位类，那么这种方式的设计是在OOP中进行的，还是我应该更高级，为已经可用的类引入基类。与“这种方式的设计是在OOP中进行的”？-我真的不会称之为OOP设计。。。您使用的是静态多态性，并且只使用一个类来对静态函数进行分组—没有继承、多态性和封装。不管怎样，也没有特别的理由将OOP用作某种目标或标准。我看不出引入基类有什么特别的原因——大多数人只是使用文档的组合，如果提供了不合适的

TPoint

类作为termplate参数，编译就会失败。。。一两个静态断言已经在相当程度上解决了这个问题。简单的方法（当然不是最好的）是以某种方式记录它。我想没有人会在不看示例或文档的情况下使用某个库。即使有人试图用错误的点类型编译它，他也会收到错误

error:“check”不是“point2\t”TPoint:：check（p）的成员。但是，最好使用其他人建议的某种检查。
// CRTP template, derived class must pass itself to base.
template< class derived >
class base_interface {
    base_interface() {
        static_assert ( std::is_same< decltype( derived::calculate_something() ),
                                      typename derived::value_type >::value,
            "derived class is missing calculate_something" );
    }

    // Just enough to allow the static_assert condition to evaluate as false.
    static struct invalid calculate_something();
    typedef void value_type;
};