覆盖纯虚函数的参数数量

Question

我已经实现了以下接口：

template <typename T>
class Variable
{
public:
  Variable (T v) : m_value (v) {}
  virtual void Callback () = 0;
private:
  T m_value;
};

正确的派生类将定义如下：

class Derived : public Variable<int>
{
public:
  Derived (int v) : Variable<int> (v) {}
  void Callback () {}
};

但是，我想派生类，其中 Callback 接受不同的参数（例如： void Callback (int a, int b））。 有办法做到吗？

Answer 1

这是我多次遇到的问题。

这是不可能的，并且有充分的理由，但有一些方法可以实现本质上相同的目标。就我个人而言，我现在使用：

struct Base
{
  virtual void execute() = 0;
  virtual ~Base {}
};

class Derived: public Base
{
public:
  Derived(int a, int b): mA(a), mB(b), mR(0) {}

  int getResult() const { return mR; }

  virtual void execute() { mR = mA + mB; }

private:
  int mA, mB, mR;
};

在行动中：

int main(int argc, char* argv[])
{
  std::unique_ptr<Base> derived(new Derived(1,2));
  derived->execute();
  return 0;
} // main

Answer 2

即使这样的事情是可能的，将其作为虚函数也不再有多大意义，因为派生实例化不能通过指向基类的指针进行多态调用。

Answer 3

不要认为这是可能的，因为你永远无法将它连接回变量。
这就是我的意思

int a=0; int b = 0;
Variable<int>* derived = new Derived();
derived->Callback(a, b); //this won't compile because Variable<int> does not have Callback with 2 vars.

Answer 4

我知道这是一个公认的答案，但是有一种（丑陋的）方法可以实现你想要的，尽管我不会推荐它：

template <typename T> 
class Variable 
{ 
public: 
  Variable (T v) : m_value (v) {}
  virtual void Callback (const char *values, ...) = 0; 

private: 
  T m_value; 
};

class Derived : public Variable<int> 
{ 
public: 
  Derived (int v) : Variable<int> (v) {} 
  virtual void Callback (const char *values, ...) {
  } 
};  

现在，你可以使用：

  int a=0; 
  double b = 0; 
  Variable<int>* derived = new Derived(3); 
  derived->Callback("");
  derived->Callback("df", a, b);

你需要 values 参数获取方法内的剩余参数。您还需要知道参数类型，并像 printf 那样传递它们。

此方法很容易出错，因为您必须将值上的参数类型与实际参数类型相匹配。

Answer 5

您必须在接受这些参数的基类中添加回调的重载。也有可能做坏事，比如接受 void*，或者传入原始的字节指针。
更改虚拟函数签名有效的唯一情况是当您将返回值重写为原始返回值的多态性时，例如*this。