erişme generalize çekilen aşağıdaki hata ile dönüş türü

Question

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

• clang++ 4.0 rejects this code arka lambda nesneleri: aşağıdaki hata ile

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

• g++ 7 rejects this code:

  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) {}; 
             ^
  

Bu bir hata mıdır, yoksa standart olarak, C++ 14 genelleştirilmiş sözdizimi ile yakalanan nesnelerin lambda'nın son dönüş türünde kullanılmasını açıkça önleyen bir şey var mı? Her iki derleyiciler olmayan jeneralize yakalar memnun olduklarını

---

Not:

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

Answer 1

TL; DR: beklendiği gibi Derleyiciler davranırlar. her şey dahil olduğu için} {arasında lambda sadece beden

Burada

lambda-expression:

lambda-introducer lambda-declarator_opt compound-statement 

bileşiği ile açıklama aşağıdaki gibidir:

standart [expr.prim.lambda, bölüm 1] lambda anlamını tanımlar lambda-Bildiricisi içinde:

lambda-declarator:

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

Ayrıca aynı bölümün bölüm 12'de, bu söylenir

olduğunu

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.

Yani, ilk örneğinizde x kapsamı yalnızca decltype ifadesini içermeyen lambda gövdesidir. İkinci örnekte, açıkça, x kapsamı main işlevidir.