为何带自定义推导指引的构造函数无法传入Lambda？

问题场景 #

原本单模板参数的Test类搭配自定义推导指引，传入自由函数和Lambda都能正常工作；但新增MsgType模板参数后，只有自由函数能匹配推导指引，Lambda会触发class template argument deduction failed错误。

原因分析 #

1. 自由函数的匹配逻辑：自由函数可以隐式转换为SendFunctor<MsgType>（即函数指针类型void(*)(MsgType&)），刚好能匹配自定义推导指引的参数类型，编译器可以顺利推导出MsgType和T两个模板参数。
2. Lambda的匹配逻辑：Lambda表达式（即使是无捕获的）本质是匿名闭包类型，并非函数指针类型，无法匹配推导指引中限定的SendFunctor<MsgType>参数。而修改后的Test类有两个模板参数，编译器没有其他推导规则可以自动推导出MsgType和T，因此报错。

解决方法 #

方法1：补充泛型推导指引（适配所有可调用对象） #

添加一个针对任意可调用类型T的推导指引，直接指定MsgType为Message（符合构造函数内实际使用的消息类型）：

template<typename MsgType, typename T>
struct Test {
    Test(T t) {
        Message msg;
        t(msg);
    }
};

// 保留原有的针对函数指针的推导指引
template<typename MsgType>
Test(SendFunctor<MsgType>) -> Test<Message, SendFunctor<MsgType>>;

// 新增针对任意可调用对象的推导指引
template<typename T>
Test(T) -> Test<Message, T>;

这样无论是Lambda、函数对象还是自由函数，都能被正确推导。

方法2：实现目标推导逻辑（根据可调用对象的参数推导MsgType） #

如果需要根据可调用对象的参数类型自动推导MsgType，可以借助模板元编程提取参数类型：

#include <type_traits>

template<typename MsgType>
using SendFunctor = void(*)(MsgType&);
struct Message {};

// 辅助模板：提取可调用对象的第一个参数类型
template<typename T>
struct ExtractFirstArg;

// 针对函数指针的特化
template<typename Ret, typename Arg>
struct ExtractFirstArg<Ret(*)(Arg&)> {
    using type = std::remove_reference_t<Arg>;
};

// 针对无捕获Lambda的特化（匹配operator()）
template<typename Lambda, typename Ret, typename Arg>
struct ExtractFirstArg<Ret(Lambda::*)(Arg&) const> {
    using type = std::remove_reference_t<Arg>;
};

template<typename T>
using ExtractFirstArgT = typename ExtractFirstArg<decltype(&T::operator())>::type;

// 修改后的Test类
template<typename MsgType, typename T>
struct Test {
    Test(T t) {
        MsgType msg;
        t(msg);
    }
};

// 针对函数指针的推导指引
template<typename MsgType>
Test(SendFunctor<MsgType>) -> Test<MsgType, SendFunctor<MsgType>>;

// 针对Lambda/函数对象的推导指引
template<typename T>
Test(T) -> Test<ExtractFirstArgT<T>, T>;

这个方案可以自动根据可调用对象的参数类型推导MsgType，同时兼容自由函数和Lambda。

方法3：显式转换Lambda为函数指针（简单但不灵活） #

对于无捕获Lambda，可以显式转换为SendFunctor<Message>类型：

// 使用时
Test test(static_cast<SendFunctor<Message>>([](Message& msg) { /* ... */ }));

但这种方法仅适用于无捕获Lambda，灵活性较差，不推荐作为通用解决方案。

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