C++ 类模板如何从构造函数参数推导返回类型参数

首先明确C的核心语法边界：类模板无法通过构造函数的实参反向推导已指定之外的模板参数。你期望的execute<Policy1> exec3(lambda_float);写法，本质是希望在显式指定第一个模板参数（Policy策略）的前提下，让编译器自动从构造函数传入的lambda里提取第二个模板参数（返回值类型）——这在现有C规则下是无法实现的。模板参数的推导发生在类实例化阶段，早于构造函数的入参解析，只有函数模板具备从入参推导模板参数的能力。

1. 工厂函数封装（最成熟通用） #

你已经尝试的工厂函数方案是解决这类问题的标准做法，完全绕开类模板的推导限制。可以对现有实现做几处优化，提升兼容性：

• 把原execute类的构造函数从硬编码的ReturnType(*func)()函数指针入参，改成支持任意可调用对象的泛型构造，避免非捕获lambda的隐式转换限制
• 用完美转发传递可调用对象，减少不必要的拷贝开销

优化后的完整代码参考：

#include <utility>

// 原有策略类保持不变
template<typename ReturnType>
struct Policy1 {
    ReturnType launch(ReturnType(*func)()){
        /* 原有策略逻辑 */
        return func();
    }
};

template<typename ReturnType>
struct Policy2 {
    ReturnType launch(ReturnType(*func)()){
        /* 原有策略逻辑 */
        return func();
    }
};

// 调整后的execute类
template<template<class>class Policy, typename ReturnType>
class execute :Policy<ReturnType>
{
public:
    ReturnType res;
    // 泛型构造函数，适配任意可调用对象
    template<typename Callable>
    explicit execute(Callable&& func)
    {
        // 适配原有Policy要求的函数指针入参形式
        auto func_ptr = static_cast<ReturnType(*)()>(std::forward<Callable>(func));
        res = Policy<ReturnType>().launch(func_ptr);
    }
};

// 优化后的工厂函数
template<template<class>class Policy, typename Callable>
auto create_executor(Callable&& func)
{
    // 自动从可调用对象推导返回值类型
    using ReturnType = decltype(std::declval<Callable>()());
    return execute<Policy, ReturnType>(std::forward<Callable>(func));
}

实际调用时代码就可以简化到完全不用手写返回类型：

int main()
{
    auto lambda_int = [] {return int(1); };
    auto lambda_float = [] {return float(1.0f); };

    // 仅需要指定使用的策略，返回类型自动推导
    auto exec1 = create_executor<Policy1>(lambda_int);
    auto exec2 = create_executor<Policy2>(lambda_float);
}

2. 接近极简写法的补充优化 #

如果希望调用形式尽可能贴近你最初期望的极简风格，可结合C++17引入的类模板参数推导（CTAD）规则，给execute类补充推导指引：

// 类模板参数推导指引
template<template<class>class Policy, typename Callable>
execute(Callable) -> execute<Policy, decltype(std::declval<Callable>()())>;

注意：这种方式依然没法实现你写的execute<Policy1> exec3(lambda_float);语法——因为一旦显式指定了第一个模板参数Policy1，编译器就不会触发剩余模板参数的自动推导流程，必须手动补全第二个参数。这种写法仅在你不写任何模板参数的场景下生效。

• template<auto ReturnType>的写法不适用于这个场景：这类语法是用来声明非类型模板参数（即把编译期常量值作为模板参数），而我们需要传递的是类型，语法场景完全不匹配。
• 给ReturnType设置默认模板参数无法解决问题：类模板的参数推导和构造函数的入参解析是完全独立的流程，默认参数只是在模板参数缺失时提供兜底值，无法从构造函数实参中反向提取类型信息。

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