висячего указателя
>}
В данном случае проблема была в том, что мы положились на неявное преобразование указателя на >buffer к ожидаемому типу первого параметра >std::string, а конструктор >std::thread копирует переданные значения «как есть», без преобразования к ожидаемому типу аргумента.
Возможен и обратный сценарий: копируется весь объект, а вы хотели бы получить ссылку Такое бывает, когда поток обновляет структуру данных, переданную по ссылке, например:
>void update_data_for_widget(widget_id w,widget_data& data); ←(1)
>void oops_again(widget_id w) {
> widget_data data;
> std::thread t(update_data_for_widget, w, data); ←(2)
> display_status();
> t.join();
> process_widget_data(data); ←(3)
>}
Здесь >update_data_for_widget(1) ожидает, что второй параметр будет передан по ссылке, но конструктор >std::thread(2) не знает об этом: он не в курсе того, каковы типы аргументов, ожидаемых функцией, и просто слепо копирует переданные значения. Поэтому функции >update_data_for_widget будет передана ссылка на внутреннюю копию >data, а не на сам объект >data. Следовательно, по завершении потока от обновлений ничего не останется, так как внутренние копии переданных аргументов уничтожаются, и функция >process_widget_data получит не обновленные данные, а исходный объект >data(3). Для читателя, знакомого с механизмом >std::bind, решение очевидно: нужно обернуть аргументы, которые должны быть ссылками, объектом >std::ref. В данном случае, если мы напишем
>std::thread t(update_data_for_widget, w, std::ref(data));
то функции >update_data_for_widget будет правильно передана ссылка на >data, а не копия data.
Если вы знакомы с >std::bind, то семантика передачи параметров вряд ли вызовет удивление, потому что работа конструктора >std::thread и функции >std::bind определяется в терминах одного и того же механизма. Это, в частности, означает, что в качестве функции можно передавать указатель на функцию-член при условии, что в первом аргументе передается указатель на правильный объект:
>class X {
>public:
> void do_lengthy_work();
>};
>X my_x;
>std::thread t(&X::do_lengthy_work, &my_x); ←(1)
Здесь мы вызываем >my_x.do_lengthy_work() в новом потоке, поскольку в качестве указателя на объект передан адрес >my_x(1). Так вызванной функции-члену можно передавать и аргументы: третий аргумент конструктора >std::thread станет первым аргументом функции-члена и т.д.
Еще один интересный сценарий возникает, когда передаваемые аргументы нельзя копировать, а можно только
