さまざまなラムダ式を使ってstd :: variantを初期化できません

Question

私はstd::variant, lambdasとstd::futureで遊んでいて、それらを一緒に合成しようとしたときに非常に奇妙な結果を得ました。ここでの例は以下のとおりです。

Error C2665 'std::variant<std::function<std::future<void> (int)>,std::function<void (int)>>::variant': none of the 2 overloads could convert all the argument types

OK、intにvoidを返すから変更variantのアイテムの署名をすることができます：：

地獄は何

using variant_t = std::variant< 
    std::function<std::future<int>(int)>, 
    std::function<int(int)> 
>; 

variant_t v1(std::move(f1)); // COMPILES (like it should) 
auto idx1 = v1.index(); // equals 0 

variant_t v2(std::move(f2)); // DOESN'T compile (like it should) 

ここ

using variant_t = std::variant< 
    std::function<std::future<void>(int)>, 
    std::function<void(int)> 
>; 
auto f1 = [](int) { return std::async([] { return 1; }); }; 
auto f2 = [](int) { return std::async([] { }); }; 

variant_t v1(std::move(f1)); // !!! why DOES this one compile when it SHOULDN'T? 
auto idx1 = v1.index(); //equals 1. WHY? 

variant_t v2(std::move(f2)); // !!! why DOESN'T this one compile when it SHOULD? 

は、コンパイルエラーがありますここにいる？ std::future<void>はなぜ特別なのですか？

Answer 1

variantのコンバーターコンストラクターテンプレートでは、オーバーロードの解像度を使用して、構築されたオブジェクトにどのタイプを割り当てるべきかを判断します。特に、これは、これらの型への変換が同等に良好であれば、コンストラクタが機能しないことを意味します。あなたのケースでは、std::functionの特殊化のうちの1つが、あなたの議論から構築可能であれば動作します。

したがって、与えられた引数からfunction<...>が構築可能なのはいつですか？ C++ 14では、引数がパラメータ型で呼び出すことができ、型がconvertible to the return typeである場合。この仕様によれば、戻り値の型がvoidであれば、何も行われません（any expression can be converted to void with static_cast）。 functionがvoidを返す場合、渡すファンクタは何でも返すことができます。それはバグではなく、機能である—です！これはf1にもfunction<void(int)>が適用される理由です。一方、future<int>はfuture<void>に変換されません。従ってのみfunction<void(int)>生存可能であり、そして変異体のインデックスは、第二の場合に、ラムダは、future<void>とvoid両方に変換されfuture<void>を返し、ただし1

あります。上記のように、これによりfunctionのスペシャライゼーションが実行可能になります。そのため、variantはどちらを構築するかを決定できません。

最後に、戻り値の型をintに調整すると、この完全なvoid変換の問題は回避されるため、すべて正常に動作します。