C++:使用不同的返回类型模板化虚拟方法



我正在尝试编写一个包含几个非常相似的虚拟方法的基类,我希望使用模板来减少重复:

class CPU {
    template<typename T>
    T getRegister(unsigned int which) {
        /** Returns value of specified register.
         */
        return *(T*)this->getRegisters()[which].data;
    };
    virtual  int16_t getRegister(unsigned int which);
    virtual uint16_t getRegister(unsigned int which);
    virtual  int32_t getRegister(unsigned int which);
    virtual uint32_t getRegister(unsigned int which);
    //etc...
};
class Z80: public CPU: { ... };
Z80 myCPU;
printf("Register 0 = 0x%04Xn", myCPU.getRegister<uint16_t>(0));

目标是让各个 CPU 能够定义自己的 getRegister() 或使用CPU基类中定义的 getRegister()。

我不确定使这项工作的正确语法是什么,如果可能的话?

与我找到的大多数答案不同的关键点:

  • 类本身不是模板
  • 该方法是虚拟的

我去找了一个副本,但找不到...我确定有一个,但我输入的任何东西都找不到一个好的。

C++不允许两个具有相同签名 [1] 且具有不同返回类型的函数。编译器需要直接从函数签名中知道返回类型。

有几种不同的方法可以解决这种特殊情况:

1) 声明不同的函数:

 virtual  int16_t getRegisterS16(unsigned int which);
 virtual uint16_t getRegisterU16(unsigned int which);
 virtual  int32_t getRegisterS32(unsigned int which);
 virtual uint32_t getRegisterU32(unsigned int which);

2) 使用间接类型:

virtual void getRegister(unsigned int which, int16_t &value);
virtual void getRegisterU16(unsigned int which, uint16_t &value);
...

3) 使用模板为 CPU 提供固定的寄存器大小:

template<typename T>
class CPU {
    T getRegister(unsigned int which) {
      ... 
    }
};

我还要在这里指出,对于 99% 的 CPU 操作,有符号和无符号数学是相同的。它只是比较不同的对等互连[至少在相当现代的CPU中,您可以期望在现代x86或ARM处理器上执行数学运算,而不是在简单的数学步骤中单独模拟每个位]

[1] 签名是名称、参数类型和成员函数是否const - 我认为可能还有一两件事,但这些是主要的。

相关内容

最新更新