使用指向模板接口的unique_ptr传递派生类对象的编译错误问题

这个问题我之前在写工厂模式代码时也踩过坑，本质是C++模板参数推导不会自动考虑继承关系导致的。咱们先拆解下错误原因：

当你调用someFun(Der<std::string>::getInstance())时，编译器需要推导someFun的模板参数T。传入的是std::unique_ptr<Der<std::string>>，但函数期望的是std::unique_ptr<Base<T>>&&——这两个智能指针的模板参数（Der<std::string>和Base<T>）是完全不同的类型，模板推导逻辑不会主动把Der向上转型成Base来匹配，所以编译器找不到合适的T，直接报错。

下面给你两种简单的解决办法：

方法一：显式指定模板参数 #

最直接的方式就是告诉编译器T的类型，让它不用自己推导：

someFun<std::string>(Der<std::string>::getInstance());

这样编译器明确知道T是std::string，就能把unique_ptr<Der<string>>隐式转换成unique_ptr<Base<string>>（智能指针原生支持向上转型的移动构造），顺利匹配函数。

方法二：修改someFun的模板参数设计 #

如果不想每次调用都显式指定参数，可以重构someFun，让它接受任意继承自Base<T>的子类智能指针，再自动推导T：

#include <type_traits>

template<typename Derived>
void someFun(std::unique_ptr<Derived>&& ptr) {
    // 先将子类智能指针向上转型为基类智能指针
    std::unique_ptr<Base<typename Derived::value_type>> base_ptr = std::move(ptr);
    // do sth with base_ptr
}

// 记得给派生类添加类型别名，方便推导T
template<typename T>
class Der : public Base<T> {
public:
    using value_type = T; // 添加这个类型别名
    static std::unique_ptr<Der> getInstance() {
        return std::make_unique<Der>();
    }
    T getParameter(T& param) override { return param; }
};

这种方式通过给派生类添加value_type别名，让someFun能自动提取对应的T类型，调用时就不用显式指定参数了。

另外补充个小细节：你的Der类里getInstance原本硬编码了std::string作为模板参数，改成上面的写法后，才能返回对应T类型的实例，更符合模板类的设计逻辑。

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