лямбда внутри индексатора итератора

Question

Наличие лямбды в индексе оператора, похоже, не работает для 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

Это описано в [dcl.attr.grammar]. Имея два последовательных [ является атрибутом, так что вам придется обернуть в скобках или сделать что-то еще, чтобы сделать ваше намерение ясно:

Two consecutive left square bracket tokens shall appear only when introducing an attribute-specifier or within the balanced-token-seq of an attribute-argument-clause. [ Note: If two consecutive left square brackets appear where an attribute-specifier is not allowed, the program is ill-formed even if the brackets match an alternative grammar production. —end note ][ Example:

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. 
} 

—end example ]

Answer 2

Вы должны вставить лямбда в круглые скобки. В противном случае компилятор рассматривает два [[ как введение атрибута.

Аналогичная проблема может возникнуть при использовании оператора delete. Например, вы должны написать

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

или

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

что вы должны заключить в скобки лямбда.

Answer 3

Вы можете обернуть аргумент со скобками

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