模板与继承场景下std::unique_ptr的函数重载解析问题

嘿，这个问题我之前踩过坑！其实不是重载解析不支持继承多态，而是C++重载匹配的优先级规则在搞事情，咱们来捋清楚：

首先得明确两个关键点：

• std::make_unique<Derived>()返回的是std::unique_ptr<Derived>类型
• 第一个重载的参数是std::unique_ptr<Base>，要匹配它，需要把unique_ptr<Derived>隐式转换成std::unique_ptr<Base>（这个转换是合法的，因为Derived继承自Base）

而第二个模板重载template<class F> void call(F f)，编译器可以直接通过模板参数推导，把F精准匹配成std::unique_ptr<Derived>——这是零转换的完美匹配。

C++的重载解析规则里，「完美匹配」的优先级远高于「需要隐式转换的匹配」，所以编译器自然会优先选模板版本，而非第一个重载。

这里要纠正你的误解：重载解析是支持继承和多态的，但这里的问题出在重载函数的选择阶段，还没到多态调用的环节，是匹配优先级的问题，不是多态本身的问题。

有几种靠谱的办法，按需选择：

1. 显式转换参数（最简单直接） #

直接把返回值转换成std::unique_ptr<Base>，让第一个重载变成完美匹配：

call(static_cast<std::unique_ptr<Base>>(std::make_unique<Derived>()));

2. 用SFINAE约束模板重载，排除匹配unique_ptr<Base>的情况 #

给模板函数加个条件，让它只在参数不能转换成unique_ptr<Base>时才生效，这样当参数是unique_ptr<Derived>时，模板会被排除，编译器就会选第一个重载：

#include <type_traits>
#include <memory>
#include <iostream>

class Base {};
class Derived : public Base {};

void call(std::unique_ptr<Base> op) { 
    std::cout << "First overloading" << std::endl; 
}

template<class F>
// 只有当F不能转换成unique_ptr<Base>时，这个模板才参与重载
std::enable_if_t<!std::is_convertible_v<F, std::unique_ptr<Base>>>
call(F f) { 
    std::cout << "Second overloading" << std::endl; 
}

3. 调整重载结构，让Base版本更特化 #

你也可以把第一个重载改成针对unique_ptr<Base>的模板特化（不过更推荐用重载+SFINAE的方式，特化有时候会有坑）：

#include <memory>
#include <iostream>

class Base {};
class Derived : public Base {};

// 通用模板
template<class T>
void call(std::unique_ptr<T> op) {
    std::cout << "Second overloading" << std::endl;
}

// 针对Base的特化版本
template<>
void call(std::unique_ptr<Base> op) {
    std::cout << "First overloading" << std::endl;
}

如果想用这个版本让unique_ptr<Derived>也触发第一个重载，还得额外处理（比如在通用模板里判断是否是Base的派生类并转发），所以不如第二种方法灵活。

核心就是：模板推导的完美匹配优先级比需要隐式转换的非模板重载高。只要打破这个优先级平衡，要么让第一个重载变成完美匹配，要么让模板重载在这种场景下不参与匹配，就能达到你想要的效果。

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