Question

我们有一个通用的ByteCode基类。 ByteCode的子代应编写以下形式的方法：

void m();

ByteCode类应具有方法的定义：

typedef void (ByteCode::*Method)();

为了执行字节码，我们有：

void exec() {
  while (true) {
    uint16_t opcode = getOpcode();
    Method m = opcodes[opcode];
    this->*m();
  }
}

在一堂课上做这件事没问题。但是我们在基类中有通用代码，而派生代码具有数组：

class MyByteCodeEngine : public ByteCode {
private:
  static Method opcodes[65536];

  void m1() {}
  void m2() {}
  void m3() {}
};

Method MyByteCodeEngine ::opcodes[65536] = {
  MyByteCodeEngine::m1,
  MyByteCodeEngine::m2,
  MyByteCodeEngine::m3
}

问题在于这些方法不是基类，而是派生的。但是我们唯一的实例是派生的，我们不想承担虚拟的开销，我们只想强制转换并使之工作，但是编译器正在抓住一切窍门。如果它能相信我们：

Method MyByteCodeEngine ::opcodes[65536] = {
  (Method)MyByteCodeEngine::m1,
  (Method)MyByteCodeEngine::m2,
  (Method)MyByteCodeEngine::m3
}

我们可以通过消除ByteCode类来解决此问题，但这迫使我们在有字节码解释器的任何时候都重复代码。关于如何愚弄C ++干净地接受它的任何建议？

Answer 1

您可以使用Curiously recurring template pattern，以便基类了解成员函数的类型。

template<class T>
struct ByteCode {
  typedef void (T::* Method)();

  void exec() {
    while (true) {
      uint16_t opcode = getOpcode();
      Method m = T::opcodes[opcode];
      static_cast<T*>(this)->*m();
    }
  }
};

class MyByteCodeEngine : public ByteCode<MyByteCodeEngine > {
  private:
    static Method opcodes[65536];

    void m1() {}
    void m2() {}
    void m3() {}
};

MyByteCodeEngine::Method MyByteCodeEngine ::opcodes[65536] = {
  &MyByteCodeEngine::m1,
  &MyByteCodeEngine::m2,
  &MyByteCodeEngine::m3
}

将方法的指针从派生类转换为基类的最佳方法

1 个答案: