访问未初始化的std::optional成员未崩溃，是否符合C++标准？

首先直接给结论：你直接访问未初始化的std::optional成员的操作完全不符合C++标准，属于未定义行为（Undefined Behavior）。编译器能编译运行只是巧合，这种行为绝对不能依赖。

为什么这是错误的？ #

std::optional默认构造后处于「无值」状态，C++标准明确规定：当optional没有值时，调用operator->或者operator*访问其内部对象，属于未定义行为。这意味着编译器可以做任何事情——比如你现在看到的「输出not set但赋值没崩溃」只是其中一种可能的表现，换个编译器、换个优化等级，程序可能直接崩溃、输出乱码，甚至出现更诡异的逻辑错误。

正确的实现方式 #

根据你的需求（需要可选的类成员，设置变量时自动创建对象），有两种常见的正确做法：

1. 如果test2_inst始终需要存在（不需要可选） #

直接把std::optional<test2>改成普通的test2成员，这样构造test1时会自动初始化test2_inst，无需手动处理：

#include <optional>
class test1 {
public:
    class test2 {
    public:
        int a, b;
        class test3 {
        public:
            int c, d;
        };
        test3 test3_inst;
    };
    test2 test2_inst; // 去掉optional，默认构造时自动初始化
};
int main(int argc, char *argv[]) {
    test1 *test1_inst = new test1();
    test1_inst->test2_inst.test3_inst.c = 3; // 直接访问即可
    printf("set\n"); // 必然输出set
    return 0;
}

2. 如果test2_inst确实需要是可选的（可能不存在） #

必须先确保optional有值，再访问其成员。常用的方法有两种：

• 先调用emplace()初始化内部对象，再访问
• 先检查has_value()（或直接用if (optional_obj)），确认有值后再访问

示例代码：

#include <optional>
class test1 {
public:
    class test2 {
    public:
        int a, b;
        class test3 {
        public:
            int c, d;
        };
        test3 test3_inst;
    };
    std::optional<test2> test2_inst;
};
int main(int argc, char *argv[]) {
    test1 *test1_inst = new test1();
    
    // 方式1：先emplace初始化test2_inst
    test1_inst->test2_inst.emplace(); // 在optional内部构造test2对象
    test1_inst->test2_inst->test3_inst.c = 3;
    
    // 方式2：检查后再访问（适合可能已初始化的场景）
    if (test1_inst->test2_inst) { // 等价于has_value()
        test1_inst->test2_inst->test3_inst.c = 3;
    } else {
        // 未初始化时先创建对象
        test1_inst->test2_inst.emplace();
        test1_inst->test2_inst->test3_inst.c = 3;
    }
    
    if (test1_inst->test2_inst.has_value())
        printf("set\n"); // 现在会输出set
    else
        printf("not set\n");
    return 0;
}

为什么编译器没报错？ #

std::optional<T>::operator->的设计是运行时检查（而非编译时），编译器只会做语法层面的检查，无法在编译阶段判断你调用operator->时optional是否有值。但这绝不代表你的代码是正确的——未定义行为是C++里最危险的情况之一，一定要避免。

内容的提问来源于stack exchange，提问作者Folkert van Heusden