std::optional 能容纳无默认构造函数的类型，因其内部使用未初始化存储和布尔标记，不调用T的默认构造函数；必须用emplace()或赋值显式构造，否则访问未初始化值会终止程序。
std::optionalemplace() 或赋值操作显式构造，不能依赖默认初始化。
为什么 std::optional 能容纳没有默认构造函数的 T
因为 std::optional 本身不调用 T 的默认构造函数——它内部用未初始化的存储（如 aligned_storage_t）加一个布尔标记来管理状态。只要 T 是可构造的（比如有带参构造函数），std::optional<t></t> 就是合法类型。
常见错误现象：std::optional<myclass> opt;</myclass> 编译通过，但后续直接访问 *opt 或 opt->method() 会触发 std::terminate，因为此时 opt.has_value() == false，尚未构造 MyClass 实例。
- 声明
std::optional<myclass></myclass>不等于创建MyClass对象 - 必须显式调用
opt.emplace("a", "b")或opt = MyClass("a", "b")才真正构造 - 使用
opt.value_or(MyClass{"a","b"})是错的：它要求右侧参数类型可转换为MyClass，且仍需先有默认构造能力才能参与表达式求值（实际编译失败）
如何安全地延迟构造无默认构造函数的对象
核心是绕过“先默认构造再赋值”的陷阱，直接原地构造。推荐用 emplace()，它在 optional 内部存储上直接调用 T 的完美转发构造函数。
立即学习“C++免费学习笔记（深入）”；
示例场景：类 DatabaseConnection 只接受 host/port 参数，无默认构造函数：
class DatabaseConnection {
public:
DatabaseConnection(const std::string& host, int port);
};
class Service {
std::optional<DatabaseConnection> db_;
public:
void connect_if_needed(const std::string& host, int port) {
if (!db_.has_value()) {
db_.emplace(host, port); // ✅ 正确：原地构造
}
}
// ❌ 错误写法（即使能编译，也隐含风险）：
// db_ = DatabaseConnection(host, port); // 触发 optional 的赋值运算符，可能先销毁旧值（虽为空）、再移动构造
};
-
emplace()是首选：零开销、语义清晰、避免临时对象和移动 - 避免
operator=赋值：对空optional赋值虽能工作，但会走赋值路径，可能引入不必要的移动或异常安全边界 - 若需传入非常量/右值引用参数，
emplace()支持完美转发，operator=则要求T可复制或可移动
线程安全与多线程下的延迟初始化
std::optional 本身不是线程安全的容器——多个线程同时调用 emplace() 是未定义行为。延迟初始化逻辑必须由你加锁或用更高层机制保障“仅一次”语义。
典型错误是写成这样：
void get_db() {
if (!db_.has_value()) { // 线程 A 和 B 同时通过
db_.emplace("localhost", 5432); // 竞态：两个线程都执行 emplace()
}
}
- 最稳妥方案是搭配
std::call_once+std::once_flag，尤其适合单例式延迟初始化 -
std::once_flag必须是静态存储期（如类静态成员或局部静态变量），不能是栈上临时对象 - 若需每个实例独立延迟初始化（如每个
Service对象有自己的db_），则需用互斥锁保护检查+构造段，或改用std::shared_ptr+ 自定义初始化逻辑
替代方案对比：什么时候不该用 std::optional
当对象构造代价极高、需要跨线程转移所有权、或必须严格控制内存分配位置时，std::optional 就不是最优解。
-
std::unique_ptr<t></t>更适合：构造完全推迟到std::make_unique<t>(...)</t>，内存分配与构造分离，支持nullptr检查，且可 move 转移 -
std::shared_ptr<t></t>适合多持有者懒加载场景，配合自定义 deleter 控制析构时机 - 不要用
std::vector<t></t>存储无默认构造类型的对象——resize()或reserve()会强制默认构造，直接编译失败 - 若类型连移动/复制都不支持（如仅移动语义），
std::optional仍可用，但只能靠emplace()构造，且无法赋值或拷贝该optional
最容易被忽略的一点：std::optional 的析构函数不是 trivial 的——即使它当前为空，析构时仍需检查标志位；若它曾被 emplace() 过，就会调用 T 的析构函数。这对性能敏感或实时性要求高的场景，需要实测确认开销。
