为何代码示例1中s1->duplicate()未返回Box*？虚方法返回解析

首先补全你给出的代码片段，方便后续分析：

#include <iostream>
struct Shape {
    virtual Shape* duplicate() {
        std::cout << "c" << std::endl;
        return new Shape;
    }
    virtual void print() {
        std::cout << "SHAPE" << std::endl;
    }
    virtual ~Shape() {}
};
struct Box : public Shape {
    virtual Box* duplicate() {
        std::cout << "Box duplicate" << std::endl;
        return new Box;
    }
    virtual void print() {
        std::cout << "BOX" << std::endl;
    }
};

int main() {
    Shape* s1 = new Box();
    auto res = s1->duplicate();
    res->print();
    delete res;
    delete s1;
    return 0;
}

你的困惑点其实涉及到C++虚函数的协变返回类型以及静态/动态类型的核心区别，我来拆解清楚：

1. 先确认：你的代码是合法的 #

C++允许派生类的虚函数返回「基类虚函数返回类型的派生类指针/引用」，这就是协变返回类型规则。所以你在Box类里把duplicate()的返回值改成Box*完全符合语法，编译器不会报错。

2. 静态类型 vs 动态类型的差异 #

这是你产生误解的核心原因：

• 静态类型：编译阶段编译器识别的变量类型。这里s1的静态类型是Shape*，所以编译器会默认s1->duplicate()的返回类型是Shape*——这就是你觉得“返回了Shape*”的直观感受。
• 动态类型：运行阶段变量实际指向的对象类型。s1实际指向的是Box对象，所以运行时会调用Box::duplicate()，它真正返回的是Box*指针。这个Box*会被隐式转换为Shape*（因为Box是Shape的派生类），所以最终你拿到的指针虽然静态类型是Shape*，但实际指向的是Box实例。

验证实际返回的是Box* #

你可以用dynamic_cast来验证这一点：

Shape* s1 = new Box();
Shape* res = s1->duplicate();
if (Box* boxRes = dynamic_cast<Box*>(res)) {
    std::cout << "实际返回的是Box*" << std::endl;
    boxRes->print(); // 会输出"BOX"
}

如何直接拿到Box*？ #

如果代码中你确定s1指向的是Box对象，可以直接用static_cast转换返回值：

Box* boxRes = static_cast<Box*>(s1->duplicate());

如果追求安全性，C++17及以后可以结合智能指针和dynamic_cast：

std::unique_ptr<Shape> s1 = std::make_unique<Box>();
auto boxRes = std::unique_ptr<Box>(dynamic_cast<Box*>(s1->duplicate()));
if (boxRes) {
    // 安全处理Box对象
}

总结一下：你看到的“返回Shape*”是编译时的静态类型表现，但运行时实际返回的是Box*，只是被隐式转换为Shape*了，这是C++虚函数协变返回类型的正常行为。

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