C++模板函数无法自动推导参数T，如何实现自动推导？

问题场景 #

原模板函数定义如下：

template <
    typename T,
    typename U,
    typename = std::enable_if<
        std::is_same_v<U, std::unique_ptr<T>> ||
        std::is_same_v<U, std::shared_ptr<T>>>>
T foo(U val) {
  if constexpr (std::is_same_v<U, std::unique_ptr<T>>) {
    return *val;
  }
  return *val;
}

尝试隐式推导调用时：

int x = foo(std::make_unique<int>(1));

触发编译错误：

Candidate template ignored: couldn't infer template argument 'T'

目前只能通过显式指定模板参数T来规避：

int x = foo<int>(std::make_unique<int>(1));

需要实现模板参数T的自动推导——T的类型显然包含在U（智能指针类型）中，但编译器无法自动传递。

解决方案 #

方法1：利用std::pointer_traits提取元素类型 #

简化模板参数，仅保留U，通过标准库的std::pointer_traits从智能指针类型中提取指向的元素类型T，同时保留原有类型约束：

#include <memory>
#include <type_traits>

template <
    typename U,
    typename = std::enable_if<
        std::is_same_v<U, std::unique_ptr<typename std::pointer_traits<U>::element_type>> ||
        std::is_same_v<U, std::shared_ptr<typename std::pointer_traits<U>::element_type>>>>
typename std::pointer_traits<U>::element_type foo(U val) {
  return *val;
}

此时无需显式指定T，调用即可正常推导：

int x = foo(std::make_unique<int>(1)); // 自动推导T为int

方法2：使用模板模板参数匹配智能指针 #

通过模板模板参数直接匹配std::unique_ptr和std::shared_ptr，让编译器直接从智能指针的模板参数中提取T：

#include <memory>
#include <type_traits>

template <template <typename> class Ptr, typename T>
std::enable_if_t<
    std::is_same_v<Ptr<T>, std::unique_ptr<T>> ||
    std::is_same_v<Ptr<T>, std::shared_ptr<T>>,
    T>
foo(Ptr<T> val) {
  return *val;
}

这种写法更直观，编译器能直接从传入的智能指针推导出Ptr（如std::unique_ptr）和T（如int），调用方式不变即可正常工作。

原因说明 #

原代码中T无法自动推导的核心原因是：std::enable_if中的条件属于非推导上下文。即使逻辑上T是U的模板参数，C++模板推导规则也不允许从这种约束条件反向推导参数。必须调整模板参数结构，让T能直接从U的类型结构中被推导出来。

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