std::optional适用于可默认构造且移动成本可控的延迟初始化场景；若类型无默认构造函数，则需emplace或赋值显式构造；线程安全需配合std::call_once等机制保障。
延迟初始化成员变量，std::optional 是最轻量、最安全的选择——前提是对象可默认构造且移动成本可控；否则得换方案。
什么时候该用 std::optional 做延迟初始化
适用场景很明确：成员变量类型支持默认构造，但你希望推迟到首次使用时才真正构造（比如构造开销大、依赖外部状态、或可能根本不用）。
典型例子：std::regex、std::unique_ptr、或需要传参才能构造的自定义类。这时直接声明 std::optional，不触发 T 的默认构造。
-
std::optional本身是 trivially destructible，析构不调用T的析构函数，直到它被emplace()或赋值激活 - 未初始化时，
has_value() == false，访问*opt或opt->member会std::terminate—— 这是保护，不是 bug - 如果
T没有默认构造函数，std::optional仍合法，但你必须用emplace(...)或operator=显式构造
std::optional 初始化时机与线程安全
它本身不提供线程安全：多个线程同时调用 emplace() 或 operator= 是未定义行为。延迟初始化逻辑必须由你加锁或用双重检查（std::call_once 更推荐）。
常见写法是封装一个 getter：
class Parser {
mutable std::optional<:regex> _pattern;
mutable std::once_flag _pattern_init;
public:
const std::regex& pattern() const {
std::call_once(_pattern_init, [this] {
_pattern.emplace(R"(\w+:\d+)", std::regex_constants::ECMAScript);
});
return *_pattern;
}
};</:regex>
-
mutable允许在const成员函数里修改_pattern和_pattern_init - 不要直接在 getter 里写
if (!_pattern.has_value()) _pattern.emplace(...)—— 竞态窗口会导致重复构造甚至崩溃 -
std::call_once保证只执行一次，且同步完成，比手写锁更简洁可靠
比 std::optional 更重或更轻的替代方案
不是所有情况都适合 std::optional。它内部用一块内联缓冲区存放 T，所以对超大对象（比如含千字节数组的结构体），sizeof(std::optional 会显著膨胀，且复制/移动开销变高。
- 大对象 + 真正需要延迟构造 → 改用
std::unique_ptr：堆分配，sizeof固定为指针大小，但多一次内存分配 - 完全不想承担任何运行时开销（如嵌入式、极致性能路径）→ 手动管理原始内存 + placement new，但必须显式处理构造/析构/异常安全，极易出错
- 仅需“懒加载值”，不涉及构造逻辑 → 可考虑
std::atomic配合 CAS（仅限 trivially copyable 类型）
最容易被忽略的一点：std::optional 的“空状态”和业务语义未必一致。比如 std::optional 中 nullopt 表示“未计算”，但 0 是合法结果——这时候别用 int，改用 std::optional<:pair int>> 或自定义枚举状态，否则逻辑会悄悄腐化。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
