C++23 flat_set的extract方法是否保证返回有序容器？

是的，C++23标准明确要求flat_set的extract方法返回的容器必须保持元素的严格弱序排列，和原flat_set的元素顺序完全一致。

关键依据： #

• flat_set属于标准关联容器范畴，其核心特性就是内部元素始终按照键的严格弱序维护（和std::set行为对齐），这是标准对它的强制要求——无论底层采用哪种连续存储结构（通常是std::vector），有序性都是不可动摇的约束。
• 对于extract系列操作（包括提取单个元素或整个序列的extract_sequence），标准规定返回的容器必须保留原flat_set的元素顺序，也就是严格有序的状态。你拿到的提取结果，遍历顺序和原flat_set的遍历顺序完全一致。

关于“堆存储”的误解： #

你提到的部分实现用堆存储的情况，应该是某些非标准的、实验性的类似容器（或早期第三方库的变体），这类实现为优化插入/删除的局部效率放弃了全局有序性，但它们不属于C++标准定义的flat_set。标准中的flat_set从提案阶段（比如你参考的p1222r4）就明确要遵循关联容器的有序性要求，不存在用堆存储的合规标准实现。

你自己的测试结果（遍历有序、boost的extract_sequence返回有序）也符合这个要求——Boost.FlatSet是C++23flat_set的主要参考实现，行为完全对齐标准规范。

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