Параллельное программирование на С++ в действии. Практика разработки многопоточных программ | страница 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->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. Передача владения потоком
Предположим, что требуется написать функцию для создания потока, который должен работать в фоновом режиме, но при этом мы не хотим ждать его завершения, а хотим, чтобы владение новым потоком было передано вызывающей функции. Или требуется сделать обратное — создать поток и передать владение им некоторой функции, которая будет ждать его завершения. В обоих случаях требуется передать владение из одного места в другое.