Loại lambdas nào được biên dịch thành?

Question

Như tôi biết tất cả các kiểu dữ liệu phải được biết tại thời gian biên dịch, và lambda không phải là một kiểu. Lambda có được dịch sang số anonymous struct with operator() hoặc std::function không?

Ví dụ,

std::for_each(v.begin(), v.end(), [](int n&){n++;}); 

Answer 1

Một biến thể của as-if rule, tiêu chuẩn C++ 11 nói :

§5.1.2/3 [..] An thực hiện có thể xác định loại đóng khác với những gì được mô tả dưới đây cung cấp này không làm thay đổi hành vi quan sát được của chương trình khác hơn bằng cách thay đổi:

- kích thước và/hoặc sự liên kết của các loại đóng cửa,

- cho dù kiểu đóng cửa là trivially copyable (khoản 9),

- cho dù kiểu đóng cửa là một lớp học tiêu chuẩn bố trí (khoản 9), hoặc

- cho dù kiểu đóng cửa là một lớp POD (Khoản 9).

Tôi tin rằng đây là ý nghĩa của mọi người khi họ nói rằng đó là unspecified. Tuy nhiên những gì đang được bảo đảm như đã nêu trong câu trả lời khác được như sau:

tác giả gốc: Lightness Races in Orbit

[C++11: 5.1.2/3]:Các loại lambda-biểu (mà cũng là kiểu của đối tượng đóng cửa) là loại không công khai duy nhất chưa được đặt tên - được gọi là loại đóng cửa - có thuộc tính là d được ghi dưới đây. Loại lớp này không phải là tổng hợp (8.5.1). Loại đóng cửa được khai báo trong phạm vi khối nhỏ nhất, phạm vi lớp học, hoặc phạm vi không gian tên chứa tương ứng lambda-biểu. [..]

Mệnh tiếp tục danh sách các thuộc tính của loại hình này khác nhau. Dưới đây là một số điểm nổi bật :

[C++11: 5.1.2/5]: Kiểu đóng cửa cho một lambda-biểu có một công inline hàm operator gọi (13.5.4) có các tham số và kiểu trả về được mô tả bởi các lambda-biểu 's tham số-khai-khoản và dấu-trở-type tương ứng. [..]

[C++11: 5.1.2/6]: Kiểu đóng cửa cho một lambda-biểu không có lambda-chụp có một tổ chức phi ảo không rõ ràng const chức năng chuyển đổi nào để con trỏ hoạt động có thông số tương tự và trả về các kiểu như toán tử gọi hàm của kiểu đóng. Giá trị trả về bởi chức năng chuyển đổi này sẽ là địa chỉ của một hàm đó, khi gọi, có tác dụng tương tự như cách gọi hàm operator gọi loại đóng của.

Answer 2

Một biểu thức lambda xây dựng một loại vô danh, với mỗi người có một kiểu khác nhau. Chúng không phải là triển khai std::function. Xem thêm thông tin được cung cấp ở đây: What is a lambda expression in C++11? và ở đây: How to convert a lambda to an std::function using templates

Bạn có thể tiết lộ các loại trên trình biên dịch cụ thể của bạn với một thủ thuật như thế này:

void foo(int); 

int main() { 
    auto a = []{ return 1; }; 
    auto b = []{ return 1; }; 

    foo(a); 

    foo(b); 

    return 0; 
} 

Biên soạn với kêu vang trên mac của tôi mang lại:

/Users/jcrotinger/ClionProjects/so_lambda_type/main.cpp:11:5: error: no matching function for call to 'foo' 
    foo(a); 
    ^~~ 
/Users/jcrotinger/ClionProjects/so_lambda_type/main.cpp:5:6: note: candidate function not viable: no known conversion from 
'<lambda at /Users/jcrotinger/ClionProjects/so_lambda_type/main.cpp:8:14>' to 'int' for 1st argument 
void foo(int); 
    ^
/Users/jcrotinger/ClionProjects/so_lambda_type/main.cpp:13:5: error: no matching function for call to 'foo' 
    foo(b); 
    ^~~ 
/Users/jcrotinger/ClionProjects/so_lambda_type/main.cpp:5:6: note: candidate function not viable: no known conversion from 
'<lambda at /Users/jcrotinger/ClionProjects/so_lambda_type/main.cpp:9:14>' to 'int' for 1st argument 
void foo(int); 

@Barry chỉ ra rằng bạn có thể sử dụng typeid để thay thế. Nếu tôi in ra typeid(a).name() và typeid(b).name() trên hệ thống của tôi, tôi nhận được:

Z4mainE3$_0 
Z4mainE3$_1 

mà demangle để

main::$_0 
main::$_1 

Chỉ muốn bao gồm này cho đầy đủ. Tôi thực sự tìm thấy phiên bản thông báo lỗi một chút thông tin hơn. :)

Answer 3

Từ §5.1.2.3 tiêu chuẩn:

Các loại lambda-biểu ... là một độc đáo, chưa đặt tên phi công đoàn kiểu lớp

Đó là loại riêng của nó. Mỗi lần. Ví dụ:

auto a = []{ return 1; }; 
auto b = []{ return 1; }; 

a và b nhất thiết phải có các loại khác nhau. Cả hai đều chuyển đổi thành std::function<int()>, nhưng không phải với nhau:

std::function<int()> c = a; // OK 
a = b; // NOPE 

Thêm một vài ví dụ khác để thêm một số rõ ràng:

decltype(a) a2 = a; // OK, explicitly specifying the correct type 

template <typename F> 
void foo(F f) { ... } 

foo(a); // calls foo<decltype(a)>, not foo<std::function<int()>