Thịt cừu có nhiều loại khác nhau không?

Question

Mỗi lambda nên có một loại không xác định duy nhất .. là nó đảm bảo rằng hai lambdas vào cùng một phạm vi có các loại khác nhau?

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

Tác phẩm này nhưng tôi muốn biết nếu nó được đảm bảo rằng khẳng định sẽ không bao giờ kích hoạt.

Answer 1

Vâng, mỗi biểu thức lambda tạo ra một loại duy nhất ([expr.prim.lambda]/3):

Các loại lambda-biểu thức (mà cũng là kiểu của đối tượng đóng) là một duy nhất, loại không phải là loại không hợp nhất - được gọi là loại đóng - có các đặc tính được mô tả bên dưới.

[nhấn mạnh thêm]