std::expected嵌套返回值时不能直接解包，必须用and_then链式传递以避免崩溃；其要求各层错误类型严格一致，否则编译失败，推荐统一为枚举或std::variant，并禁用裸调用value()。
std::expected嵌套返回值时怎么写才不崩溃
直接用std::expected<int, std::string>作为函数返回值没问题，但多层调用时如果每个函数都返回std::expected，手动value()或error()取值极易触发未检查错误的std::bad_optional_access——尤其是当上层函数没处理has_value() == false就直接解包时。
正确做法是用and_then链式传递，避免显式解包：
auto read_config() -> std::expected<std::string, std::string> {
if (std::ifstream f{"config.txt"}; f.is_open()) {
std::string s; std::getline(f, s);
return s;
}
return "file not found";
}
auto parse_int(const std::string& s) -> std::expected<int, std::string> {
try { return std::stoi(s); }
catch (...) { return "invalid number"; }
}
// 链式调用，自动短路
auto result = read_config().and_then(parse_int); // result 是 std::expected<int, std::string>
关键点：
-
and_then只在has_value() == true时调用回调，否则直接透传错误 - 回调函数必须返回
std::expected类型，且错误类型要一致（否则编译失败） - 不能混用
std::expected<T, E1>和std::expected<U, E2>，除非E1和E2可隐式转换
错误类型不一致时怎么统一处理
不同层级函数可能抛出不同错误类型（比如std::string、std::error_code、自定义枚举），但std::expected要求所有嵌套层的错误类型完全相同，否则and_then无法推导返回类型。
立即学习“C++免费学习笔记（深入）”；
推荐方案是定义一个统一错误枚举，并用std::variant兜底：
enum class ConfigError {
FileNotFound,
InvalidFormat,
OutOfRange
};
using Result = std::expected<int, ConfigError>;
auto read_config_v2() -> Result {
if (!std::filesystem::exists("config.txt"))
return ConfigError::FileNotFound;
// ...
}
如果实在无法统一，可用map_error转换：
read_config().map_error([](const std::string& e) { return ConfigError::InvalidFormat; })- 注意：
map_error不改变值类型，只映射错误分支 - 多次嵌套时，建议在最外层统一转错，而不是每层都
map_error，否则易漏或重复
和异常处理比，std::expected在嵌套里有什么坑
std::expected不会自动传播错误，它只是值语义容器；而异常会沿栈向上冒泡。这意味着你必须显式设计“错误路径”，稍一疏忽就会静默忽略错误。
典型问题：
- 忘记检查
has_value()就调用value()→ 程序终止（不是抛异常） - 用
value_or(0)掩盖真实错误，导致下游逻辑用错默认值 - 在lambda里捕获
std::expected参数却没处理error()分支，编译器不报错但运行时崩溃 -
and_then回调中抛异常 → 不会被std::expected捕获，直接逃逸到调用栈外
所以，多层嵌套下，宁可多写几行if (!res.has_value()) return res.error();，也别依赖value_or或value()。
std::expected嵌套深度大时性能影响明显吗
纯值语义，无堆分配，std::expected<T, E>大小就是std::max(sizeof(T), sizeof(E)) + 1字节（加1用于状态标记），和返回std::pair<T, bool>几乎一样轻量。
但要注意：
- 移动语义必须正确实现：确保
T和E都支持移动（否则拷贝开销上升） - 不要在
and_then回调里做重操作（比如文件读写、网络请求），因为每次失败都会完整执行前面所有成功步骤 - 比起异常，
std::expected把错误检查压到了调用点，编译器更容易内联优化，实际性能通常更好
真正容易被忽略的是错误类型的构造成本——如果E是带动态内存的std::string，而你又在热路径频繁构造它，那瓶颈不在std::expected本身，而在错误对象创建上。
