如何通过无特化基类模板，根据参数选择初始化对应派生类？

你遇到的核心问题是：shape<int>和shape<double>是完全独立的类型，没有共同的非模板基类，因此无法用统一接口动态持有这两个派生类实例。以下是具体修改方案和代码示例：

你的初始尝试（存在问题） #

#include <iostream>

template<typename T>
class shape {
public:
    virtual void draw() = 0;
    virtual T getArea() = 0;
};

class rectangleInt : public shape<int> {
private:
    int width, height;
public:
    rectangleInt(int w, int h) : width(w), height(h) {}
    void draw() override { std::cout << "Int Rectangle\n"; }
    int getArea() override { return width * height; }
};

class rectangleDouble : public shape<double> {
private:
    double width, height;
public:
    rectangleDouble(double w, double h) : width(w), height(h) {}
    void draw() override { std::cout << "Double Rectangle\n"; }
    double getArea() override { return width * height; }
};

int main() {
    bool useInt = true;
    // 错误：shape是模板类，shape<int>和shape<double>无共同基类，无法声明统一指针
    // shape* s;
    if (useInt) {
        rectangleInt r(2,3);
        r.draw();
    } else {
        rectangleDouble r(2.5,3.5);
        r.draw();
    }
    return 0;
}

需要修改的核心点 #

1. 新增非模板抽象基类：创建不依赖模板参数的基类，作为所有shape模板实例的公共接口，确保多态调用可行。
2. 调整模板基类继承关系：让shape<T>继承自这个非模板基类，转发公共接口的虚函数。
3. 使用统一接口持有实例：在主逻辑中用非模板基类的指针/智能指针动态持有不同派生类实例。

修改后的完整代码 #

#include <iostream>
#include <memory>

// 非模板公共基类：提供统一的多态接口
class ShapeBase {
public:
    virtual ~ShapeBase() = default; // 必须声明虚析构，确保派生类正确销毁
    virtual void draw() = 0;
    virtual void printArea() = 0; // 用输出替代不同类型的返回值，避免类型不匹配
};

// 模板基类继承自非模板基类
template<typename T>
class shape : public ShapeBase {
public:
    virtual T getArea() = 0;
    // 实现公共接口的虚函数，转发到模板类的getArea
    void printArea() override {
        std::cout << "Area: " << getArea() << "\n";
    }
};

class rectangleInt : public shape<int> {
private:
    int width, height;
public:
    rectangleInt(int w, int h) : width(w), height(h) {}
    void draw() override { std::cout << "Int Rectangle\n"; }
    int getArea() override { return width * height; }
};

class rectangleDouble : public shape<double> {
private:
    double width, height;
public:
    rectangleDouble(double w, double h) : width(w), height(h) {}
    void draw() override { std::cout << "Double Rectangle\n"; }
    double getArea() override { return width * height; }
};

int main() {
    bool useInt = false; // 可通过外部参数动态修改
    std::unique_ptr<ShapeBase> shapePtr; // 用智能指针管理实例

    // 根据参数动态选择派生类
    if (useInt) {
        shapePtr = std::make_unique<rectangleInt>(2, 3);
    } else {
        shapePtr = std::make_unique<rectangleDouble>(2.5, 3.5);
    }

    // 统一调用接口
    shapePtr->draw();
    shapePtr->printArea();

    return 0;
}

额外说明 #

如果必须返回不同类型的getArea值，可以使用std::variant或类型擦除技术，但上述方案是最简洁的动态选择派生类的实现方式，避免了复杂的类型处理。

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