C++模板参数推导：如何让带auto参数的lambda适配Action类？

你的result3无法编译的核心原因是：泛型lambda（参数为auto）的operator()是一个模板成员函数，而你原有的function_traits仅能处理非模板的const成员函数指针，无法匹配泛型lambda的operator()类型，导致to_function无法生成正确的std::function实例，后续类型推导链断裂。

我们可以直接简化Action的action模板，绕过std::function和function_traits的中间转换，直接推导调用f(a)后的返回类型。这样既支持普通lambda，也能完美处理泛型lambda。

修改后的完整代码如下：

template<typename A>
struct Action{
  A a;
  Action(A const& a_) : a(a_){}

  // 显式指定返回类型的重载，保留原有功能
  template<typename B>
  Action<B> action(std::function<B(A const&)> const& f) const{
    return Action<B>(f(a));
  }

  // 自动推导返回类型的重载，支持普通lambda和泛型lambda
  template<typename CallableT>
  auto action(CallableT const& f) const -> Action<decltype(f(a))> {
    return Action<decltype(f(a))>(f(a));
  }
};

void useAction(){
  Action<int> a(10);
  // 原有正常编译的代码
  auto result1 = a.action([](int a){return static_cast<double>(a);});
  auto result2 = a.action<double>([](auto a){return static_cast<double>(a);});

  // 现在可以正常编译了
  auto result3 = a.action([](auto a){return static_cast<double>(a);});
}

• 移除冗余工具类：原有的function_traits和to_function可以直接删除，因为我们不再需要将lambda转换为std::function来推导类型。
• 简化自动推导逻辑：新的action模板直接通过decltype(f(a))获取调用f(a)后的返回类型，直接构造Action<返回类型>实例。对于泛型lambda，编译器会自动实例化其operator()模板（传入A类型的a），从而确定返回类型。
• 兼容原有功能：保留了接受std::function的重载，确保result2这类显式指定返回类型的代码依然可以正常使用。

该方案在gcc 7.5和gcc 12.1下均能正常编译：

• gcc 7.5完全支持C++14的泛型lambda和decltype推导；
• gcc 12.1对C++14及更高标准的支持更为完善，无兼容性问题。

内容的提问来源于stack exchange，提问作者J.H.