web-dev-qa-db-ja.com

C ++ 11のstd :: threadへの参照によるオブジェクトの受け渡し

std::threadの作成時にオブジェクトを参照渡しできないのはなぜですか？

たとえば、次のスニペットではコンパイルエラーが発生します。

#include <iostream>
#include <thread>

using namespace std;

static void SimpleThread(int& a)  // compile error
//static void SimpleThread(int a)     // OK
{
    cout << __PRETTY_FUNCTION__ << ":" << a << endl;
}

int main()
{
    int a = 6;

    auto thread1 = std::thread(SimpleThread, a);

    thread1.join();
    return 0;
}

エラー：

In file included from /usr/include/c++/4.8/thread:39:0,
                 from ./std_thread_refs.cpp:5:
/usr/include/c++/4.8/functional: In instantiation of ‘struct std::_Bind_simple<void (*(int))(int&)>’:
/usr/include/c++/4.8/thread:137:47:   required from ‘std::thread::thread(_Callable&&, _Args&& ...) [with _Callable = void (&)(int&); _Args = {int&}]’
./std_thread_refs.cpp:19:47:   required from here
/usr/include/c++/4.8/functional:1697:61: error: no type named ‘type’ in ‘class std::result_of<void (*(int))(int&)>’
       typedef typename result_of<_Callable(_Args...)>::type result_type;
                                                             ^
/usr/include/c++/4.8/functional:1727:9: error: no type named ‘type’ in ‘class std::result_of<void (*(int))(int&)>’
         _M_invoke(_Index_Tuple<_Indices...>)
         ^

ポインターを渡すように変更しましたが、回避策はありますか？

c++c++11pass-by-referencestdthread
38
austinmarton

reference_wrapperを使用して std::ref でスレッドを明示的に初期化します。

auto thread1 = std::thread(SimpleThread, std::ref(a));

（または、必要に応じて、std::crefの代わりにstd::ref）。 cppreference on std:thread からのメモごと：

スレッド関数の引数は、値によって移動またはコピーされます。参照引数をスレッド関数に渡す必要がある場合は、ラップする必要があります（例：std::refまたはstd::cref）。

53
ShadowRanger

このコメント に基づいて、この回答では、引数がスレッド関数に渡されない理由について詳しく説明します参照によるスレッド関数デフォルトによる。

次の関数SimpleThread()を検討してください。

_void SimpleThread(int& i) {
    std::this_thread::sleep_for(std::chrono::seconds{1});
    i = 0;
}
_

ここで、次のコードがコンパイルされた場合、（起こります）を想像してください（notコンパイルします）：

_int main()
{
    {
        int a;
        std::thread th(SimpleThread, a);
        th.detach();
    }
    // "a" is out of scope
    // at this point the thread may be still running
    // ...
}
_

引数a渡されるSimpleThread()への参照により。スレッドは、変数aがすでにスコープ外になり、その有効期間が終了した後、関数SimpleThread()でまだスリープ状態になっている可能性があります。その場合、SimpleThread()のiは実際にはダングリングリファレンスになり、割り当て_i = 0_はndefined behaviourになります=。

参照引数をクラステンプレート_std::reference_wrapper_でラップすることにより（関数テンプレート_std::ref_および_std::cref_を使用して）、意図を明示的に表現します。

8
El Profesor