应使用emplace()、std::in_place或std::call_once实现延迟初始化：一、emplace()原位构造，需mutable成员与const getter；二、std::in_place用于初始化时参数已知场景；三、配合std::call_once保障线程安全；四、禁用赋值、make_optional及默认构造后赋值。

如果您声明一个 std::optional 成员用于延迟初始化，但其模板参数类型不具备默认构造函数，则直接赋值、默认构造或使用 make_optional 将导致编译失败。以下是解决此问题的步骤：

一、使用 emplace() 原位构造

emplace() 绕过临时对象创建与拷贝/移动语义，在 std::optional 内部预留存储区中直接调用目标类型的任意构造函数，不依赖该类型是否可默认构造、可拷贝或可移动。

1、在类中声明 mutable std::optional 成员，其中 T 无默认构造函数。

2、在首次访问的 getter 函数中，调用 opt.emplace(arg1, arg2, ...)，传入 T 所需的全部构造参数。

3、确保该 getter 为 const 成员函数，并将 opt 和 once_flag 均声明为 mutable，以支持内部状态变更。

二、使用 std::in_place 构造

std::in_place 是一种标记类型，用于指示 std::optional 在初始化时立即执行就地构造，避免隐式转换和临时对象生成，适用于对象创建时机明确且参数已知的场景。

1、声明变量时直接使用 std::in_place：std::optional opt(std::in_place, 42, "hello");

2、若用于类内成员，可在构造函数初始化列表中使用：MyClass() : opt_(std::in_place, 100, "test") {}

3、注意：此方式仅适用于初始化时刻即能确定所有参数的情形，不适用于运行时动态决定参数的延迟初始化逻辑。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

三、配合 std::call_once 实现线程安全的单次初始化

std::optional 本身不提供任何线程同步机制；多个线程并发调用 emplace() 可能引发未定义行为，包括双重构造、内存踩踏或静默损坏。std::call_once 能确保初始化回调仅执行一次，且具有完整内存序保障。

1、在类中添加 mutable std::once_flag 成员变量。

2、在 const getter 中调用 std::call_once，将 emplace 操作封装于 lambda 内并捕获 this。

3、lambda 内执行 _opt.emplace(...)，之后返回 *_opt；后续调用将跳过初始化逻辑，直接解引用已构造对象。

四、避免非法初始化路径

以下写法在 T 无默认构造函数时必然触发编译错误，因其隐含要求 T 支持拷贝、移动或默认构造，而这些操作在未显式定义时通常被编译器删除。

1、禁止使用赋值语法：opt = NoDefault(42, "hello");

2、禁止使用 make_optional：opt = std::make_optional(42, "hello");

3、禁止默认构造后尝试赋值：std::optional opt; opt = NoDefault{42};

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！