future：std::launch

引入

在现代C++编程中，表述和管理异步操作是一项重要任务。当使用std::async创建异步任务时，开发者需要选择合适的启动策略。C++11引入了std::launch，这是一个枚举类，允许开发者指定任务执行的策略。通过使用std::launch，程序员可以更加灵活地控制任务是否在新的线程中立即执行，或是否在需要时在当前线程中推迟执行。本文将深入探讨std::launch的特性、语法、示例代码以及适用场景。

特性/函数/功能语法介绍

std::launch主要包含以下两个选项：

• std::launch::async：它表示强制在新的线程中异步执行任务。在此模式下，任务将在新的操作系统线程中进行处理，不会阻塞调用线程的执行。

• std::launch::deferred：表示在调用future::get()时才会执行计算，并且将计算限定在当前调度的线程中。这一模式只在实际需要的时候才计算结果。

std::launch可以单独使用，也可以结合使用，允许任务同时具备这两种特性。

语法

使用std::launch的基本形式如下：

#include <future>

std::future<return_type> future = std::async(std::launch::async | std::launch::deferred, function, arguments);

完整示例代码

以下示例展示了如何使用std::launch来启动异步任务并指定其执行策略：

#include <iostream>
#include <thread>
#include <future>
#include <chrono>

int calculateSquare(int x) {
    std::cout << "Calculating square of " << x << " in thread: " << std::this_thread::get_id() << std::endl;
    std::this_thread::sleep_for(std::chrono::seconds(2)); // 模拟延时
    return x * x; // 返回平方
}

int main() {
    std::cout << "Starting asynchronous calculation..." << std::endl;

    // 启动异步计算任务，强制使用新线程
    std::future<int> futureAsync = std::async(std::launch::async, calculateSquare, 5);

    // 启动延迟计算任务，直到调用get()才会执行
    std::future<int> futureDeferred = std::async(std::launch::deferred, calculateSquare, 7);

    // 主线任务处理
    std::cout << "Doing other work during the asynchronous call..." << std::endl;
    std::this_thread::sleep_for(std::chrono::seconds(1)); // 模拟重载

    // 获取async任务的结果
    int resultAsync = futureAsync.get(); // 会阻塞直到结果可用
    std::cout << "The square of 5 is: " << resultAsync << std::endl;

    // 获取deferred任务的结果
    int resultDeferred = futureDeferred.get(); // 这里会实际执行计算
    std::cout << "The square of 7 is: " << resultDeferred << std::endl;

    return 0;
}

代码解析

在上述示例中，我们展示了如何使用std::launch来灵活地启动异步计算任务。

1. 定义函数：

   • calculateSquare(int x)用于计算给定整数的平方，并模拟延时以模拟耗时计算。

2. 启动异步任务：

   • 使用std::async(std::launch::async, calculateSquare, 5);启动一个异步任务，指定在新线程中计算5的平方。

3. 启动延迟任务：

   • std::async(std::launch::deferred, calculateSquare, 7); 定义一个延迟计算的任务，7的平方只会在实际调用get()时才执行。

4. 主线程执行：

   • 主线程在启动异步任务时继续执行其他操作，示例中使用sleep_for来模拟正在进行的工作。

5. 获取异步任务结果：

   • 当调用futureAsync.get();时，主线程将等待任务完成并返回结果。

6. 获取延迟任务结果：

   • 调用futureDeferred.get();时，计算开始并返回结果，即使实例已经创建也不会执行。

适用场景分析

std::launch在多线程编程中的应用场景包括：

1. 精确控制线程创建：开发者可以选择何时创建新的线程或延迟执行任务，以满足特定应用程序的性能需求。

2. 节省资源：在某些情况下，不立即执行任务可更好地避免资源浪费，尤其是在解决不确定性或条件依赖的情况下。

3. 响应机制：在交互式应用程序中，使用deferred策略可以提高响应性，同时允许执行其他任务，增强用户体验。

总结

std::launch 提供了一种灵活、简单的机制，在创建和管理异步任务时提升程序的可控性。通过本文的示例，展示了如何使用std::launch来调度任务，进而利用这一机制提升程序执行的效率。与std::async结合使用，开发者能够根据需求自由选择任务的执行方式。在复杂的多线程环境中，精确利用std::launch将是开发高效、响应快速的 C++ 应用程序的重要手段。