std::optional 是 C++17 引入的类型安全空值容器，用于表达“可能无值”场景；适用于函数返回、配置项、解析结果等，避免 nullptr 或哨兵值；不适用于高频读写成员、多态或 C++14 及更早环境。
std::optional 是什么，什么时候该用
它不是万能的空值容器，而是为「可能没有值」的场景提供类型安全的表达方式。比如函数返回值不确定是否有效、配置项可能未设置、解析结果可能失败——这时候用 std::optional 比用 nullptr、特殊哨兵值（如 -1）、或额外的 bool 标志更清晰也更难出错。
别在以下情况硬套：
— 成员变量频繁读写且几乎总有值（增加构造/析构开销）
— 需要多态或继承（std::optional 不支持多态语义）
— C++14 或更老环境（必须 C++17 起可用）
声明、构造和赋值的常见写法
初始化方式直接影响内部对象是否被构造，这点容易忽略：
-
std::optional— 空状态，不构造a; int -
std::optional— 有值，直接构造b{42}; int(42) -
std::optional<:string> c{"hello"};— 同样触发std::string构造 -
std::optional— 显式置为空，等价于默认构造d = std::nullopt; -
d = 100;— 赋值会先销毁旧值（如有），再就地构造新值
注意：不能用 = {} 初始化非 trivial 类型的 std::optional，编译会报错；必须用 = std::nullopt 或直接声明为空。
安全取值的三种方式及风险点
直接解引用 *opt 或调用 opt.value() 都可能崩溃，前提是 opt.has_value() == false。
将 WCAG 2 AA 无障碍标准应用于设计系统、UI 组件和网页——通过可运行的验证器进行对比度计算，采用设计 token 模式使颜色天生可访问，设定排版和焦点状态规则，并提供语义检查清单。适用于构建或审查 UI。
-
if (opt) { use(*opt); }— 最推荐，零开销，语义明确 -
opt.value_or(42)— 安全兜底，但注意：即使opt有值，42也会被构造（对大对象不利） -
opt.value()— 抛std::bad_optional_access异常，仅适合你确定有值，或愿意用异常流程控制逻辑
特别提醒：value_or 的参数是按值传递的，如果兜底值构造代价高，应提前算好再传入，而不是写成 opt.value_or(expensive_func())。
与函数返回、结构体成员配合的实际写法
函数返回 std::optional 是最自然的用例：
std::optional<:string> find_user_name(int id) {
auto it = user_db.find(id);
if (it != user_db.end()) {
return it->second.name; // 自动包装为 optional
}
return std::nullopt; // 明确表示未找到
}</:string>
作为结构体成员时要注意：含 std::optional 成员的类，其默认构造函数不会自动初始化该成员（仍是空状态），拷贝/移动语义也按预期工作，但需确保所含类型满足可复制或可移动要求。
容易被忽略的一点：std::optional 本身不可默认构造为“有值”状态，哪怕其模板参数类型可以默认构造。例如 std::optional<:string> 默认构造后是空的，不是空字符串。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
