为何std::set等节点容器提取元素的引用有效却不可用？标准规定及相关场景？

cppreference 相关说明（翻译） #

cppreference 针对 std::set 节点的说明：指向被提取元素的指针和引用保持有效，但在元素被节点句柄拥有时不可使用；当元素被插入容器后，它们将恢复可用。该规则适用于所有 STL 节点式容器。

标准为何做出此决策？ #

这个规则是效率优先和容器一致性维护的平衡结果：

• 效率层面：节点式容器（如std::set、std::map）的元素存储在独立内存节点中，extract操作仅将节点从容器内部结构（比如红黑树）中移除，不会销毁元素本身——内存地址不变，因此指针和引用自然保持有效。这样设计的好处是，将节点插入新容器后，可直接复用原有指针/引用，无需重新查找，节省额外开销。
• 一致性层面：以有序容器std::set为例，元素的键值决定了它在容器中的位置。若允许用户在节点被句柄持有时修改元素（尤其是键值），后续插入新容器时，容器会基于旧键值逻辑插入，直接破坏有序结构，引发未定义行为。标准直接禁止这种使用场景，从根源避免用户破坏容器核心规则。此外，游离状态的元素脱离了容器管理，依赖容器上下文的操作失去意义，禁止使用也符合逻辑。

类似的“有效却不可用”场景 #

这种状态在C++中并不少见，最典型的是移动语义后的对象：

• std::unique_ptr被移动后，原指针处于空状态，它本身合法（可调用reset()或直接销毁），但不能解引用或访问指向对象；
• std::string、std::vector这类容器被移动后，原对象处于“有效但值未指定”的状态——内存仍有效，但不能依赖其原有内容，仅能执行销毁、重新赋值等不依赖当前值的操作；
• std::optional被移动后，原实例状态合法，但内部存储的值未定义，同样不能随意访问，只能重置或重新赋值。

这些场景与节点句柄的规则逻辑一致：对象内存未被释放（因此指针/对象本身有效），但状态已不符合正常使用要求，标准通过禁止此类操作避免未定义行为，同时保留对象的基本合法性（比如可安全销毁）。

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