std :: threadコンストラクタがrvalue参照を検出する方法は？

Question

明らかに、std::threadコンストラクタに値の参照を渡すことは可能です。私の問題はcppreferenceのこのコンストラクタの定義にあります。

template< class Function, class... Args > 
explicit thread(Function&& f, Args&&... args); 

新しいはstd ::スレッドオブジェクトを作成し、 実行スレッドに関連付ける：それは、このコンストラクタがいることを言います。私の知る限り確認することができますよう

template <class T> 
typename decay<T>::type decay_copy(T&& v) { 
    return std::forward<T>(v); 
} 

：まずコンストラクタコピーは/すべての引数（両方 関数オブジェクトfと、すべての引数...）スレッドアクセスするためのストレージを かのように機能によりを移動します。

std::is_same<int, std::decay<int&&>::type>::value 

がtrueを返します。つまり、std::decay<T>::typeは引数の右辺参照部分を削除します。それではどのようにstd::threadコンストラクタがlvalueまたはrvalue参照によって渡される引数を知っていますか？すべてT&とT&&はstd::decay<T>::type

Answer 1

auto s = std::decay_copy(std::string("hello")); 

によってTに変換されますのでと同等です：

template<> 
std::string std::decay_copy<std::string>(std::string&& src) { 
    return std::string(std::move(src)); 
} 

std::string s = decay_copy<std::string>(std::string("hello")); 

Answer 2

これは完璧な転送の共通の問題です。関数のrvalueに関する情報を復元するには、std :: forward std::forwardを使用する必要があります。値のタイプの検出に興味がある場合は、value_categoryをお読みください。コンパイル時に、コンパイラがrvalue、xvalue、lvalue、prvalue、gvalueをどのように認識するかについての説明があります。それは完全にdecay_copy（または同等）にそのパラメータを転送するために使用する、何FunctionとArgs...ている知っているので、

Answer 3

std::threadコンストラクタは、引数の値カテゴリを知っています。

実際のスレッド関数は値カテゴリを認識しません。これは、常にrvalue引数で呼び出されます。fとargs...のコピーはスレッドに対してローカルであり、他の場所では使用されません。