Std::expected

背景与问题界定一个持续6年以上迭代的C++量化交易库面临两个核心痛点：第一，函数返回值和错误分离的方式在不同模块中极不统一——有的返回std::optional+errno、有的返回std::pair<Result, ErrorCode>、有的返回负数表示错误、有的直接throw异常（但在性能路径上catch的代价不可接受）。C++23的std::expected提供了标准化的"值或错误"返回类型，可以统一这些混乱的错误处理模式。第二，项目头文件依赖森林越来越深——一个简单的#include <trade_engine.hpp>可能递归include超过500个头文件，增量编译时间超过35秒。C++20的模块（modules）虽然已经提出，但工具链支持直到C++23才真正成熟可用。我们需要衡量将核心模块迁移到C++23的收益与风险。目标拆解与工程约束 std::expected的异常替代范围：std::expected<T, E>适用于"可能失败的正常控制流"（如解析、校验、类型转换），但不适合替代"不可恢复的错误"（如系统级故障）——这些场景仍然需要异常。需要明确划分expected和throw的适用边界，避免两端同时使用导致接口混乱。模块化迁移的ABI问题：C++20模块会改变符号可见性和inline行为。导出import的模块与#include的头文件在同一TU中可能产生符号冲突（ODR violation）。迁移到模块化必须是以module为单位的全量迁移，不能逐文件partial transition。 std::print和std::format的编译期收益：C++23将std::print（基于std::format）标准化，可以替代大部分printf和iostream的日志输出场景。std::format的编译期参数解析比printf的类型不安全格式串和iostream的运行时虚函数调用都有显著优势。需要量化基准。 std：：mdspan和std：：flat_map的性能验证：新的容器和视图std::mdspan（多维数组视图）和std::flat_map（基于排序vector的map）在内存局部性上优于传统方案。但flat_map的插入复杂度O(n)意味着它不能直接替代std::unordered_map，必须按访问模式选择。方案设计错误处理统一采用std::expected模式。API边界上，所有"可能因输入数据问题而失败"的函数返回expected<T, domain_error>，而"因系统资源不足而失败"的函数保留异常。为了平滑迁移，我们为C++17兼容的调用方提供expected的backport实现（基于tl::expected），并在C++23模式下通过#if __cpp_lib_expected >= 202211L条件编译切换到标准库实现。 // 使用std::expected解析市场数据 #include <expected> #include <string_view> enum class ParseError { InvalidFormat, MissedField, OutOfRange }; struct TradeTick { int64_t timestamp; double price; uint32_t volume; }; auto parse_tick(std::string_view line) -> std::expected<TradeTick, ParseError> { auto sep1 = line.find(','); if (sep1 == std::string_view::npos) return std::unexpected(ParseError::InvalidFormat); auto price = std::from_chars(line.data() + sep1 + 1, line.data() + line.size(), sep1); // 使用std::from_chars 零分配解析 // ... return TradeTick{ .timestamp = ts, .price = p, .volume = v }; } // 调用方使用and_then链式处理 void process_ticks(std::span<const std::string_view> lines) { for (auto& line : lines) { auto result = parse_tick(line) .and_then([](TradeTick tick) -> std::expected<void, ParseError> { engine_.feed(tick); return {}; }) .or_else([](ParseError err) -> std::expected<void, ParseError> { log_warn("Parse failed: {}", static_cast<int>(err)); return {}; // 错误被消耗，不中断循环 }); } } 模块化迁移方面，我们采用"自顶向下"策略：先从最底层的"基础类型和工具"模块开始，该模块没有#include依赖（仅import <std>），随后逐层向上迁移业务模块。CMake通过CXX_STANDARD 23和set(CMAKE_CXX_MODULE_STD 1)启用模块化构建。 ...