如何让泛型Lambda参数计数方案支持引用类型参数

原Lambda参数计数方案在处理接收引用类型参数的泛型Lambda时，会将其误判为可变参数（返回默认最大参数数50，并标记为可变参数）。例如测试代码中的lambda5 = [](int a, auto& b){}，实际参数数量为2，但被错误判定为50个可变参数。

问题原因 #

原方案中的any_argument结构体仅提供了到右值引用（T&&）的转换运算符，无法匹配Lambda中的非const左值引用参数（如auto&）。当尝试传递any_argument{}给左值引用参数时，转换失败，导致can_accept<Lambda, 2>::value为false。模板递归会继续向下查找更小的参数数量，直到达到默认最大数50——此时由于泛型Lambda的特性，编译器误判为可以接受50个参数，最终标记为可变参数。

修改方案 #

只需扩展any_argument的转换能力，让它能生成左值引用，即可匹配Lambda中的引用参数。修改后的any_argument结构体如下：

struct any_argument {
    // 支持右值引用参数
    template <typename T>
    operator T&&() const;

    // 新增：支持左值引用参数
    template <typename T>
    operator T&() const;
};

如果需要同时支持const T&类型的参数，可以再添加一个转换运算符：

template <typename T>
operator const T&() const;

效果验证 #

修改后，lambda5的参数计数会被正确识别为2，is_variadic为0，符合预期。其他Lambda的计数结果不受影响。

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