エラー：初期化時に 'int（^）（int）'を 'R（^）（T）'に変換できません。

Question

テンプレート化されたクラスでブロックを最適に使用する方法を理解しようとしています。 私は次のコードスニペットを持っている：

template<typename T, typename R> 
class MyClass { 
public: 
    typedef R (^Block)(T); 

    MyClass(Block blk) {} 
}; 

void testMyClass() { 
    MyClass<int,int>::Block blk(^(int arg) { 
     return 1 + arg; 
    }); 
} 

私はこれをコンパイルしようとすると、私は次のようなエラーメッセージが出ます：

error: cannot convert ‘int (^)(int)’ to ‘R (^)(T)’ in initialization 

を私は明らかに何かが足りないのですか？許可されていないことをしようとしていますか？私がテンプレートなしで同じことをするならば、GCCはプログラムを受け入れます。

Answer 1

これはGCCの問題です。 LLVM 3の下であなたのプログラムをテストしたところ、うまくコンパイルされました。

GCC 4.2のブロックの実装にはいくつかの問題がありますが、ブロック宣言^int(int arg){return 1 + arg;}を完全修飾することで回避できますが、この場合はこの問題を回避できませんでした。私は、Obj-Cブロックを使用してさらに作業するために、LLVM/Clangを使用することを強くお勧めします。最近のC++サポートは、特にC++ 03のサポートのために非常に良いです。