嵌套模板参数推导问题：如何避免重复指定输出类型？

你遇到的核心问题是：当显式指定函数模板的返回类型T后，编译器无法将未指定模板参数的TestStruct{}自动推导为TestStruct<T>——因为无参构造的类模板实例没有足够的推导依据，导致无法匹配函数模板的U<T>参数类型。

方案1：让编译器自动推导所有模板参数（最简洁） #

不需要显式指定T，直接传递明确类型的TestStruct<T>实例，编译器会自动推导T和模板模板参数U：

template<typename T>
struct TestStruct {};

template<typename T, template<typename> class U>
T testFunc(U<T> arg)
{
  return T{0};   
}

int main()
{
    testFunc(TestStruct<double>{}); // 编译通过，自动推导T=double，U=TestStruct
}

方案2：显式指定返回类型并强制类型一致 #

通过类型萃取提取TestStruct的内部模板类型，同时添加约束确保显式指定的返回类型与参数的模板类型一致：

#include <type_traits>

template<typename T>
struct TestStruct {};

// 类型萃取器：从TestStruct<T>中提取内部类型T
template<typename>
struct extract_inner_type;

template<typename T>
struct extract_inner_type<TestStruct<T>> {
    using type = T;
};

template<typename U>
using extract_inner_type_t = typename extract_inner_type<U>::type;

// 函数模板：支持自动推导或显式指定返回类型
template<typename Ret = void, typename U>
auto testFunc(U arg) -> std::enable_if_t<
    std::is_void_v<Ret> || std::is_same_v<extract_inner_type_t<U>, Ret>,
    std::conditional_t<std::is_void_v<Ret>, extract_inner_type_t<U>, Ret>
> {
    using T = std::conditional_t<std::is_void_v<Ret>, extract_inner_type_t<U>, Ret>;
    return T{0};
}

int main()
{
    testFunc(TestStruct<double>{});         // 自动推导返回double
    testFunc<double>(TestStruct<double>{}); // 显式指定返回double，编译通过
    // testFunc<int>(TestStruct<double>{}); // 编译失败，确保返回类型与参数模板类型一致
}

方案3：利用默认参数省略对象构造 #

如果不需要传递自定义构造的TestStruct实例，可以给函数参数设置默认值，直接指定T和模板模板参数U即可：

template<typename T>
struct TestStruct {};

template<typename T, template<typename> class U>
T testFunc(U<T> arg = U<T>{})
{
  return T{0};   
}

int main()
{
    testFunc<double, TestStruct>(); // 编译通过，无需显式构造TestStruct<double>
}

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