如何通过抽象类传递虚方法，允许子类选择性重写基类实现？

嘿，我懂你的需求——你想通过Mammal这个抽象类层来控制子类行为：让Human能自定义speak()，但Dog直接复用Animal里的通用发声逻辑对吧？目前的问题出在你把Mammal的speak()声明成了纯虚函数，这就强制所有子类必须自己实现它，没法直接继承Animal的代码。这里给你两个实用的解决思路：

方案一：调整Mammal的虚函数设计（推荐） #

把Mammal的speak()从纯虚改成带默认实现的虚函数，默认调用Animal的通用逻辑。这样子类可以选择重写，或者直接继承这个默认行为：

#include <iostream>

class Animal {
protected:
    // 设为protected，让子类能访问，外部不能直接调用
    virtual void speak() {
        // 通用发声逻辑
        std::cout << "Generic animal sound\n";
    }
};

class Mammal : public Animal {
public:
    // 不再是纯虚，提供默认实现：调用基类的speak
    virtual void speak() override {
        Animal::speak();
    }
};

class Dog : public Mammal {
    // 啥都不用写！自动继承Mammal的speak，也就是复用Animal的通用逻辑
};

class Human : public Mammal {
public:
    // 重写为自己的逻辑
    void speak() override {
        std::cout << "Hello, I'm a human!\n";
    }
};

// 测试代码
int main() {
    Animal* dog = new Dog();
    dog->speak(); // 输出: Generic animal sound

    Animal* human = new Human();
    human->speak(); // 输出: Hello, I'm a human!

    delete dog;
    delete human;
    return 0;
}

这个方案的优势是最简洁，Dog完全不用额外代码，而且Mammal依然可以是抽象类（只要给它加其他纯虚方法就行）。

方案二：显式在Dog中调用Animal的实现 #

如果因为某些原因，你必须让Mammal的speak()保持纯虚（比如强制大部分子类重写，只有少数像Dog这样的例外），那可以在Dog里显式重写speak()，内部直接调用Animal的通用实现：

#include <iostream>

class Animal {
protected:
    virtual void speak() {
        std::cout << "Generic animal sound\n";
    }
};

class Mammal : public Animal {
public:
    // 保持纯虚，强制子类必须实现
    virtual void speak() = 0;
};

class Dog : public Mammal {
public:
    void speak() override {
        // 显式调用Animal的通用逻辑
        Animal::speak();
    }
};

class Human : public Mammal {
public:
    void speak() override {
        std::cout << "Hello, I'm a human!\n";
    }
};

// 测试代码同上...

这个方案适合你需要严格控制子类行为的场景，只有明确允许的子类才能复用基类逻辑。

注意点 #

• 一定要把Animal的speak()设为protected或者public，如果是private的话，子类没法直接调用它的实现。
• 用override关键字是个好习惯，能帮你避免拼写错误或者继承层次的问题。

内容的提问来源于stack exchange，提问作者Justin