Loại lambda là gì khi suy ra với Tự động hóa trong C ++ 11?

Tôi đã có một nhận thức rằng, loại lambda là một con trỏ hàm. Khi tôi thực hiện kiểm tra sau, tôi thấy nó sai ( bản demo ).

#define LAMBDA [] (int i) -> long { return 0; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok
  assert(typeid(pFptr) == typeid(pAuto));  // assertion fails !
}

Là mã trên thiếu bất kỳ điểm nào? Nếu không thì typeofbiểu thức lambda khi suy ra với autotừ khóa là gì?

Loại biểu thức lambda là không xác định.

Nhưng chúng thường chỉ là đường cú pháp cho functor. Một lambda được dịch trực tiếp thành một functor. Bất cứ thứ gì bên trong []đều được biến thành các tham số của hàm tạo và các thành viên của đối tượng functor và các tham số bên trong ()được biến thành các tham số cho functor operator().

Một lambda không có biến (không có gì bên trong []) có thể được chuyển đổi thành một con trỏ hàm (MSVC2010 không hỗ trợ điều này, nếu đó là trình biên dịch của bạn, nhưng chuyển đổi này là một phần của tiêu chuẩn).

Nhưng loại thực tế của lambda không phải là một con trỏ hàm. Đó là một số loại functor không xác định.

Nó là một cấu trúc không tên duy nhất làm quá tải toán tử gọi hàm. Mỗi phiên bản của lambda giới thiệu một loại mới.

Trong trường hợp đặc biệt của lambda không bắt, cấu trúc ngoài ra có một chuyển đổi ngầm định thành một con trỏ hàm.

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

Mệnh đề đi vào danh sách các thuộc tính khác nhau của loại này. 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 thể hiện có một công inlinehà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 hiện của tham số-khai-khoản và trailing-trở-type tương ứng. [..]

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

Hậu quả của đoạn văn cuối cùng này là, nếu bạn đã sử dụng một chuyển đổi, bạn sẽ có thể gán LAMBDAcho pFptr.

#include <iostream>
#include <typeinfo>

#define LAMBDA [] (int i)->long { return 0l; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok

  std::cout<<typeid( *pAuto ).name() << std::endl;
  std::cout<<typeid( *pFptr ).name() << std::endl;

  std::cout<<typeid( pAuto ).name() << std::endl;
  std::cout<<typeid( pFptr ).name() << std::endl;
}

Các loại chức năng thực sự giống nhau, nhưng lambda giới thiệu loại mới (như functor).

Cũng cần lưu ý rằng lambda có thể chuyển đổi thành con trỏ hàm. Tuy nhiên, typeid <> trả về một đối tượng không phải là đối tượng khác với lambda với con trỏ hàm chung. Vì vậy, bài kiểm tra cho typeid <> không phải là một giả định hợp lệ. Nói chung, C ++ 11 không muốn chúng tôi lo lắng về đặc tả loại, tất cả đều quan trọng nếu một loại nhất định có thể chuyển đổi thành loại mục tiêu.

Một giải pháp thực tế từ Làm thế nào tôi có thể lưu trữ một đối tượng boost :: bind như một thành viên của lớp? , thử boost::function<void(int)>hoặc std::function<void(int)>.