C++中如何创建指向编译期未知类型派生类的新指针？

嘿，你碰到的这个是C++多态里很常见的需求——编译期不知道基类指针实际指向的派生类类型，却要创建一个同类型的新对象。咱们用「虚克隆函数（Clone Method）」就能完美解决这个问题，下面一步步来拆解：

先补全你的示例代码（方便理解场景） #

你给出的代码没写完，我先补全Rectangle类，再加上一个Triangle类作为额外示例，这样更直观：

#include <iostream>
using namespace std;

class Polygon {
protected:
    int width, height;
public:
    void set_values(int a, int b) { width = a; height = b; }
    virtual int area() = 0;
};

class Rectangle : public Polygon {
public:
    int area() { return width * height; }
};

class Triangle : public Polygon {
public:
    int area() { return (width * height) / 2; }
};

问题核心 #

现在如果有一个Polygon*指针，比如Polygon* p = new Rectangle();，编译期只知道它是Polygon*，但运行时它实际指向Rectangle。直接new Polygon()不行（因为Polygon是抽象类），也不能硬写new Rectangle()——因为你不知道运行时p到底是Rectangle还是Triangle。

解决方案：给基类加虚Clone函数 #

咱们给基类添加一个纯虚的clone()函数，让每个派生类自己实现「创建自身实例」的逻辑，这样就能通过基类指针调用，动态创建对应类型的对象。

完整实现代码 #

#include <iostream>
#include <memory> // 可选，用于智能指针更安全
using namespace std;

class Polygon {
protected:
    int width, height;
public:
    void set_values(int a, int b) { width = a; height = b; }
    virtual int area() = 0;
    
    // 新增纯虚克隆函数：要求所有派生类实现自身的克隆逻辑
    virtual Polygon* clone() const = 0;
    
    // 基类必须加虚析构！否则通过基类指针delete派生类会内存泄漏
    virtual ~Polygon() = default;
};

class Rectangle : public Polygon {
public:
    int area() override { return width * height; }
    
    // 实现克隆函数：返回当前类型的新实例（这里是拷贝当前对象的状态）
    Rectangle* clone() const override { return new Rectangle(*this); }
};

class Triangle : public Polygon {
public:
    int area() override { return (width * height) / 2; }
    
    Triangle* clone() const override { return new Triangle(*this); }
};

int main() {
    // 测试场景1：指向Rectangle的基类指针
    Polygon* rect_ptr = new Rectangle();
    rect_ptr->set_values(4, 5);
    
    // 不用知道实际类型，直接clone得到同类型新对象
    Polygon* rect_clone = rect_ptr->clone();
    cout << "原Rectangle面积：" << rect_ptr->area() << endl;
    cout << "克隆Rectangle面积：" << rect_clone->area() << endl;
    
    // 测试场景2：指向Triangle的基类指针
    Polygon* tri_ptr = new Triangle();
    tri_ptr->set_values(4, 5);
    Polygon* tri_clone = tri_ptr->clone();
    cout << "原Triangle面积：" << tri_ptr->area() << endl;
    cout << "克隆Triangle面积：" << tri_clone->area() << endl;
    
    // 手动释放内存（如果用智能指针可以省略这步）
    delete rect_ptr;
    delete rect_clone;
    delete tri_ptr;
    delete tri_clone;
    
    // 推荐用法：用智能指针管理内存，避免手动delete出错
    unique_ptr<Polygon> smart_rect = make_unique<Rectangle>();
    smart_rect->set_values(3, 6);
    unique_ptr<Polygon> smart_clone(smart_rect->clone());
    cout << "智能指针克隆的面积：" << smart_clone->area() << endl;
    
    return 0;
}

关键细节说明 #

• 虚析构函数：基类必须声明虚析构，否则当你通过Polygon*指针delete派生类对象时，会只调用基类析构函数，导致派生类的资源泄漏。
• 协变返回类型：C++允许派生类的虚函数返回基类虚函数返回类型的派生类指针（比如Rectangle* clone()代替Polygon* clone()），这样如果后续你知道具体类型，能直接用更具体的指针，不用强制转换。
• 克隆逻辑灵活调整：上面的clone是拷贝当前对象的状态（比如width和height），如果你需要创建一个默认状态的新对象，把return new Rectangle(*this);改成return new Rectangle();就行，完全看你的需求。

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