Quy tắc tra cứu là gì khi gọi hàm từ lambda?

Question

Ví dụ sau đây chứng tỏ vấn đề tôi gặp phải trong VC++ 2010:

class Foo 
{ 
    template<class T> 
    static T foo(T t) { return t; } 

public: 
    void test() 
    { 
     auto lambda = []() { return foo(1); }; // call to Foo::foo<int> 
     lambda(); 
    } 
}; 

VC++ sản ​​xuất: lỗi C3861: 'foo': nhận dạng không tìm thấy

Nếu tôi đủ điều kiện cuộc gọi đến foo: Foo::foo(1); sau đó ví dụ này biên dịch với cảnh báo: Cảnh báo C4573: việc sử dụng 'Foo::foo' yêu cầu trình biên dịch bắt giữ 'this' nhưng chế độ chụp mặc định hiện tại không cho phép

Tiêu chuẩn nói gì về trường hợp này? Tên không đủ tiêu chuẩn được tìm thấy? Tên đủ điều kiện có yêu cầu chụp this không?

Answer 1

Microsoft đã gặp sự cố này được báo cáo trong một số trường hợp. Xem:

Scope Resolution with lambdas interferes with namespace and type resolution

Template resolution in lambdas

Như bạn đã phát hiện ra, độ phân giải rõ ràng cho phép nó để tìm tên. Có một cảnh báo bổ sung về điều này cũng là một lỗi trình biên dịch (độ phân giải tên không yêu cầu quyền truy cập vào điều này, mặc dù tôi có thể thấy cách thực hiện trình biên dịch có thể yêu cầu nó) - đó là một lỗi riêng biệt. Microsoft đã xác nhận đây là một lỗi và đã chuẩn bị một bản sửa lỗi cho bản phát hành tiếp theo.

Answer 2

Các biên dịch sau đây tốt. Dường như với tôi rằng đây chỉ là một lỗi VS với các mẫu.

struct Foo { 
    static void foo() {} 
    void bar() { 
     auto f = []() { foo(); }; 
     f(); 
    } 
};