아래 첨자 내 람다

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

또는 괄호 안에 람다 묶어야 할 필요가있다

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

.

Answer 3

당신은 괄호

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