constexpr场景下基于std::vector封装的FlatSet编译报错问题

你的代码写法完全符合C++20标准规范，编译失败是当前主流编译器的标准库对constexpr std::vector的实现还不成熟导致的，和你对constexpr特性的理解无关。

核心原因说明 #

• C++20标准确实已经支持在常量表达式中使用std::vector：标准要求std::allocator支持constexpr内存分配/释放，同时std::vector的绝大多数成员函数（包括你用到的insert、reserve、erase等）都需要声明为constexpr，只要常量求值过程中vector分配的内存全部在求值结束前释放，就属于合法的常量表达式。
• 当前各编译器标准库实现进度不足：你碰到的MSVC报错是其标准库中vector的insert操作依赖的内部辅助函数_Alloc_temporary还没有被标记为constexpr，属于实现遗漏；GCC的libstdc和Clang的libc目前也没有完全覆盖vector所有接口的constexpr改造，尤其是涉及元素移动、容器扩容的逻辑还有很多constexpr标记缺失。

临时替代方案 #

由于你的使用场景中FlatSet最多只需要存储32个元素，可以将底层容器替换为固定大小的std::array配合元素计数实现，std::array从C++17开始就完全支持constexpr操作，不会存在标准库实现兼容性问题，可以直接满足static_assert测试的需求。

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