Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

auto fut = std::async( std::launch::async, f); // Асинхронный

// запуск f

На практике удобно иметь функцию, работающую как std::async, но автоматически использующую стратегию запуска std::launch::async. Такую функцию несложно написать. Вот как выглядит версия этой функции для С++11:

template

inline

std::future::type>

reallyAsync(F&& f, Ts&&... params) // Возврат фьючерса

{ // для асинхронного

return std::async( std::launch::async, // вызова f(params ...)

std::forward(f),

std::forward(params)...);

}

Эта функция получает вызываемый объект fи нуль или более параметров paramsи выполняет их прямую передачу (см. раздел 5.3) в std::async, передавая также значение std::launch::asyncв качестве стратегии вызова. Подобно std::async, она возвращает std::futureдля результата выполнения fс параметрами params. Определить тип этого результата просто, так как его нам дает свойство типа std::result_of. (Информацию о свойствах типов вы найдете в разделе 3.3.)

Функция reallyAsyncиспользуется так же, как и std::async:

auto fut = reallyAsync(f); // Асинхронный запуск f; генерирует

// исключение, если это делает

// std::async

В С++ 14 возможность вывода возвращаемого типа reallyAsyncсокращает объявление функции:

template

inline

auto// С++14

reallyAsync(F&& f, Ts&&... params) {

return std::async(std::launch::async,

std::forward(f),

std::forward(params)...);

}

Эта версия делает кристально ясным то, что reallyAsyncне делает ничего, кроме вызова std::asyncсо стратегией запуска std::launch::async.

• Стратегия запуска по умолчанию для std::asyncдопускает как асинхронное, так и синхронное выполнение задачи.

• Эта гибкость ведет к неопределенности при обращении к переменным thread_local, к тому, что задача может никогда не быть выполнена, и влияет на логику программы для вызовов waitна основе тайм-аутов.

• Если асинхронное выполнение задачи критично, указывайте стратегию запуска std::launch::async.

Каждый объект std::threadможет находиться в двух состояниях: подключаемом (joinable) и неподключаемом (unjoinable) [23] Часто их переводят как объединяемое и необъединяемое , но, на наш взгляд, термин подключение лучше отражает смысл происходящего с потоком, связанным с объектом std::thread , при вызове функции join , как и отключение для происходящего при вызове функции detach . — Примеч. пер . . Подключаемый std::threadсоответствует асинхронному потоку выполнения, который выполняется или может выполняться. Например, таковым является std::thread, соответствующий потоку, который заблокирован или ожидает запуска планировщиком. Объекты std::thread, соответствующие потокам, которые выполняются до полного завершения, также рассматриваются как подключаемые.

Неподключаемые объекты std::threadявляются именно тем, что вы и ожидаете, а именно — объектами std::thread, которые не являются подключаемыми. Неподключаемые объекты std::threadвключают следующие.

• Объекты std::thread , созданные конструкторами по умолчанию. Такие std::threadне имеют выполняемой функции, а значит, не соответствуют никакому потоку выполнения.

• Объекты std::thread , из которых выполнено перемещение. В результате перемещения поток выполнения, соответствующий std::thread, становится соответствующим другому объекту std::thread.

• Объекты std::thread , для которых выполнена функция-член join . После выполнения функции-члена join объект std::thread больше не соответствует потоку выполнения, который при этом вызове полностью завершается.

• Объекты std::thread , для которого выполнена функция-член detach . Функция-член detachразрывает связь между объектом std::threadи соответствующим ему потоком выполнения.

Одной из причин, по которым так важна подключаемость std::thread, является то, что при вызове деструктора для подключаемого объекта программа завершает свою работу. Предположим, например, что у нас есть функция doWork, которая получает функцию фильтрации filterи максимальное значение maxValв качестве параметров. Функция doWorkвыполняет проверку, чтобы убедиться, что все условия, необходимые для ее работы, выполнены, а затем выполняет вычисления со всеми значениями от 0 до maxVal, проходящими через фильтр. Если фильтрация и определение выполнения условий для функции doWorkтребуют большого времени выполнения, может быть разумным выполнить эти два действия параллельно.