Các lambdas chung với các mảng có kích thước tĩnh là các đối số

Question

Là lambda hợp pháp sau (đa hình) hợp pháp C++ 14?

auto f = [](auto x[3]) { 
    x[0]; 
    x[1]; 
    // etc. 
}; 

GCC và Clang 4 chấp nhận mã, nhưng Visual Studio 2017 thì không. Nó có hợp pháp không?

error C3318: 'auto [3]': an array cannot have an element type that contains 'auto' 

Answer 1

Điều này là bất hợp pháp.

[dcl.array]/1, tôi nhấn mạnh:

Trong một tuyên bố TD trong đó D có dạng

D1 [ constant-expressionopt ] attribute-specifier-seqopt

và loại các định danh trong tờ khai T D1 là “có nguồn gốc-declarator-loại- danh sáchT ”, sau đó loại số nhận dạng của D là một loại mảng; nếu loại số nhận dạng của D chứa autoloại-specifier, chương trình không đúng định dạng.