Lambda表达式参数列表的限制与普通函数的参数列表限制非常相似，但有一些独特的细节和陷阱。

---

1. 参数类型的限制（技术上几乎没有）

从纯语法的角度看，Lambda表达式的参数类型几乎可以是任何有效的C++类型，就像普通函数一样：

• 内置类型： int, double, char*, 等等。
• 用户自定义类型： 类、结构体、枚举。
• 指针和引用： MyClass&, const std::string&, int*。
• 复杂类型： std::vector<int>, std::function<void()>。
• 移动语义： std::unique_ptr<T>&& (但需要注意所有权转移，见下文陷阱)。
• 可变参数 （C++11起）： template<class... Args> void f(Args... args) （但Lambda本身直接支持可变参数需要C++14，见第4点）。
• 自动类型推导 （C++14起）： 使用 auto 作为参数类型。

所以，技术上“不能”作为参数的类型非常少，主要是那些不完整类型或非法类型，这和普通函数是一样的。

---

2. 捕获列表 vs. 参数列表

这是一个关键区别，也是容易混淆的地方。限制主要存在于捕获列表，而不是参数列表。

• 参数列表： 传递的是临时值（或引用），生命周期在函数调用期间。调用者负责传递实参。
• 捕获列表： 捕获的是定义Lambda时的上下文变量，使其在Lambda体内可用。Lambda自身负责管理这些捕获的变量。

捕获列表的主要限制：

• 不能捕获静态存储期的变量（如全局变量、静态局部变量）。它们可以直接使用，无需捕获。

  static int global_static = 42;
  int main() {
      // 不需要捕获 global_static
      auto lambda = []() { std::cout << global_static; };
      lambda();
  }
  

• 按值捕获 ([=]) 默认是 const 的（在C++11/14中）。如果想修改按值捕获的副本，必须使用 mutable 关键字。

  int x = 1;
  auto lambda = [x]() mutable { // 没有 mutable 则无法编译
      x = 2; // 修改的是内部的副本，外部的 x 仍然是 1
      std::cout << x;
  };
  

• 捕获列表有特定的语法，如 [&], [=], [a, &b]，不能随便写。

---

3. 常见的“陷阱”和实际中的“不能”

1. 生命周期问题（悬空引用）：
   绝对不能在Lambda参数或捕获中持有对一个局部对象的引用，并在该对象销毁后调用Lambda。这是一个运行时错误，但编译器不会阻止你。

   std::function<const std::string&()> create_dangerous_lambda() {
       std::string local_str = "Very dangerous!";
       return [&]() -> const std::string& { return local_str; }; // 捕获了局部变量的引用
   } // local_str 在这里被销毁
   
   int main() {
       auto lambda = create_dangerous_lambda();
       std::cout << lambda(); //读取已销毁的内存
   }
   

2. 移动-only 类型的参数：
   你可以将 std::unique_ptr 作为参数，但不能按值传递（因为无法复制）。你必须按移动（std::move）或按引用传递。

   auto lambda = [](std::unique_ptr<int> ptr) { };
   
   std::unique_ptr<int> up = std::make_unique<int>(42);
   // lambda(up);        // 错误 因为尝试复制 unique_ptr
   lambda(std::move(up)); // 正确：移动所有权
   // 此后 up 为 nullptr
   

---

4. C++版本带来的特性（曾经的限制）

一些早期的限制在更新的C++标准中被解除了：

• C++11： Lambda参数不能使用 auto 进行类型推导。你必须明确指定类型。
• C++14： 引入了泛型Lambda，允许使用 auto 作为参数类型，编译器会将其推导为模板参数。

  // C++14 及以上
  auto generic_adder = [](auto a, auto b) { return a + b; };
  generic_adder(1, 2);    // OK, int
  generic_adder(1.5, 2.5);// OK, double
  

• C++14： 支持可变参数模板Lambda。

  // C++14 及以上
  auto print_all = [](auto... args) {
      (std::cout << ... << args); // C++17 折叠表达式
  };
  print_all(1, " ", 2.0, "\n");
  

• C++20： 允许Lambda在模板参数列表中使用熟悉的语法，并且可以显式指定模板参数。

  // C++20 及以上
  auto lambda = []<typename T>(T a, std::vector<T> vec) {
      // ... 使用类型 T
  };
  

---

总结

类别	限制/注意问题
语法类型	几乎没有。任何有效的函数参数类型都可以用。
捕获列表	不能捕获静态变量；按值捕获默认为const（需mutable）。
常见陷阱	绝对不能产生悬空引用；移动-only类型需用std::move。
历史限制	C++11不支持auto参数和可变参数模板（C++14解除）。