C++模板类作为接口传参时Container<Child>无法转为Container<Papa>的解决方案

C++的模板类实例相互独立，即便模板参数存在继承关系，实例化得到的类也没有任何继承或默认转换关系。因此Container<Papa>和Container<Child>是完全无关的两个类型，无法直接隐式转换。

• 方案1：改造myFunction为模板函数，适配不同参数的Container
  无需修改Container的实现，仅调整函数定义即可：

// 全C++版本兼容写法
template <typename T>
void myFunction(Container<T> container) {
    // 原有函数逻辑，只要T为Papa或其派生类时逻辑可正常运行即可
}

// C++20及以上可添加约束，限制仅允许Papa派生类的Container传入
#include <type_traits>
template <typename T>
requires std::is_base_of_v<Papa, T>
void myFunction(Container<T> container) {
    // 原有函数逻辑
}

• 方案2：为Container添加泛型转换构造函数，支持派生类模板参数转换
  无需修改业务调用逻辑，仅扩展Container的实现即可：

#include <type_traits>
template <typename T>
class Container {
public:
    // 原有构造、成员函数逻辑...

    // 泛型转换构造函数
    template <typename U>
    Container(const Container<U>& other) {
        // 低版本C++可使用静态断言做编译期校验
        static_assert(std::is_base_of_v<T, U>, "Container的模板参数U必须是T的派生类");
        // 实现容器内容的拷贝逻辑，将other的元素存入当前容器
    }

    // 对应移动构造可按需实现
    template <typename U>
    Container(Container<U>&& other) {
        static_assert(std::is_base_of_v<T, U>, "Container的模板参数U必须是T的派生类");
        // 实现移动逻辑
    }
};

改造完成后原有myFunction的定义和调用逻辑都不需要调整，Container<Child>会自动调用转换构造生成Container<Papa>临时对象传入函数。

• 方案3：类型擦除实现统一的Container<Papa>接口
  如果需要对外仅暴露Container<Papa>作为公共接口，不希望对外暴露模板实现，可以通过类型擦除封装Container的内部实现，让不同模板参数的Container都可以统一以Container<Papa>的形式对外提供服务。该方案实现复杂度较高，适合公共SDK、核心接口封装的场景。

注意：如果Container内部直接存储类对象而非指针/智能指针，将Container<Child>转换为Container<Papa>时会发生对象切片，Child类的独有成员会被截断丢失。如果需要保留派生类的完整信息，建议Container内部存储std::shared_ptr<Papa>或std::unique_ptr<Papa>，避免对象切片问题。

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