减少几乎重复的模板实例化

Question

我有一组（生成的）类，简化后大致如下所示：

class A {
public:
    static const int id = 0;
    typedef int value_type;
    void* data; // actually pointer to int
};
class B {
public:
    static const int id = 1;
    typedef float value_type;
    void* data; // actually pointer to float
};

总共有几十个，类型要少得多。我需要创建为所有这些计算一些派生值的类。现在显而易见的解决方案是使用这样的模板：

template<class T>
class Derived {
public:
    typename T::value_type value;
    void update(const void* data) {
        value = *static_cast<typename T::value_type*>(data);
        // do some calculations
    }
};

但这将为每个参数类 A、B 等实例化一个单独的类；其中大部分将是相同的。另一种解决方案是一个明显的模板类，如下所示：

template<typename T>
class Derived2 {
public:
    T value;
    void update(const void* data) {
        value = *static_cast<T*>(data);
    }
};

如果 A、B 等类的架构是从更改中生成的，那么这将使用此类手动更新代码。有没有办法使用 value_type typedefs 来生成 Derived2、Derived2 等的实例化，或者至少将手动参数化的实例化类型与类型 A、B 等相匹配？

这是一个嵌入式系统，因此目标是减少相同代码的数量，即使这会导致更复杂的 C++ 代码。用实际类型替换 void*s 会导致程序其他部分的代码爆炸，所以没有这样做。

Answer 1

如 cmets 中所述，这将满足您的需求：

template<class T> struct Derived : Derived2<typename T::value_type> { };