下标迭代器内的 lambda

Question

在下标运算符中包含 lambda 似乎不适用于 g++ 和 clang。

这是实现错误还是 c++ 标准中的“不愉快”规则？

例子：

class A
{   
    public:
        template<typename T> void operator[](T) {}
        template<typename T> void operator()(T) {}
};  

int main()
{   
    A a;
    a[ [](){} ];    // did not compiler: see error message
    a( [](){} );    // works as expected
} 

错误：

main.cpp:13:6: error: two consecutive '[' shall only introduce an attribute before '[' token
     a[ [](){} ];
      ^   
main.cpp:13:15: error: expected primary-expression before ']' token
     a[ [](){} ];

我知道属性以“[[”开头，但我想知道“[[”（带有一个或多个空格）也可以这样工作：

 void func( int x [ [gnu::unused] ] ) {} // compiles fine! :-(

Answer 1

您必须将 lambda 括在括号中。否则编译器会将两个[[ 视为引入一个属性。

使用 operator delete 可能会出现类似的问题。例如你必须写

delete ( [] { return ( new int() ); }() );

或

delete [] ( [] { return ( new int[10] ); }() );

也就是说，您必须将 lambda 括在括号中。

Answer 2

这在 [dcl.attr.grammar] 中有介绍。有两个连续的[ 是一个属性，所以你必须用括号括起来或做其他事情来明确你的意图：

两个连续的左方括号标记仅在引入属性说明符时或在其中出现 attribute-argument-clause 的 balanced-token-seq。 [注：如果出现两个连续的左方括号 在不允许使用 属性说明符 的情况下，程序是非良构的，即使括号匹配替代语法产生式。 ——尾注] [示例：

int p[10];
void f() {
  int x = 42, y[5];
  int(p[[x] { return x; }()]);   // error: invalid attribute on a nested
                                 // declarator-id and not a function-style cast of
                                 // an element of p.
  y[[] { return 2; }()] = 2;     // error even though attributes are not allowed
                                 // in this context.
  int i [[vendor::attr([[]])]];  // well-formed implementation-defined attribute.
}

——结束示例]

Answer 3

你可以用括号括起来参数

a[ ( [](){} ) ];