必须用 std::optional 而非指针来表示非指针类型的值语义缺失，如 int、std::string 等；它适用于业务上“无值”为合法分支且需编译器强制处理的场景。
该用 std::optional，不是 nullptr，也不是 -1 或 "" 这类魔数。
什么时候必须用 std::optional 而不是指针
当你需要表示「一个值语义上的缺失」，且这个值不是指针类型时，std::optional 是唯一合理选择：
-
int、double、std::string、自定义结构体等非指针类型，根本不能用nullptr—— 编译直接报错 - 业务上“无值”是合法分支（比如配置项未设置、搜索未命中），不是错误或异常，不该抛异常，也不该靠调用方猜魔数值
- 你希望编译器强制调用方处理“无值”情况，而不是放任
if (p) { *p }这类裸指针逻辑继续蔓延
std::optional 初始化和赋值的常见误写
初始化不明确，会导致语义模糊甚至意外构造：
- ✅ 推荐：
std::optional<int> x{42};</int>、std::optional<int> y{std::nullopt};</int> - ⚠️ 模糊：
std::optional<int> z = {};</int>—— 看似清空，实则依赖默认构造行为，可读性差 - ❌ 错误：
std::optional<int> w = nullptr;</int>——nullptr不能隐式转成std::optional，编译失败 - ⚠️ 隐式转换陷阱：
std::optional<:string> s = "hello";</:string>合法但易掩盖意图，显式写{"hello"}更清晰
访问 std::optional 前不检查的后果
未检查就取值，在 debug 模式下通常触发 std::bad_optional_access 异常；release 模式下是未定义行为（UB），可能静默崩溃或返回垃圾值：
- ❌ 危险：
int val = *opt;、opt.value();—— 无兜底，无检查 - ✅ 安全（分支明确）：
if (opt.has_value()) { use(opt.value()); } - ✅ 安全（带兜底）：
int val = opt.value_or(-1);—— 注意：右侧默认值会被求值，即使opt有值 - ⚠️ 注意：
opt.value_or(some_expensive_func())可能带来隐藏性能开销
为什么 std::optional 不是 nullptr 的替代品
这是最常被误解的一点：std::optional 和 nullptr 解决的是完全不同的问题：
-
nullptr表示「指针不指向有效对象」—— 关注的是**地址有效性**和**所有权/生命周期** -
std::optional表示「这个值在当前上下文中不存在」—— 关注的是**值语义的完整性**和**业务状态的显式表达** - 把
std::optional<t></t>当作普通指针用，既没解决空指针风险，又引入了额外一层包装，纯属画蛇添足 - 真正要替代
nullptr场景的，是智能指针（std::unique_ptr/std::shared_ptr），不是std::optional
真正关键的判断点在于：这个“空”，是内存地址层面的无效（用指针/智能指针），还是业务逻辑层面的“本就不该有值”（用 std::optional）。混淆这两者，代码会越写越难维护，也容易在边界条件下暴露未定义行为。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
