c++ - 基类可以声明一个虚方法但不定义它吗？仍然在派生类中定义

Question

#include <vector>

class M {
    public:
        M(unsigned int);
        unsigned int n;
};

M::M(unsigned int i) { n = i; }

class A {
    protected:
        char t;
    public:
        virtual ~A();
        virtual std::vector<M> foo(unsigned int);
        char getChar();
};

A::~A(){}
std::vector<M> A::foo(unsigned int u) {
    std::vector<M> v;
    return v;
}
char A::getChar() { return t; }

class B : public A {
    public:
        B();
        std::vector<M> foo(unsigned int);
};

B::B() { t = 'b'; }
std::vector<M> B::foo(unsigned int c) {
    std::vector<M> v;
    for (unsigned int i = 0; i < c; i++) {
        v.push_back(i);
    }
    return v;
}

int main() {}

在上面的代码中，我在 A::foo() 中收到警告 unused parameter 'u'。但是，完全删除该函数后，我收到一个错误，指出 B 中存在对 A::foo() 的 undefined reference 。 B 正在实现虚方法，在A 中找不到对定义的引用，但是为什么需要在A 中定义它预期的行为是派生类将始终覆盖基类，换句话说，永远不会调用 A::foo()？

为了更具声明性，有没有一种方法可以在基类中声明一个虚拟方法，但只在派生类中定义它？考虑基方法调用永远不会显式发生。

Answer 1

你正在寻找的是所谓的“纯虚函数”，你在类定义中用 = 0 声明它:

class A {
    protected:
        char t;
    public:
        virtual ~A();
        virtual std::vector<M> foo(unsigned int) = 0; // <--
        char getChar();
};

您可以阅读有关纯虚函数及其效果的更多信息 at cppreference.com .