Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14 - [112]
при уничтожении объекта может привести к трудно отлаживаемым аномалиям производительности.
• Применение >detach при уничтожении объекта может привести к трудно отлаживаемому неопределенному поведению.
• Объявляйте объекты >std::thread в списке членов-данных последними.
7.4. Помните о разном поведении деструкторов дескрипторов потоков
В разделе 7.3 вы узнали, что подключаемый >std::thread соответствует базовому системному потоку выполнения. Фьючерс для неотложенной задачи (см. раздел 7.2) имеет схожую связь с системным потоком. А раз так, и объекты >std::thread, и объекты фьючерсов можно рассматривать как дескрипторы (handles) системных потоков.
С этой точки зрения интересно, что >std::thread и фьючерсы совершенно по-разному ведут себя в деструкторах. Как упоминалось в разделе 7.3, уничтожение подключаемого >std::thread завершает работу программы, поскольку две очевидные альтернативы — неявный вызов >join и неявный вызов >detach — оказываются еще более плохим выбором. Однако деструктор фьючерса ведет себя так, как если бы иногда выполнялся неявный вызов >join, иногда — неявный вызов >detach, а иногда — ни то и ни другое. Он никогда не приводит к завершению работы программы. Поведение этого дескриптора потока заслуживает более внимательного рассмотрения.
Начнем с наблюдения, что фьючерс представляет собой один из концов канала связи, по которому вызываемая функция передает результаты вызывающей[25]. Вызываемая функция (обычно работающая асинхронно) записывает результат вычислений в коммуникационный канал (обычно с помощью объекта >std::promise), а вызывающая функция читает результат с помощью фьючерса. Вы можете представлять это для себя следующим образом (пунктирные стрелки показывают поток информации от вызываемой функции к вызывающей):
Но где же хранится результат вызываемой функции? Вызываемая функция может завершиться до того, как будет вызвана функция-член >get соответствующего фьючерса, так что результат не может быть сохранен в >std::promise вызываемой функции. Этот объект, будучи локальным по отношению к вызываемой функции, уничтожается по ее завершении.
Результат не может храниться и во фьючерсе вызывающей функции, поскольку (среди прочих причин) >std::future может быть использован для создания объекта >std::shared_future (тем самым передавая владение результатом вызываемой функции от >std::future в >std::shared_future), который затем, после уничтожения исходного >std::future, может быть многократно копирован. С учетом того, что не все типы результата могут быть скопированы (например, существуют только перемещаемые типы) и что результат должен существовать до тех пор, пока как минимум последний фьючерс на него ссылается, какой из потенциально многих фьючерсов, соответствующих вызываемой функции, должен содержать ее результат?
Поскольку ни объекты, связанные с вызываемой функцией, ни объекты, связанные с вызывающей функцией, не являются подходящими местами для хранения результата вызываемой функции, они должны храниться где-то вне этих объектов. Такое местоположение известно как общее состояние (shared state). Это общее состояние обычно представлено объектом в динамической памяти, но его тип, интерфейс и реализация в стандарте языка не указаны. Авторы стандартной библиотеки могут реализовывать общие состояния так, как хотят.
Мы можем представить себе отношения между вызываемой функцией, вызывающей функцией и общим состоянием следующим образом (пунктирными стрелками вновь представлен поток информации):
Существование общего состояния имеет важное значение, потому что поведение деструктора фьючерса — тема этого раздела — определяется общим состоянием, связанным с этим фьючерсом. В частности, справедливо следующее.
• Деструктор последнего фьючерса, ссылающегося на общее состояние для неотложенной задачи, запущенной с помощью>std::async, блокируется до тех пор, пока задача не будет завершена. По сути, деструктор такого фьючерса неявно выполняет >join для потока, асинхронно выполняющего задачу.
• Деструкторы всех прочих фьючерсов просто уничтожают объект фьючерса. Для асинхронно выполняющихся задач это сродни неявному отключению базового потока с помощью вызова >detach. Для отложенных задач, для которых данный фьючерс является последним, это означает, что отложенная задача никогда не будет выполнена.
Эти правила выглядят сложнее, чем есть на самом деле. Мы имеем дело с простым “нормальным” поведением и одним исключением. Нормальное поведение заключается в том, что деструктор фьючерса уничтожает объект фьючерса. Вот и все. Он ничего не подключает, ничего не отключает, он ничего не запускает. Он просто уничтожает члены-данные фьючерса. (Ну, на самом деле он делает еще одно дело — уменьшает значение счетчика ссылок общего состояния, которое управляется как ссылающимися на него фьючерсами, так и объектами >std::promise вызываемой функции. Этот счетчик ссылок позволяет библиотеке знать, когда можно уничтожать общее состояние. Информацию по счетчикам ссылок вы можете найти в разделе 4.2.)
Исключение из этого нормального поведения осуществляется только для фьючерса, для которого выполняются все перечисленные далее условия.
