C++11环境下lambda作为模板参数的实现与报错解决

• 你将F定义为模板模板参数（对应写法template<typename> typename F），但目标传入的lambda对应闭包是具体的非模板类类型，完全不符合模板模板参数的接收要求，这是编译器提示“invalid default argument for a template template parameter”的直接原因。
• C++11标准不允许在模板参数的默认值位置直接书写lambda表达式，因此decltype包裹匿名lambda的写法会直接触发语法解析错误，也就是提示的“expected unqualified-id”报错。
• C11中lambda对应的闭包类型没有默认构造函数，即便修正了模板参数的类型定义，你在函数内写的F f; 也无法成功构造出lambda实例——支持lambda默认可构造是C20才引入的特性。

C++11本身的语言限制决定了“直接在模板默认实参写匿名lambda、在函数内部默认构造lambda实例”的逻辑完全无法实现，要达成“支持传入自定义可调用逻辑、带默认处理规则”的目标，需要做两处核心调整：

1. 将F从模板模板参数调整为普通类型模板参数，不再要求传入类模板，而是接收任意可调用对象的具体类型。
2. 用显式定义的仿函数类替代匿名lambda当默认的可调用逻辑；同时调整lambda实例的传递方式：通过函数参数传入实际的lambda对象，而非在函数内部靠模板类型创建实例。

修改后的可编译代码示例：

#include <string>

// 替代默认透传lambda的显式仿函数
struct DefaultHandler {
    template <typename T>
    std::string operator()(const T& t) const {
        return std::to_string(t);
    }
    // 针对字符串类型做特化，实现原样返回的逻辑
    std::string operator()(const std::string& s) const {
        return s;
    }
};

template<typename T = std::string, typename F = DefaultHandler>
std::string func(const T &t, F f = F{}){
    return f(t);
}

匹配需求的调用方式 #

• 带默认逻辑的直接调用（对应你预期的func<>("abc")场景）：

func("abc"); // 自动推导T为const char*，使用默认的DefaultHandler处理，返回输入的字符串内容

• 传入自定义处理逻辑的调用（对应你预期的int转字符串场景）：

// 直接将lambda实例作为函数参数传入，无需显式写模板参数
func(2, [](int a){ return std::to_string(a); });

补充说明：如果你坚持要显式把lambda类型作为模板参数传入，在C++11下可以先将lambda绑定到具名的常量变量上，再通过decltype取类型传给模板——但这种写法依然需要把对应的lambda实例作为函数参数传入，无法在函数内部直接默认构造：

// 先定义具名lambda常量
const auto int_to_str = [](int a){ return std::to_string(a); };

// 显式传模板类型+lambda实例调用
func<int, decltype(int_to_str)>(2, int_to_str);

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