[] mutable {}がコンパイルされないのはなぜですか？

Question

これはコンパイル：

[]{}; 

だけでなく、この：

[]() mutable {}; 

しかし、このコードでは、コンパイラは私にエラーメッセージを投げる：

[] mutable {}; 
    ^~~~~~~ 
error: lambda requires '()' before 'mutable' 

は、なぜ特定の理由がありますか？

Answer 1

文法が標準に書かれているのは単なる結果です。これが監督かどうかわかりません。

ラムダ式はラムダイントロデューサ（括弧）で始まり、その後にオプションのラムダ宣言子が続きます。

ラムダ宣言子には、引数リスト、変更可能な属性、例外指定子、および戻り値の型が含まれています。これらはすべて引数リストを除いてオプションです。したがって、ラムダ宣言者がまったく存在する場合、かっこがそこになければなりません。

これは、可変キーワードを持つことができないためです。

Answer 2

セクション5.1.2 [expr.prim.lambda]をn4296（これはC++ 14の最終草稿）に示します。これは文法から抜け落ちる方法です。 mutableは、括弧を含むラムダ宣言者でのみ許可されています。ラムダ宣言子全体はオプションです（なぜなら、大括弧を省略することができるからです）。