Tại sao "chuyển đổi con trỏ lambda thành chức năng" ẩn chứa "chụp tham chiếu" các thành viên tĩnh?

Question

Tiêu chuẩn C++ 11 nói (hoặc ít nhất, phiên bản tôi có - không phải là chính thức một):

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

Tôi hiểu tại sao không thể lấy con trỏ hàm từ lambda stateful vì con trỏ hàm không thể tự giữ bất kỳ dữ liệu nào. Tuy nhiên, khi các đối tượng bị bắt chỉ là một thành viên tĩnh/biến tĩnh, không có giới hạn như vậy vì các tham chiếu đến các đối tượng đã chụp có thể được hardwired trong chính hàm đó.

struct A { 
    static int count = 0; 
    void foo() { 
     static int bar = 0; 
     auto fun = [&]()->void { 
      count++; 
      bar++; 
     }; 
     void(*ptrFun)(); 
     ptrFun = fun; // forbidden by the quoted wording 
    } 
}; 

Tại sao không phải lúc nào cũng có thể chuyển đổi lambda thành con trỏ hàm ngay khi trước đây là trạng thái không trạng thái? Tôi có thiếu một cái gì đó hay không ủy ban đã quên điểm cụ thể này?

Answer 1

A::count không cần phải bị bắt. Chỉ có this và các biến cục bộ cần được chụp. Các biến có thời gian lưu trữ tĩnh (ví dụ: các thành viên dữ liệu tĩnh, biến phạm vi không gian tên hoặc biến tĩnh cục bộ) không cần phải được giữ vì chúng là "duy nhất". Có chính xác một ví dụ của mỗi biến như vậy, do đó, một tham chiếu đến đối tượng không cần phải được chụp.

Nếu bạn xóa ảnh chụp mặc định khỏi lambda của mình (tức là, thay đổi [&] thành []) và xác định count, nó sẽ biên dịch mà không có lỗi. (Tôi đã xác minh rằng cả Visual C++ 2012 RC và g ++ 4.5.1 chấp nhận mã, thay đổi duy nhất tôi phải thực hiện là di chuyển khởi tạo nội tuyến của count, vì không có trình biên dịch nào hỗ trợ tính năng C++ 11.)