iterator indeksu lambda wewnątrz indeksu

Question

Posiadanie lambda w operatorze podrzędnym wydaje się nie działać dla g ++ i clang.

Czy jest to błąd implementacyjny, czy "nieszczęśliwa" reguła w standardzie C++?

Przykład:

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 
} 

Błąd:

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[ [](){} ]; 

Wiem, że atrybuty zaczyna się od "[[", ale zastanawiam się, że "[[" (z jednym lub więcej spacji) również działa tak:

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

Answer 1

ta jest pokryta [dcl.attr.grammar]. Posiadanie dwóch kolejnych [ jest atrybutem, więc będziesz musiał zawinąć w nawiasach lub zrobić coś innego, aby twój zamiar jasne:

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

Musisz zamknąć lambdę w nawiasie. W przeciwnym razie kompilator uznaje dwa [[ za wprowadzenie atrybutu.

Podobny problem może wystąpić przy użyciu operatora delete. Na przykład trzeba napisać

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

lub

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

to trzeba ująć lambda w nawiasach.

Answer 3

Można owinąć argument z nawiasami

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