如何在嵌套的optional结构体中为成员变量赋值？

你的代码问题在于：std::optional 默认处于无值状态（std::nullopt），直接访问其内部结构体的成员会触发未定义行为。必须先让 optional 持有有效值，才能操作内部成员。以下是几种可行的解决方案：

方法1：使用 emplace() 直接构造实例 #

emplace() 可以在 optional 内部直接构造目标结构体对象，无需额外拷贝，是最高效的方式：

#include <iostream>
#include <optional>

struct Root
{
    struct Parent
    {
        struct Child
        {
            int value2 = 0;
        };
        
        int value1 = 0;
        std::optional<Child> child = std::nullopt;
    };
    
    std::optional<Parent> parent = std::nullopt;
};

int main() {
    Root root;

    // 为parent构造有效值
    root.parent.emplace();
    // 用operator->访问optional内部对象的成员
    root.parent->value1 = 19;

    // 为child构造有效值
    root.parent->child.emplace();
    root.parent->child->value2 = 21;

    // 验证结果
    std::cout << "parent.value1: " << root.parent->value1 << "\n";
    std::cout << "child.value2: " << root.parent->child->value2 << "\n";

    return 0;
}

方法2：直接赋值结构体实例 #

如果需要预先初始化结构体成员，可以直接给 optional 赋值一个结构体实例：

int main() {
    Root root;

    // 赋值一个初始化好的Parent实例
    root.parent = Root::Parent{.value1 = 19};
    // 赋值一个初始化好的Child实例
    root.parent->child = Root::Parent::Child{.value2 = 21};

    return 0;
}

安全访问的注意事项 #

• 若不确定 optional 是否有值，先用 has_value() 检查：

  if (root.parent.has_value() && root.parent->child.has_value()) {
      // 安全访问成员
      std::cout << root.parent->child->value2 << "\n";
  }
  

• 也可以用 .value() 访问，但无值时会抛出 std::bad_optional_access 异常：

  root.parent.value().value1 = 19;
  

内容的提问来源于stack exchange，提问作者robtot