具有静态大小数组作为参数的通用lambdas

Question

以下是通用(多态)lambda合法C++ 14吗？

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

GCC和Clang 4接受代码,但Visual Studio 2017不接受.这合法吗？

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

Answer 1

这是非法的.

[dcl.array]/1,强调我的:

在TD的声明中,D表格

D1 [ constant-expressionopt ] attribute-specifier-seqopt

并且声明中标识符的类型T D1是" derived-declarator-type-list T ",那么标识符的D类型是数组类型; 如果标识符D的auto 类型包含类型说明符,则程序格式错误.