4

我有一个带有几个纯虚拟方法的基类，例如

class GenericFunction 
{
public:
  GenericFunction() { /* Init generic function state */ };
  virtual void Iterate(short *ps, unsigned cs) = 0;
  virtual void Iterate(float *ps, unsigned cs) = 0;
}

然后我有一堆实现特定函数的派生类，我想在Iterate()这些函数的集合上调用方法，给它们每个数据样本块。我现在只知道我正在调用的数据类型Iterate()。

许多函数的Iterate()方法几乎完全相同，所以我想使用模板。我不能在基类中使用模板，因为不允许使用虚拟模板。为了让编译器从模板生成正确的方法，我发现我必须使用对模板的间接调用，如下所示：

class SpecificFunction : GenericFunction
{
public:
  SpecificFunction() : GenericFunction() { /* Init specific function state */ };

  template<class T> void IterateT(T *ps, unsigned cs) {
    // Do function operations on block of samples
  };
  virtual void Iterate(short *ps, unsigned cs) { IterateT(ps, cs); };
  virtual void Iterate(float *ps, unsigned cs) { IterateT(ps, cs); };
}

我不想为SpecificFunction模板制作整个类，因为还有许多其他方法，并且所有这些代码都与正在操作的样本类型无关。我不希望从模板生成的所有代码都被复制，因为它在嵌入式处理器上运行并且代码空间有限。

这似乎令人费解且效率低下。有一个更好的方法吗？

4

1 回答 1

1

这是一个可怕的钻石（虚拟继承和多重继承）可以帮助你的情况。您可以使用从您虚拟继承的模板代理类GenericFunction作为您的通用实现。然后，在您要创建的特定实现上使用多重继承SpecificFunction。

class ProxyState;

template <typename T>
class ProxyFunction : public virtual GenericFunction
{
public:
  ProxyFunction() : GenericFunction() {};
  virtual ProxyState * state () { return 0; }
  void Iterate (T *ps, unsigned cs) {
    // Do function operations on block of samples, using state()
    // if necessary
    std::cout << __PRETTY_FUNCTION__ << "\n";
  }
};

class SpecificFunction : public ProxyFunction<short>,
                         public ProxyFunction<float>
{
public:
  SpecificFunction() : ProxyFunction<short>(),
                       ProxyFunction<float>()
  { /* Init specific function state */ };
};

//...
SpecificFunction s;
GenericFunction *g = &s;
g->Iterate((short *)0, 0);
g->Iterate((float *)0, 0);

上面的程序给了我以下输出：

void ProxyFunction<T>::Iterate(T*, unsigned int) [with T = short int]
void ProxyFunction<T>::Iterate(T*, unsigned int) [with T = float]

从图形上看，该图如下所示：

           GenericFunction
                 |
                /_\ (virtual)
                 |
           ProxyFunction<T>
                 |
     ____________|____________
     |                       |
ProxyFunction<short>    ProxyFunction<float>
     |                       |
    /_\                     /_\
     |_______         _______|
            |         |
          SpecificFunction

因为GenericFunction是虚拟继承SpecificFunction的，即使继承了多个ProxyFunction<>s，也只有一个实例。

于 2013-07-24T17:18:02.230 回答