lambda有不同的类型吗？

每个lambda都应该有一个唯一的未知类型..是否保证同一范围内的两个lambda具有不同的类型？

int main() {
   auto l1 = [](){};
   auto l2 = [](){};   
  static_assert(std::is_same::value == false, "Types cannot be equal!");
}

这有效,但我想知道是否保证断言永远不会触发.

是的,每个lambda表达式都会产生一个唯一的类型([expr.prim.lambda]/3):

lambda-expression的类型(也是闭包对象的类型)是一个唯一的,未命名的nonunion类类型 - 称为闭包类型 - 其属性如下所述.

[强调补充]