具有相同类参数的纯虚函数

Question

如果有人能告诉我这里发生了什么，我将不胜感激：假设我声明以下内容

class Base {
public:
    virtual void member(Base b) = 0;
};

给出以下编译器错误：

pvf.cpp:3:18: error: cannot declare parameter ‘b’ to be of abstract type ‘Base’
     virtual void member(Base b) = 0;
              ^
pvf.cpp:1:7: note:   because the following virtual functions are pure within ‘Base’:
     class Base {
   ^
pvf.cpp:3:18: note:     virtual void Base::member(Base)
     virtual void member(Base b) = 0;

但是，如果我通过引用传递，它编译没有问题：

class Base {
public:
    virtual void member(Base& b) = 0;
};

此外，我想在派生类中实现 member() 为

class Base {
public:
virtual void member(Base& b) = 0;
};

class Derived : public Base {
public:
    void member(Derived& d) {};
};

int main() {
    Derived d;
}

但是，（显然？）我明白了

pvf.cpp: In function ‘int main()’:
pvf.cpp:12:14: error: cannot declare variable ‘d’ to be of abstract type ‘Derived’
    Derived d;
    ^
pvf.cpp:6:8: note:   because the following virtual functions are pure within ‘Derived’:
    class Derived : public Base {
    ^
pvf.cpp:3:15: note:     virtual void Base::member(Base&)
    virtual void member(Base& b) = 0;

Answer 1

你的第一个函数

virtual void member(Base b) = 0;

通过值获取Base 类的参数，这需要将Base 的实例 传递给它。但是由于Base 是一个抽象类（因为它包含一个纯虚函数）它不能被实例化，因此你不能创建一个Base 的实例来传递给它！这就是您的第一个错误的原因。

在第二种情况下，在派生类中声明一个函数

void member(Derived& d) {};

你可能认为它覆盖了基类虚函数

virtual void member(Base& b) = 0;

但它没有（事实上，它隐藏了它 - 请参阅 Why does a virtual function get hidden? 以获取对此的解释），因此 Derived 仍然是抽象类，因为您 不 提供了基类中的纯虚函数。因此，Derived 也无法实例化。无法为基类纯虚函数提供实现的派生类将与基类一样保持抽象。