如何实现接受任意类型可变引用的Lambda表达式？

你说得没错——当用auto（或auto&）作为Lambda的参数类型时，默认情况下编译器会允许传入const对象甚至字面量，这会导致参数被推导为const T&或者值类型，而你想要的是只接受可修改的非const左值引用。下面是几种可行的解决方法，分C++版本来介绍：

C++20及以上：用概念（Concepts）做编译期约束 #

C++20引入的概念可以直接在Lambda参数上添加约束，明确要求参数必须是非const的引用：

#include <type_traits>
#include <concepts>

// 定义一个复用的概念，要求类型是非const的
template <typename T>
concept NonConstReference = !std::is_const_v<std::remove_reference_t<T>>;

auto my_lambda = [](NonConstReference auto& param) {
    // 这里可以安全地修改param，因为它一定是非const的引用
    param = {};
};

或者更简洁地直接在Lambda里内嵌requires子句：

#include <type_traits>

auto my_lambda = [](auto& param) requires (!std::is_const_v<std::remove_reference_t<decltype(param)>>) {
    param = 42; // 示例修改操作
};

这样一来，任何尝试传入const对象、字面量或者右值的调用都会直接触发编译错误，完全符合你“仅接受可变引用”的需求。

C++17及以下：用static_assert做编译期检查 #

如果你还在使用C++17或更早的版本，可以用static_assert在Lambda内部做编译期断言，拒绝const类型：

#include <type_traits>

auto my_lambda = [](auto& param) {
    // 检查参数的底层类型是否为const，如果是则触发编译错误
    static_assert(
        !std::is_const_v<std::remove_reference_t<decltype(param)>>,
        "Lambda only accepts non-const lvalue references!"
    );
    
    param = {}; // 放心修改参数
};

测试示例 #

int main() {
    int mutable_int = 5;
    my_lambda(mutable_int); // ✅ 正常运行，参数是int&
    
    const int const_int = 10;
    my_lambda(const_int); // ❌ 编译错误：违反约束/断言
    
    my_lambda(3); // ❌ 编译错误：无法将字面量绑定到非const左值引用，或违反约束
}

补充说明 #

你提到的“调用my_lambda(3)时auto被替换为const int”的情况，应该是把Lambda参数写成了auto&——因为字面量是右值，无法绑定到非const左值引用，所以编译器会自动推导为const int&。而上面的方法恰好能阻止这种情况发生，确保只有可修改的左值能被传入。

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