在C++23中使用Boost.Asio时，如何在try-catch作用域外声明endpoints变量

这问题我之前也碰到过，确实挺头疼的——当你想把变量声明在try块外面时，auto就没法用了，编译器根本没法提前推导类型。那具体该怎么解决呢？

首先你得明确endpoints的实际类型：它是Boost.Asio里的*tcp::resolver::results_type*（假设你用的是TCP resolver哈）。所以你可以直接用这个完整类型来声明变量，然后在try块里赋值就行：

#include <boost/asio.hpp>
namespace asio = boost::asio;
using tcp = asio::ip::tcp;

int main() {
    asio::io_context io_ctx;
    tcp::resolver resolver(io_ctx);
    // 直接用完整类型声明变量，初始化为默认的空结果集
    tcp::resolver::results_type endpoints;

    try {
        endpoints = resolver.resolve("example.com", "http");
    } catch (const std::exception& e) {
        std::cerr << "解析失败：" << e.what() << std::endl;
        return 1;
    }

    // 现在就能在try块外面正常使用endpoints了
    for (const auto& ep : endpoints) {
        std::cout << ep.endpoint() << std::endl;
    }
    return 0;
}

要是你觉得tcp::resolver::results_type这个类型名太长，写起来麻烦，也可以提前整个类型别名简化：

// 在代码开头加个类型别名
using ResolverResults = tcp::resolver::results_type;

之后就可以直接用ResolverResults endpoints;来声明变量，代码会清爽很多。

另外还有一种思路，如果你不想硬写具体类型，可以用std::optional来包裹它。这样你就能在try块外面声明一个空的optional对象，然后在try块里再给它赋值：

#include <boost/asio.hpp>
#include <optional>
namespace asio = boost::asio;
using tcp = asio::ip::tcp;

int main() {
    asio::io_context io_ctx;
    tcp::resolver resolver(io_ctx);
    // 声明一个optional包裹的结果类型变量，初始为空
    std::optional<tcp::resolver::results_type> endpoints_opt;

    try {
        endpoints_opt = resolver.resolve("example.com", "http");
    } catch (const std::exception& e) {
        std::cerr << "解析失败：" << e.what() << std::endl;
        return 1;
    }

    // 使用前记得先检查是否有有效值
    if (endpoints_opt) {
        for (const auto& ep : *endpoints_opt) {
            std::cout << ep.endpoint() << std::endl;
        }
    }
    return 0;
}

这种方法的好处是能明确表达变量可能处于未初始化的状态，避免了默认构造的潜在问题——不过说实话，tcp::resolver::results_type的默认构造其实是安全的，就是个空的结果集，所以两种方法都可行，看你自己的代码风格偏好。

对了，顺便提一句，在C23里Boost.Asio的resolver返回类型和之前版本没太大变化，还是results_type，所以不管你用C20还是C++23，这个类型都是稳定的，直接用就行。

内容来源于stack exchange