は、関数内

Question

スコープのは、私は次のコードを持っているとしましょう：これを受け入れる++

template <class T> void f(T arg) { arg(); } 

void g() 
{ 
    struct { void operator()(void) { } } foo; 

    f(foo); 
} 

のVisual C。私はGCCをしようとするときしかし、私が取得：

fooがグローバルスコープされ、その種類は名前を持っている

$ g++ --version # just in case this matters 
g++ (Debian 4.4.5-8) 4.4.5 
... 
$ g++ foo.cc 
foo.cc: In function 'void g()': 
foo.cc:7: error: no matching function for call to 'f(g()::<anonymous struct>&)' 

、これは動作します。しかし、タイプが匿名の場合またはの中にg()と宣言されていません。

なぜGCCはこれを拒否しますか？それは有効なC + +ですか？

Answer 1

14.3.1段落2：

ローカル・タイプ、無結合を有するタイプ、名前型またはこれらのタイプのいずれかから配合タイプ テンプレートtypeparameterため templateargumentとして使用してはなりません。

つまり、無効です。それは便利なことですが、それはおそらくVCが許可する理由です。

Answer 2

すでに述べたように、ローカルクラス（関数内で定義されたクラス）はテンプレート引数として使用できません。幸いにも、C++ 0xはラムダ関数でそれを修正しています：http://en.wikipedia.org/wiki/C%2B%2B0x#Lambda_functions_and_expressions