为何Clang不支持constexpr std::vector？附自研可行实现示例

Clang对constexpr std::vector的支持滞后，主要有这几个原因：

• 标准特性实现进度差异：C20正式引入了constexpr容器的规范，但不同编译器厂商的标准库实现节奏不一样。Clang的libc对std::vector的constexpr支持是逐步迭代完成的，早期版本完全不支持该特性，较新版本才逐步覆盖核心功能。
• std::vector的实现复杂度：标准库中的std::vector包含复杂的内存扩容策略、迭代器管理、异常安全逻辑等，这些特性要适配constexpr上下文的严格限制（比如constexpr中分配的内存必须在同一上下文内释放，不能存在内存泄漏），需要大量的适配工作，libc++的实现可能还没完成全部兼容。
• 自定义Vec的轻量化优势：你基于std::allocator、std::construct_at和std::destroy_at实现的Vec容器，逻辑更简洁，只保留了核心的元素添加和遍历功能，避开了std::vector中那些复杂的、暂未适配constexpr的细节，所以能在constexpr函数中正常运行。

你的测试代码示例：

constexpr auto test() -> int {
    Vec<int> a;
    a.push(1);
    a.push(2);
    a.push(3);
    a.push(4);

    int s = 0;
    for (int i : a) {
        s += i;
    }
    return s;
}

auto main() -> int {
    constexpr int a = test();
    static_assert(a == 10);
    return 0;
}

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