Tiếp cận khái quát-bắt các đối tượng trong lambda trailing trở lại loại

Question

int main() 
{ 
    auto l = [x = 10]() -> decltype(x) {}; 
} 

• clang++ 4.0 rejects this code với các lỗi sau:

  error: use of undeclared identifier 'x' 
       auto l = [x = 10]() -> decltype(x) {}; 
               ^
  

• g++ 7 rejects this code với các lỗi sau:

  In function 'int main()': 
  error: 'x' was not declared in this scope 
      auto l = [x = 10]() -> decltype(x) {}; 
             ^
  error: 'x' was not declared in this scope 
  In lambda function: 
  warning: no return statement in function returning non-void [-Wreturn-type] 
      auto l = [x = 10]() -> decltype(x) {}; 
             ^
  

Đây có phải là lỗi hoặc có điều gì đó trong tiêu chuẩn ngăn chặn rõ ràng các đối tượng được chụp bằng cú pháp tổng quát C++ 14 không được sử dụng trong kiểu trả về theo sau của lambda không?

---

Lưu ý rằng cả hai trình biên dịch đang hạnh phúc với những ảnh chụp không khái quát hóa:

int main() 
{ 
    int x = 10; 
    auto l = [x]() -> decltype(x) { return 0; }; 
} 

Answer 1

TL; DR: Trình biên dịch như mong đợi.

Các tiêu chuẩn xác định ngữ nghĩa lambda như sau [expr.prim.lambda, phần 1]:

lambda-expression:

lambda-introducer lambda-declarator_opt compound-statement 

Đây hợp chất-tuyên bố chỉ là cơ thể của lambda giữa {}, vì mọi thứ khác được bao gồm trong lambda-declarator:

lambda-declarator:

(parameter-declaration-clause) decl-specifier-seq_opt 
     exception-specification_opt attribute-specifier-seq_opt trailing-return-type_opt 

Ngoài ra, trong mục 12 của chương cùng, nó nói rằng

An init-capture behaves as if it declares and explicitly captures a variable of the form “auto init-capture ;” whose declarative region is the lambda-expression’s compound-statement, except that:

(12.1) — if the capture is by copy (see below), the non-static data member declared for the capture and the variable are treated as two different ways of referring to the same object, which has the lifetime of the non-static data member, and no additional copy and destruction is performed, and

(12.2) — if the capture is by reference, the variable’s lifetime ends when the closure object’s lifetime ends.

Vì vậy, trong ví dụ đầu tiên của bạn, phạm vi biến số x chỉ là nội dung lambda, không bao gồm biểu thức decltype. Trong ví dụ thứ hai, rõ ràng, phạm vi x là hàm main.