1 
#include <functional>
#include <future>

void z(int&&){}
void f1(int){}
void f2(int, double){}

template<typename Callable>
void g(Callable&& fn)
{
    fn(123);
}

template<typename Callable>
std::future<void> async_g(Callable&& fn)
{
    return std::async(std::launch::async, std::bind(&g<Callable>, fn));
}

int main()
{
    int a = 1; z(std::move(a)); // Does not work without std::move, OK.

    std::function<void(int)> bound_f1 = f1;
    auto fut = async_g(bound_f1); // (*) Works without std::move, how so?
    // Do I have to ensure bound_f1 lives until thread created by async_g() terminates?
    fut.get();

    std::function<void(int)> bound_f2 = std::bind(f2, std::placeholders::_1, 1.0);
    auto fut2 = async_g(bound_f2);
    // Do I have to ensure bound_f2 lives until thread created by async_g() terminates?
    fut2.get();

    // I don't want to worry about bound_f1 lifetime,
    // but uncommenting the line below causes compilation error, why?
    //async_g(std::function<void(int)>(f1)).get(); // (**)
}

質問1。(*) での呼び出しが なしで機能するのはなぜstd::moveですか?

質問2。(*) のコードがどのように機能するかを理解していないため、2 番目の質問が発生します。async_g() によって作成された対応するスレッドが終了するまで、各変数を確実にbound_f1存続させる必要がありますか?bound_f2

質問3. (**) でマークされた行のコメントを外すとコンパイル エラーが発生するのはなぜですか?

4

1 に答える 1

5

短い答え: テンプレート型推定のコンテキストでは、型がフォームの式から推定されます。

template <typename T>
T&& t

t は右辺値参照ではなく、転送参照(検索するキーワード、ユニバーサル参照とも呼ばれます) です。これは自動型推論でも起こります

auto&& t = xxx;

転送参照が行うことは、左辺値参照と右辺値参照の両方にバインドされstd::forward<T>(t)、同じ参照修飾子を持つパラメーターを次の関数に転送するために使用することだけを実際に意図したものです。

このユニバーサル参照を左辺値で使用すると、推定される型Tは istype&になりますが、右辺値参照で使用すると、型は になりますtype(参照の折りたたみ規則に帰着します)。それでは、質問で何が起こるか見てみましょう。

  1. あなたのasync_g関数はbound_f1左辺値で呼び出されます。Callableしたがって、に対して推定される型は でありstd::function<void(int)>&、この型を に明示的に渡すためg、gは左辺値型のパラメーターを期待します。呼び出すbindと、バインド先の引数fnがコピーされるため、 がコピーされ、このコピーが に渡されgます。

  2. bind（およびスレッド/非同期）引数のコピー/移動を実行します。考えてみれば、これは正しいことです。そうすれば、 の寿命について心配する必要はありませんbound_f1/bound_f2。

  3. への呼び出しに実際に右辺値を渡したのでasync_g、今回推定される型Callableは単純にstd::function<void(int)>です。しかし、この型を に転送したためg、右辺値引数が必要です。の型fnは右辺値ですが、それ自体は左辺値であり、bind にコピーされます。したがって、バインドされた関数が実行されると、呼び出そうとします

    void g(std::function<void(int)>&& fn)

    右辺値ではない引数を使用します。そして、それがあなたのエラーの原因です。VS13 では、最終的なエラー メッセージは次のとおりです。

    Error   1   error C2664: 'void (Callable &&)' : 
cannot convert argument 1 from 'std::function<void (int)>' to 'std::function<void (int)> &&'    
c:\program files\microsoft visual studio 12.0\vc\include\functional 1149

ここで、転送参照 ( ) を使用して何を達成しようとしているCallable&&のか、どこまで転送する必要があるのか​​、引数がどこに到達するのかを実際に再考する必要があります。これには、引数の有効期間についても考慮する必要があります。

エラーを克服するにはbind、ラムダに置き換えるだけで十分です (常に良い考えです!)。コードは次のようになります。

template<typename Callable>
std::future<void> async_g(Callable&& fn)
{
    return std::async(std::launch::async, [fn] { g(fn); });
}

これは最小限の労力で済むソリューションですが、引数はラムダにコピーされます。

于 2015-01-20T15:48:10.547 に答える