暗黙の「ラムダから関数へのポインタ変換」は、静的メンバーの「参照による」キャプチャを禁止するのはなぜですか？

Question

C++ 11標準は、（私が持っているか、少なくとも、バージョン - ない最終1）言う：とラムダ式のため

閉鎖型の無ラムダキャプチャは、公共 を持っています非仮想非明示的const変換関数をポインタ と同じパラメータと戻り値の型を持つ関数として、クロージャ 型の関数呼び出し演算子として機能させます。

なぜ私は、ステートフルラムダから関数ポインタを得ることができないのですが、関数ポインタはそれ自身でデータを保持することができないので、私は理解しています。

しかし、キャプチャされたオブジェクトが静的メンバ/静的変数に過ぎない場合、キャプチャされたオブジェクトへの参照は関数自体でハードワイヤードできるため、このような制限はありません。

struct A { 
    static int count = 0; 
    void foo() { 
     static int bar = 0; 
     auto fun = [&]()->void { 
      count++; 
      bar++; 
     }; 
     void(*ptrFun)(); 
     ptrFun = fun; // forbidden by the quoted wording 
    } 
}; 

なぜラムダをファンクションポインタに変換することができないのですか？私は何かを逃しているのですか、委員会はこの特定の点を忘れていますか？

Answer 1

A::countは、まったくキャプチャする必要はありません。 thisとローカル変数のみがキャプチャされる必要があります。静的記憶期間（例えば、静的データメンバ、名前空間スコープ変数、または関数ローカル静的変数）を有する変数は、「一意」であるので、キャプチャする必要はない。このような各変数には、正確に1つのインスタンスが存在するため、オブジェクトへの参照を取得する必要はありません。

ラムダからデフォルトキャプチャを削除して（[&]から[]に変更）、countを定義すると、エラーなしでコンパイルする必要があります。 （私はVisual C++ 2012 RCとg ++ 4.5.1の両方がコードを受け入れることを確認しましたが、インライン初期化をcountに移動するだけでした。どちらのコンパイラもC++ 11の機能をまだサポートしていないからです。 ）