C++ std::async и std::thread когда что использовать

[savva_io]

Пишу на C++17, нужно распараллелить несколько независимых вычислений и дождаться результатов. Смотрю на std::async и std::thread — оба могут запустить что-то параллельно. В чём принципиальная разница? Когда использовать std::async с std::launch::async, а когда std::thread напрямую? И что за std::launch::deferred — это вообще для чего?

[semyon_core]

Главное отличие: std::async возвращает std::future и сам управляет временем жизни потока (или пулом потоков — зависит от реализации). std::thread надо явно join() или detach(), иначе деструктор вызовет std::terminate — это классический источник краша. Для простых «запусти и жди результата» задач std::async удобнее и безопаснее. auto fut = std::async(std::launch::async, compute, data); auto result = fut.get(); — и всё.

[lev8912]

std::launch::deferred — это ленивое вычисление, функция запустится синхронно в том же потоке только когда вызовешь fut.get() или fut.wait(). Никакого параллелизма. Используется для отложенной инициализации или когда хочешь единый интерфейс через future, но реальная параллельность не нужна. Я видел код, где люди писали async(...) без явного launch::async и удивлялись, почему оно медленно — стандарт позволяет реализации выбрать deferred по умолчанию.

[vuenet6816]

Когда точно нужен std::thread: долгоживущие потоки (воркер в очереди задач), когда нужен точный контроль над приоритетом через native_handle(), или когда реализуете свой thread pool. std::async плохо подходит для пула — каждый вызов потенциально создаёт новый поток (на большинстве реализаций). Для продакшн-кода с серьёзной нагрузкой смотри на Intel TBB или собственную реализацию с condition_variable + queue.

[webpixel853]

Предупреждение из практики: если забудешь сохранить future от std::async в переменную, он блокирует в деструкторе прямо в той же строке. std::async(std::launch::async, fn); — это не fire-and-forget, это блок до завершения fn. Многих это удивляет. Нужен реально огонь-и-забыл — нужен detached thread или сторонняя библиотека.

[alex_ai72]

В C++20 появились корутины и std::jthread (с автоматическим join и поддержкой cancellation через stop_token). jthread практически устаревил ручной join/detach паттерн — деструктор автоматически вызывает request_stop() и join(). Если таргетируете C++20 и выше, посмотрите в эту сторону.

[milana_dns25]

Для вашей конкретной задачи — несколько независимых вычислений, ждём все результаты — std::async с launch::async это правильный выбор. Пример: vector<future<Result>> futures; for (auto& item : items) futures.push_back(async(launch::async, process, item)); for (auto& f : futures) results.push_back(f.get()); Просто, читаемо, безопасно.