未调用io_context.run()时Boost.Asio的异常行为：为何代码仍运行？

问题描述 #

我为理解boost::asio::io_context的工作原理编写了一段测试程序，代码中并未调用ioc.run()，原本预期程序不会有任何执行结果。但运行程序并输入类似“aaa;bbb;ccc;ddd”的内容后，却输出了带有线程ID的信息，调试时还发现生成了约40个线程。请问该现象是否属于正常行为？为何代码能正常执行？

测试代码 #

#include <iostream>

#define _WIN32_WINNT 0x0A00
#include <boost/asio.hpp>

#include <sstream>

std::vector<std::string> parseInput(const std::string& input)
{
    std::vector<std::string> result;
    std::istringstream iss(input);
    std::string token;

    while (std::getline(iss, token, ';'))
    {
        result.push_back(token);
    }

    return result;
}


int main()
{
    try
    {
        boost::asio::io_context ioc;

        for (;;)
        {
            std::string input;
            std::getline(std::cin, input);
            std::vector<std::string> tokens = parseInput(input);

            if (tokens.empty())
                break;

            for (const std::string& token : tokens)
            {
                boost::asio::post([token]()
                    {
                        std::cout << "ThreadID = " << std::this_thread::get_id() << "; " << token << std::endl;
                    });
            }
        }

    }
    catch (std::exception& exc)
    {
        std::cerr << exc.what() << std::endl;
    }

    return 0;
}

环境：Win12、boost::asio 1.82.0、MSVC 2022（测试过C14和C20）

解答 #

该现象属于正常行为，核心原因如下：

• 任务提交对象错误：代码中调用的是全局boost::asio::post()函数，而非io_context对象的post()成员函数。任务并未提交到你创建的ioc实例，而是提交给了Boost.Asio的默认系统执行器（system_executor）。
• system_executor的自动线程池机制：system_executor会自动维护一个后台线程池，无需手动调用run()启动执行上下文。当你提交任务时，线程池会根据负载动态创建线程处理任务，这就是你看到输出信息和大量线程的原因——40个线程是线程池动态扩容后的结果。
• 验证修正方法：若将代码中的boost::asio::post(...)改为ioc.post(...)，任务会被提交到你创建的io_context实例中。此时由于未调用ioc.run()，任务会被放入队列但无法执行，程序将不会有输出，也不会生成额外线程。

内容的提问来源于stack exchange，提问作者Valentyn Vovk