Параллельное программирование на С++ в действии. Практика разработки многопоточных программ | страница 30



: данные, хранившиеся в одном объекте, переносятся в другой, а исходный объект остается «пустым». Примером может служить класс >std::unique_ptr, который обеспечивает автоматическое управление памятью для динамически выделенных объектов. В каждый момент времени на данный объект может указывать только один экземпляр >std::unique_ptr, и, когда этот экземпляр уничтожается, объект, на который он указывает, удаляется. Перемещающий конструктор и перемещающий оператор присваивания позволяют передавать владение объектом от одного экземпляра >std::unique_ptr другому (о семантике перемещения см. приложение А, раздел А.1.1). После такой передачи в исходном экземпляре остается указатель NULL. Подобное перемещение значений дает возможность передавать такие объекты в качестве параметров функций или возвращать из функций. Если исходный объект временный, то перемещение производится автоматически, а если это именованное значение, то передачу владения следует запрашивать явно, вызывая функцию >std::move(). В примере ниже показано применение функции >std::move для передачи владения динамическим объектом потоку:

>void process_big_object(std::unique_ptr);


>std::unique_ptr p(new big_object);

>p->prepare_data(42);

>std::thread t(process_big_object,std::move(p));

Поскольку мы указали при вызове конструктора >std::thread функцию >std::move, то владение объектом >big_object передается объекту во внутренней памяти вновь созданного потока, а затем функции >process_big_object.

В стандартной библиотеке Thread Library есть несколько классов с такой же семантикой владения, как у >std::unique_ptr, и >std::thread — один из них. Правда, экземпляры >std::thread не владеют динамическими объектами, как >std::unique_ptr, зато они владеют ресурсами: каждый экземпляр отвечает за управление потоком выполнения. Это владение можно передавать от одного экземпляра другому, поскольку экземпляры >std::threadперемещаемые, хотя и не копируемые. Тем самым гарантируется, что в каждый момент времени с данным потоком будет связан только один объект, но в то же время программист вправе передавать владение от одного объекта другому

2.3. Передача владения потоком

Предположим, что требуется написать функцию для создания потока, который должен работать в фоновом режиме, но при этом мы не хотим ждать его завершения, а хотим, чтобы владение новым потоком было передано вызывающей функции. Или требуется сделать обратное — создать поток и передать владение им некоторой функции, которая будет ждать его завершения. В обоих случаях требуется передать владение из одного места в другое.