C++替换同签名lambda时出现类型不匹配编译报错问题

• C++标准明确规定，每个lambda表达式都会生成一个独一无二的匿名闭包类型，哪怕两个lambda的参数列表、返回值、函数实现完全一致，二者的类型也是完全独立、不存在隐式转换关系的不同类型。
• 示例中的RestApiImpl是类模板，当用第一个lambdaget构造api对象时，模板参数F会被推导为get对应的独有闭包类型，类中register_get方法的参数类型也随之被固定为这个闭包类型。
• 后续传入的get1是另一个lambda，对应完全不同的闭包类型，自然无法匹配参数类型，触发编译错误。
• 报错信息里两个类型看起来名字完全相同，是因为编译器输出匿名类型名时只会标注所属作用域和调用签名，不会打印区分不同lambda的内部唯一标识，才会出现「无法把某个类型转换为同名字的同类型」的反直觉报错。

最通用、实现成本最低的方案是用std::function做类型擦除，不再将整个类设为模板，固定存储指定签名的可调用对象即可，同时支持先实例化对象、后续再注册/替换仿函数的需求：

#include <concepts>
#include <functional>
#include <iostream>
#include <string>

class RestApiImpl {
    // 固定存储签名为 void(int, float) 的可调用对象
    std::function<void(int, float)> m_get_method;
public:
    // 支持默认构造，不需要初始化时就传入仿函数
    RestApiImpl() = default;

    // 注册接口接收所有符合调用签名的可调用对象
    template<std::invocable<int, float> F>
    void register_get(F&& functor) {
        m_get_method = std::forward<F>(functor);
    }

    // 示例：调用存储的仿函数
    void invoke_get(int a, float b) {
        if (m_get_method) { // 判断是否已注册有效方法
            m_get_method(a, b);
        }
    }
};

int main(){
    RestApiImpl api; // 先实例化对象
    
    auto get = [](int, float){ 
        std::cout << "call first get impl\n";
    };
    api.register_get(get);
    api.invoke_get(1, 2.3f);
    
    auto get1 = [](int, float){ 
        std::string dummy = "dummy";
        std::cout << "call second get impl\n";
    };
    api.register_get(get1); // 正常编译，可任意替换同签名实现
    api.invoke_get(4, 5.6f);
    
    return 0;
}

如果对运行时开销极其敏感，不想使用std::function的类型擦除成本，也可以自行实现固定签名的零开销可调用对象包装器，但绝大多数业务场景下std::function的性能完全足够，代码可维护性也更高。

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