Sự khác biệt chữ ký giữa lambda có/không có biến bị bắt?

Question

Tôi đang chơi xung quanh với C++ 11 ngay bây giờ và tìm thấy vấn đề sau với việc sử dụng một lambda như gọi lại để sqlite. Khi chụp một biến vector bên trong lambda, tôi nhận được một lỗi nói rằng các chữ ký không khớp. Không sử dụng biến đó trong lambda ([] thay vì [&ret] và không sử dụng ret bên trong), nó hoạt động tốt.

vector<SomeClass> ret; 
char *err = nullptr; 
int res = sqlite3_exec(db, 
         "some sql query, doesn't matter", 
         [&ret](void *unused, int argc, char **argv, char **columnName) -> int 
         { 
          ret.push_back(SomeClass()); 
          return 0; 
         }, 
         nullptr, 
         &err); 

Đây là lỗi tôi nhận được:

cannot convert 'TestClass::testMethod()::<lambda(void*, int, char**, char**)>' to 'int (*)(void*, int, char**, char**)' for argument '3' to 'int sqlite3_exec(sqlite3*, const char*, int (*)(void*, int, char**, char**), void*, char**)' 

phiên bản GCC là "gcc (XvidVideo.RU - GCC 4.6.1 i686-pc-mingw32) 4.6.1 20.110.625 (phát hành trước)" trên Các cửa sổ.

Tại sao điều này tạo sự khác biệt?

Answer 1

Chỉ lambdas vô nghĩa có thể được chuyển đổi thành con trỏ để hoạt động, và, dựa trên chẩn đoán trình biên dịch, sqlite3_exec của bạn mong đợi con trỏ như vậy, int (*)(void*, int, char**, char**).

Để báo §5.1.2 [expr.prim.lambda]/6

Kiểu đóng cửa cho một lambda thể hiện không có lambda-chụp có chức năng chuyển đổi const không ảo không rõ ràng công cộng để trỏ tới hàm có cùng tham số và kiểu trả về như toán tử gọi hàm của kiểu đóng.

Answer 2

điều gì về việc sử dụng đối số thứ nhất để gọi lại?

vector<SomeClass> ret; 
char *err = nullptr; 
int res = sqlite3_exec(db, 
         "some sql query, doesn't matter", 
         [](void *ctx, int argc, char **argv, char **columnName) -> int 
         { 
          static_cast<vector<SomeClass>*>(ctx)->push_back(SomeClass()); 
          return 0; 
         }, 
         &ret, 
         &err);