std :: function <R(T1,T2)>と互換性のある関数型のセットを決定するためのルールはありますか？

Question

私はこれを持っている場合とし、その後、私が使用して初期化することができますfs関数（または関数オブジェクト）のセットを決定する方法

std::function<int(int,int)> fs; 

？ folllowingの許可とされていません

：もちろん

std::function<int(int,int)> fs = [](int, int) { return int(10); }; 
std::function<int(int,int)> fs = [](char, char) { return char(10); }; 
std::function<int(int,int)> fs = [](int, short) { return int(10); }; 
std::function<int(int,int)> fs = [](double, int) { return float(10); }; 
std::function<int(int,int)> fs = [](int, wchar_t) { return wchar_t(10); }; 

std::function<int(int,int)> fs = [](const char*, int){ return "string"; }; 
std::function<int(int,int)> fs = [](const char*, int){ return 10; }; 
std::function<int(int,int)> fs = [](const char*, int){ return std::string(); }; 

、私はコンパイルして罰金コンパイルどれ見ることができる、としません。しかし、それはパラメータのタイプと戻り値の型の違いを理解するのに役立ちません。どのように私はそれらのために異なるタイプを使用するために行くことができますか？

つまり、関数（または関数オブジェクト）を与えても、std::function<int(int,int)>と互換性があるかどうかをコンパイル時にどのように判断できますか？私はほとんど理解していないが、私は十分自信がない。

std::function<R(T1,T2)>と互換性のある関数タイプのセットを決定するためのルールを理解し、レイアウトするのを手伝ってください。メタプログラミングは、互換性のない機能を使用する場合、ユーザーに通知し、素晴らしいエラーメッセージを生成するのに役立ちますか？ところで、第一のグループは互換性があるように思われる

：http://ideone.com/hJpG3

Answer 1

オブジェクト（関数ポインタまたはファンクタ）指定された引数の型を持つ呼び出し可能でなければならない、即ちfun(declval<Types>() ...)はよく形成され、Rに暗黙的に変換可能です。

特にC++ 11§20.8.2を参照してください。それはポインタへのポインタなど様々な特殊なケースを与える.20.8.11.2/2と20.8.11.2.1/7はこれをstd::functionコンストラクタに結びつける。

Answer 2

事前にパッケージ化されたメタプログラミングソリューションはありません。私はこの質問を助けるために次のような特性をプログラムしました。これらの特性はPotatoswatterの答えに言及されたセクションを単に実装するだけです。コードコメントは、参照セクションの箇条書きポイントも列挙します。

template <class _F, class ..._Args> struct __invokable; 
template <class _F, class ..._Args> struct __invoke_of; 

http://llvm.org/svn/llvm-project/libcxx/trunk/include/type_traits

私はstd::functionのプライベート "メンバーの特性" を作成するためにこれらを使用しました：

template <class _F, bool = __invokable<_F&, _ArgTypes...>::value> 
    struct __callable; 

http://llvm.org/svn/llvm-project/libcxx/trunk/include/functional

これらが良いになるかもしれないことを私に発生しましたtr2素材（先頭のアンダースコアを除く）。あなたが同意するならば、あなたはおそらくあなたの国家代表者に知らせるべきです。

これらの形質を使用したい場合、コードはオープンソースです。しかし、各ファイルに著作権情報を含めることでオープンソースライセンスを尊重していただければ幸いです。