C++多态详解：向上向下转型、虚函数与作用域隐藏

多态基础与类定义

多态的实现离不开继承。在C++中，通常通过在基类中声明虚函数来开启多态能力。下面定义一个基类 Animal：

class Animal {
public:
    Animal() = default;
    Animal(string name) : m_name(name) {}
    virtual ~Animal() = default;

    virtual void speak() const { cout << "Animal speak" << endl; }
    string name() const { return m_name; }

private:
    string m_name;
};

接着创建派生类 Dog。由于构造函数无法被继承，可以使用 using 关键字引入基类构造函数。同时，使用 override 显式标记重写的虚函数是一种良好的编码实践：

class Dog : public Animal {
public:
    using Animal::Animal;

    // override 确保函数签名一致
    void speak() const override { cout << "Dog bark" << endl; }
    void bark() const { cout << "lololo" << endl; }
};

向上转型与动态绑定

当使用基类指针或引用指向派生类对象时，即发生“向上转型”。此时若调用虚函数，编译器不会在编译期直接确定调用版本，而是在运行期根据对象的实际类型进行动态绑定。

Animal* pa = new Dog("二哈");
pa->speak(); // 调用的是 Dog::speak
pa->Animal::speak(); // 强制调用基类的 speak

需要注意的是，虽然 pa 指向 Dog 对象，但由于它是 Animal 类型的指针，编译器在编译时会忽略派生类的特有成员（如 bark()），直接报错找不到该成员。因此，向上转型会丢失派生类非继承自基类的接口。

此外，如果使用引用进行转换时必须保持引用或指针形式。若写成以下代码，实质是触发拷贝构造函数，构造了一个全新的基类对象，而非多态意义上的向上转型：

Dog dog("二哈");
Animal animal = dog; // 切割 (Slicing)
animal.speak(); // 只能调用 Animal::speak

向下转型与安全转换

若需要通过基类指针访问派生类特有的方法（如 bark），必须进行“向下转型”。C++提供了两种转换方式：

1. static_cast：编译期静态转换。不检查类型安全性，如果强转错误，可能导致未定义行为。
2. dynamic_cast：运行期动态转换。要求基类包含虚函数。若转换失败且目标为指针，返回空指针；若为目标引用，则抛出 bad_cast 异常。因此在处理不确定类型时更安全。

// static_cast 方式
Dog* pd_ = static_cast<Dog *>(pa);
pd_->bark();

// dynamic_cast 方式（推荐用于安全控制）
if (Dog* pd = dynamic_cast<Dog*>(pa)) {
    pd->bark();
} else {
    cout << "转换失败" << endl;
}

作用域与虚函数隐藏

子类的查找作用域嵌套于父类中。如果在子类中定义了与父类同名的函数（即使参数不同），它会隐藏（Hide）掉父类的所有同名函数，而不是重载它们。

class Animal {
public:
    virtual void speak() const {
        cout << "Animal speak" << endl;
    }
};

class Dog : public Animal {
public:
    // 注意：没有使用 override，而是定义了完全不同的签名
    void speak(string word) const {
        cout << "Dog bark: " + word << endl;
    }
};

int main() {
    Dog* pd = new Dog();
    // pd->speak(); 报错！因为 Animal::speak() 被隐藏了
    pd->speak("666"); 
    return 0;
}

针对这种隐藏问题，若想调用基类的 speak()，有两种解决办法：

• 向上转型：使用基类指针 pa->speak()。因为子类没重写它，动态绑定时会执行父类版本。
• 作用域强制调用：在派生类指针上直接使用作用域运算符 pd->Animal::speak()。

函数调用解析四步法

理解函数调用过程对于掌握 C++ 继承至关重要。假定调用 p->mem()，其解析过程如下：

1. 确定静态类型：找到指针 p 或对象 obj 的类类型。
2. 名字查找：从当前类型开始，沿继承链向上查找成员名 mem。一旦找到，停止查找。
3. 合法性检查：确认对该成员的调用是否合法（参数匹配等）。
4. 生成代码：
   - 如果是 虚函数 且通过引用/指针调用：编译器生成运行时代码，依据对象动态类型决定调用哪个版本的函数。
   - 如果是非虚函数或通过普通对象调用：编译器生成常规函数调用代码，依据静态类型直接绑定。

以上就是C++学习之多态的使用详解的详细内容，更多关于C++多态的资料请关注本站其它相关文章！