基类指针无法访问继承层级中子类成员函数的问题咨询

核心原因 #

这是C++静态类型检查机制导致的：
你声明的Bird* parrot，它的静态类型是Bird，编译器在编译阶段只会检查Bird类是否包含fly()方法——而你的Bird类里根本没定义fly()，所以直接调用parrot->fly()会编译报错，哪怕这个指针实际指向的是Parrot对象（动态类型）也没用。

虚函数的多态特性只针对基类中已经声明的函数：比如你调用parrot->eat()，因为Bird里有virtual eat()，编译器会允许，运行时再根据动态类型调用对应派生类的实现。但fly()不在Bird的接口里，编译器连编译这一步都过不了。

解决办法 #

1. 使用匹配派生类的指针类型

如果你的逻辑里确定这个指针指向的是会飞的鸟，直接用FlyingBird*或Parrot*声明指针：

FlyingBird* parrot = new Parrot("Blue Parrot", "Large");
parrot->fly(); // 正常编译运行

2. 安全向下转型（dynamic_cast）

如果必须保留Bird*类型，可以用dynamic_cast将其转型为FlyingBird*，转型成功后再调用fly()：

Bird* parrot = new Parrot("Blue Parrot", "Large");
FlyingBird* flyingParrot = dynamic_cast<FlyingBird*>(parrot);
if (flyingParrot) { // 检查转型是否成功，避免空指针错误
    flyingParrot->fly();
}

注意：dynamic_cast要求类体系中有虚函数（你的代码里Bird已经有虚析构和虚函数，满足条件），如果指针实际指向的是不会飞的鸟，转型会返回nullptr，所以一定要加判断。

3. 扩展基类接口（谨慎使用）

如果你的业务逻辑里，所有需要通过Bird*操作的鸟类都应该具备飞行能力，可以在Bird类中添加纯虚函数fly()：

class Bird
{
    // ... 其他成员不变
public:
    virtual void fly() = 0; // 纯虚函数，使Bird成为抽象类
    // ...
};

此时FlyingBird必须实现fly()（你的代码里已经实现了），Bird*就可以直接调用fly()，运行时会自动调用派生类的实现。但如果存在不会飞的鸟类（比如鸵鸟），这种设计就违背逻辑，要根据实际需求判断是否适用。

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