std::optional无原生and_then/map，C++23的and_then是唯一安全穿透多层方案；需显式检查has_value()避免UB；嵌套optional语义模糊，应优先扁平化设计。
std::optional 没有原生 and_then 或 map，强行链式调用极易引发未定义行为或性能灾难。 它的设计目标就是轻量表达“有/无值”，不是函数式容器。你看到的所谓“monadic 链式”，基本都是手写辅助函数或 C++23 新特性，混用旧标准和新惯用法是出错主因。
std::optional && 两层嵌套时编译失败：operator bool() 是 explicit 的
常见错误现象：error: no match for 'operator&&' 或 cannot convert 'std::optional<t>' to 'bool'</t>。
根本原因：C++17 起 std::optional::operator bool() 是 explicit，禁止隐式转 bool。所以 if (opt1 && opt2) 中，opt2 无法被自动解包参与逻辑与。
- 别写
if (opt1 && opt1->nested_opt)——opt1->nested_opt在opt1为空时是未定义行为 - 正确写法是显式检查：
if (opt1.has_value() && opt1->nested_opt.has_value()) - 若需访问最终值，推荐分步解包：
if (auto p = opt1; p) { if (auto q = p->nested_opt; q) { use(*q); } }
C++23 std::optional::and_then 是唯一安全穿透多层的方案
这是目前唯一能真正实现“有值才执行、空值立即短路、零额外构造”的标准方式。
立即学习“C++免费学习笔记（深入）”；
-
and_then要求 lambda 必须返回std::optional<u></u>，否则编译失败 - 嵌套两层示例：
opt1.and_then([](int v1) { return opt2.and_then([v1](int v2) { return std::optional<int>(v1 + v2); }); })</int> - 任意一层为
std::nullopt，整个链立刻返回std::nullopt，不会构造中间临时对象 - 注意：lambda 参数建议按
const T&传，避免大对象拷贝；不要在 lambda 里做可能抛异常的操作
C++20 及更早：用 if-let 模拟 and_then 的语义和性能
别手写 safe_flat_map 辅助模板——它容易在生命周期、SFINAE 或异常安全上翻车。
- 安全写法（编译器可优化掉冗余检查）：
if (auto opt1 = get_outer(); opt1) { if (auto opt2 = get_inner(*opt1); opt2) { use(*opt2); } } - 绝对避免：
auto x = *opt1;——opt1为空时直接 UB - 若需复用中间值，用 const 引用绑定：
if (const auto& o1 = get_outer(); o1) { int v1 = *o1; /* ... */ } - 注意
value_or()的陷阱：参数是立即求值表达式，opt1.value_or(expensive_obj).field会无条件构造expensive_obj，哪怕opt1有值
最常被忽略的一点：嵌套 std::optional<:optional>></:optional> 语义模糊——你无法区分“外层为空”和“外层有值但内层为空”。这种结构本身就在鼓励错误建模，应优先用扁平化设计（如 std::optional<t></t> + 明确默认值）或改用 std::shared_ptr 管理深层资源生命周期。
