在C ++中有没有一种方法可以让派生类重写基类的静态方法？

Question

我有一个多次衍生的基类B：D1，D2等。

在类B中，我希望有一个静态方法getInfo（）返回BaseInfo类（基本上是一个类，其中包含类B的默认成员值），因此将其设为静态是有意义的，因为不需要特定的实例。

现在，是否有一种方法可以强制派生类实现此方法？ 显然，每个派生类都有其自己的类成员默认值。

理想情况下，如果可以在基类中将getInfo（）声明为虚拟静态，那将是很好的选择，但是由于C ++中没有这样的东西，所以我想知道是否存在一种实现此行为的好方法。

我当时在考虑CRTP，但没有提出解决方案。

Answer 1

使用特征模式。

template<typename T> struct base_traits;

您希望从中getInfo每个类都必须对此类型进行专门化。

template<>
struct base_traits<B>
{
    static BaseInfo getInfo() { return b_info; }
};

template<>
struct base_traits<D1>
{
    static BaseInfo getInfo() { return d1_info; }
};

template<>
struct base_traits<D2>
{
    static BaseInfo getInfo() { return d2_info; }
};

要获取任何特定类的BaseInfo ，请编写

BaseInfo d1info = base_traits<D1>::getInfo();

如果有人忘记将base_traits<T>专用于其派生类型T ，则会出现编译器错误。

BaseInfo d3info = base_traits<D3>::getInfo();

error: incomplete type ‘base_traits<D3>’ used in nested name specifier

Answer 2

使其静态是有意义的，因为不需要特定的实例。

实际上在特定情况下是有需要的。 具体地，需要存储在实例中的运行时类型信息。 唯一可能的选择是使函数虚拟化，并在派生类中重写它。