Lambda chụp và tham số có cùng tên - ai làm bóng cho người khác? (tiếng kêu vs gcc)

auto foo = "You're using g++!";
auto compiler_detector = [foo](auto foo) { std::puts(foo); };
compiler_detector("You're using clang++!");

• clang ++ 3.6.0 và mới hơn in ra "Bạn đang sử dụng clang ++!" và cảnh báo về việc bắt giữ foo không được sử dụng.

• g ++ 4.9.0 và mới hơn in ra "Bạn đang sử dụng g ++!" và cảnh báo về thông số foo không được sử dụng.

Trình biên dịch nào chính xác hơn theo tiêu chuẩn C ++ ở đây?

ví dụ về hộp đựng đũa

Cập nhật: như lời hứa của chủ tịch Core trong trích dẫn dưới cùng, mã hiện không được định dạng :

Nếu một định danh trong một đơn giản chụp xuất hiện như là declarator-id của một tham số của lambda-declarator 's tham số-khai-khoản , chương trình là vô hình thành.

Có một vài vấn đề liên quan đến việc tra cứu tên trong lambdas một thời gian trước đây. Họ đã được giải quyết bằng N2927 :

Từ ngữ mới không còn phụ thuộc vào việc tra cứu để sử dụng lại các thực thể bị bắt. Nó phủ nhận rõ ràng hơn những diễn giải rằng câu lệnh ghép của lambda được xử lý trong hai lần hoặc bất kỳ tên nào trong câu lệnh ghép đó có thể giải quyết cho một thành viên của kiểu đóng.

Tra cứu luôn được thực hiện trong ngữ cảnh của biểu thức lambda , không bao giờ "sau" chuyển đổi thành thân hàm thành viên của kiểu đóng. Xem [expr.prim.lambda] / 8 :

Câu lệnh ghép của biểu thức lambda mang lại thân hàm ([dcl.fct.def]) của toán tử gọi hàm, nhưng với mục đích tra cứu tên, [đùa], câu lệnh ghép được xem xét trong ngữ cảnh của các lambda-biểu . [ Ví dụ :

struct S1 {
  int x, y;
  int operator()(int);
  void f() {
    [=]()->int {
      return operator()(this->x+y);  // equivalent to: S1::operator()(this->x+(*this).y)
                                     // and this has type S1*
    }; 
  }
};

- ví dụ cuối ]

_{(Ví dụ cũng làm rõ rằng việc tra cứu không bằng cách nào đó xem xét thành viên chụp được tạo ra của kiểu đóng.)}

Tên fookhông được khai báo lại trong bản chụp; nó được khai báo trong khối kèm theo biểu thức lambda. Tham số foođược khai báo trong một khối được lồng trong khối bên ngoài đó (xem [basic.scope.block] / 2 , cũng đề cập rõ ràng đến các tham số lambda). Thứ tự tra cứu rõ ràng từ khối bên trong đến khối bên ngoài . Do đó tham số nên được chọn, nghĩa là Clang đúng.

Nếu bạn định chụp ảnh bắt đầu, tức là foo = ""thay vì foo, câu trả lời sẽ không rõ ràng. Điều này là do việc chụp hiện thực sự gây ra một tuyên bố có "khối" không được đưa ra. Tôi nhắn tin cho cái ghế cốt lõi này, ai trả lời

Đây là vấn đề 2211 (một danh sách các vấn đề mới sẽ sớm xuất hiện trên trang web open-std.org, thật không may, chỉ với những người giữ chỗ cho một số vấn đề, trong đó đây là một vấn đề; Tôi đang nỗ lực để lấp đầy những khoảng trống đó trước Kona họp vào cuối tháng). CWG đã thảo luận về vấn đề này trong buổi hội thảo từ xa vào tháng 1 của chúng tôi và hướng đi là làm cho chương trình không thành hình nếu tên chụp cũng là tên tham số.

Tôi đang cố gắng tập hợp một vài bình luận cho câu hỏi để cho bạn một câu trả lời có ý nghĩa.
Trước hết, lưu ý rằng:

• Các thành viên dữ liệu không tĩnh được khai báo cho lambda cho mỗi biến được sao chép
• Trong trường hợp cụ thể, lambda có kiểu đóng có toán tử gọi hàm mẫu nội tuyến công khai chấp nhận tham số có tên foo

Do đó, logic sẽ khiến tôi nói ngay từ cái nhìn đầu tiên rằng tham số sẽ che đi biến bị bắt như thể trong:

struct Lambda {
    template<typename T> void operator()(T foo) const { /* ... */ }
    private: decltype(outer_foo) foo{outer_foo};
};

Dù sao, @nm lưu ý chính xác rằng các thành viên dữ liệu không tĩnh được khai báo cho các biến được sao chép thực sự không được đặt tên. Điều đó đang được nói, thành viên dữ liệu chưa được đặt tên vẫn được truy cập bằng phương tiện định danh (nghĩa là foo). Do đó, tên tham số của toán tử gọi hàm vẫn nên (để tôi nói) bóng định danh đó .
Như được chỉ ra chính xác bởi @nm trong các bình luận cho câu hỏi:

thực thể bị bắt ban đầu [...] phải được tạo bóng bình thường theo quy tắc phạm vi

Do đó, tôi muốn nói rằng tiếng kêu là đúng.