在执行构造函数时 std::optional 不应该包含它的值吗？

Question

在实际代码中，构造函数可能非常复杂，因此emplaceastd::optional可以查询可选本身的状态。当这种情况发生时，它通常会更复杂一些，但这是一个（人为的）最小示例：

#include <iostream>
#include <optional>

struct Thing {
    Thing();
};

std::optional<Thing> othing;

Thing::Thing() {
    std::cout << othing.has_value() << std::endl;
}

int main() {
    othing.emplace();
}

对于所有三个主要的标准库实现，这将产生false. 换句话说，在嵌入构造函数的执行过程中，可选项不包含值。

从实现的角度来看，这意味着首先就地构造值，然后设置一些簿记变量。这确实是MSVC、libc++和libstdc++ 的情况。

现在标准的相关部分读取

[...] 当 的实例optional<T> 包含一个 value 时，这意味着 T 类型的对象，称为可选对象的包含 value，在可选对象的存储中分配。

有趣的是，这并没有使用所包含对象的明确定义的生命周期（我想是因为这可以从外部强制结束，例如othing->~Thing()），而是在存储中分配的术语。该标准通常在动态内存的上下文中谈论分配，在这些情况下，分配显然发生在构造之前。

所以我认为提到的标准库实现不兼容，簿记变量应该在构建开始之前设置。

在这种假设下，仍然存在一个问题：实现是否比标准更好，而不是后者需要修复或澄清？我不这么认为：在构造大对象期间，访问已经初始化的子对象是完全有效且常见的，因此这对于包含在可选对象中的对象也应该是可能的。

那么我的考虑是否正确？或者我对分配范围内的术语的解释不正确？是否有反对我的 RightThing™ 的观点的论据？