用 std::optional 实现延迟初始化最安全直观，适用于可默认构造且初始化成本高的场景；裸指针易内存泄漏，unique_ptr 有堆开销和语义冗余。
直接说结论：用 std::optional 实现延迟初始化最安全、最直观；用裸指针（new + delete）容易内存泄漏或重复初始化；用智能指针（std::unique_ptr）可行但有额外开销和语义冗余。
什么时候该用 std::optional 做 lazy init？
适用于「类型可默认构造，且初始化成本高、非必须立即执行」的场景，比如一个解析器配置对象、本地缓存结构体、或只在某些分支才用到的大型临时数据。
常见错误现象：std::optional 被误当成“可空指针”使用——它不管理堆内存，值就存在对象内部（栈上），调用 emplace() 才真正构造；没调用前 has_value() 返回 false，访问 value() 会抛 std::bad_optional_access。
- 初始化前：变量已存在，占用
sizeof(T) + 1字节（含状态位），但T的构造函数未执行 - 首次访问时手动调用
emplace(...)或赋值（如= T{...}），触发就地构造 - 生命周期与宿主对象一致，无需手动清理，析构时自动调用
T的析构函数（如果已构造）
<pre class="brush:php;toolbar:false;">struct HeavyConfig {
HeavyConfig() { /* 耗时加载文件、校验等 */ }
};
<p>class Parser {
std::optional<heavyconfig> config_;
public:
const HeavyConfig& get<em>config() {
if (!config</em>.has<em>value()) {
config</em>.emplace(); // 只执行一次
}
return config_.value();
}
};</heavyconfig></p>为什么不用 std::unique_ptr<t></t>
？它确实能延迟分配堆内存，但引入了不必要的间接访问、动态分配开销，且语义上表达的是“可能为空的资源所有权”，而非“尚未构造的值”。尤其当 T 是小对象或支持 trivial 构造时，堆分配反而更慢、更易出错。
典型坑点：
- 多次调用
get()时忘记判空，直接解引用空指针 → crash - 误用
reset(new T{...})导致重复 new，旧对象泄漏（应先判空再 new，或用if (!ptr_) ptr_ = std::make_unique<t>();</t>） -
std::unique_ptr的operator bool()和std::optional::has_value()行为相似，但前者不保证对象已构造（可能 new 失败返回 nullptr），后者能明确区分“未初始化”和“初始化失败”（后者会 throw）
裸指针（T*）封装 lazy init 的致命风险
纯手工管理 new/delete 在现代 C++ 中基本没有正当理由。一旦异常中途抛出（比如 new 后的某行代码 throw）、或忘记在析构中 delete、或多线程并发调用初始化函数，立刻崩坏。
即使加锁、加判空，也绕不开两个硬伤：
- 无法自动析构：必须显式写
if (p_) { delete p_; p_ = nullptr; }，极易遗漏 - 无法表达“已构造但值为默认态”的语义（比如
T{}是合法值，但裸指针无法区分“未初始化”和“初始化为默认值”） - 拷贝/移动语义需手动实现，否则浅拷贝指针导致 double-delete
std::optional 的边界情况和替代方案
它不能用于不可默认构造、不可移动/不可复制的类型（比如只有 explicit 构造函数且无默认参数的类）。此时可退回到 std::unique_ptr，但务必配合 std::call_once + std::once_flag 保证线程安全初始化：
<pre class="brush:php;toolbar:false;">class NonDefaultConstructible {
explicit NonDefaultConstructible(int x);
};
<p>class Service {
mutable std::unique<em>ptr<nondefaultconstructible> instance</nondefaultconstructible></em>;
mutable std::once_flag init<em>flag</em>;
public:
const NonDefaultConstructible& get() const {
std::call_once(init<em>flag</em>, [this] {
instance_ = std::make<em>unique<nondefaultconstructible>(42);
});
return *instance</nondefaultconstructible></em>;
}
};</p>注意：这里 init_flag_
instance_ 都要加 mutable，因为 get() 是 const 成员函数。真正容易被忽略的一点：std::optional 的 emplace 是完美转发，若传入右值，会触发移动构造；若传入左值，则拷贝——这和你手写延迟初始化逻辑的行为完全一致，但没人会帮你检查是否意外拷贝了大对象。所以初始化参数本身也得留意值类别。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
