C风格数组不能安全存储std::optional，因其不调用构造/析构函数，导致状态未初始化；应改用std::array（静态大小）或std::vector（动态大小），并始终检查has_value()再访问值。
std::optional 不能直接作为 C 风格数组元素类型
直接写 std::optional<int> arr[10]</int> 语法上合法，但实际使用中极易踩坑：C 风格数组不调用元素的构造函数和析构函数，std::optional 的内部状态（如是否含值）可能未初始化，访问 arr[0].has_value() 会触发未定义行为。这不是编译错误，而是运行时隐患。
- 根本原因是 C 风格数组做的是 POD 式内存拷贝，绕过了
std::optional的 RAII 语义 - 即使编译通过，
arr[i]的每个元素初始状态不可预测——可能表现为has_value() == true却读不出值，或崩溃 - 唯一安全方式是显式逐个构造：
std::optional<int> arr[3] = {std::nullopt, std::nullopt, std::nullopt};</int>
推荐用 std::array<:optional>, N> 替代原始数组
std::array 是聚合类型，但其元素会按标准规则进行默认/列表初始化，std::optional 的构造函数会被正确调用，状态始终可控。
- 声明即安全：
std::array<:optional>, 5> arr;</:optional>→ 所有元素自动初始化为std::nullopt - 支持统一初始化：
std::array<:optional>, 2> arr = {{{"hello"}, std::nullopt}};</:optional> - 可直接用范围 for、
at()、data()（注意：data()返回的是std::optional*，不是裸指针） - 性能与原始数组几乎一致（零开销抽象），且支持 STL 算法（如
std::find_if查找有值元素）
std::vector<:optional>> 适合动态大小场景
当元素数量不确定或需运行时增删时，std::vector 是更自然的选择。它能保证每次 push_back 或 resize 都正确调用 std::optional 的构造/移动语义。
-
vec.resize(10)→ 新增的 10 个元素全部为std::nullopt -
vec.emplace_back(42)→ 调用std::optional<int>(42)</int>构造，安全赋值 - 注意避免
vec.push_back({})这种写法：空大括号可能被解释为std::initializer_list，应明确写std::nullopt或std::optional<int>{}</int> - 内存布局非连续（
std::optional本身是小对象，通常内联存储，但 vector 的堆分配带来间接性）
访问 optional 元素前必须检查 has_value()
无论用哪种容器，只要涉及 std::optional，解引用前漏掉 has_value() 或 operator bool() 检查，就是典型的空值访问错误，结果是未定义行为——轻则返回垃圾值，重则段错误。
立即学习“C++免费学习笔记（深入）”；
- 错误示范：
int x = arr[0].value();—— 若为空，直接崩溃 - 安全写法优先用
if (arr[i]) { int x = *arr[i]; }或if (arr[i].has_value()) - 需要默认值时用
arr[i].value_or(-1)，但注意：若T的默认构造代价高，value_or仍会构造一次备用值 - 在循环中反复检查
has_value()不影响性能——现代编译器对此优化极好
最易被忽略的一点：std::optional 的“空”不是 nullptr 或 0，它是一个独立的状态位；任何绕过其接口（比如用 reinterpret_cast、memcpy 或 C 风格数组的隐式初始化）的操作，都会破坏这个状态位的完整性。
