能否实现constexpr static_vector？嵌入式存储常量表达式容器咨询

本文所指的static_vector是一种存储内嵌于容器自身（非堆分配）、容量无法超过编译期CAPACITY的容器，示例实现代码如下：

template <typename T, int CAPACITY>
struct static_vector {
    unsigned char data[sizeof(T)*CAPACITY];
    int size = 0;

    template <typename ...PARAMETERS>
    constexpr void emplace_back(PARAMETERS &&...parameters) {
        new(data + size * sizeof(T)) T(std::forward<PARAMETERS>(parameters)...);
        size++;
    }

    constexpr const T &operator[](int idx) const {
        return std::launder(reinterpret_cast<const T *>(data))[idx];
    }
};

（希望该实现无未定义行为）

使用该实现时会触发各类constexpr相关错误，测试程序如下：

struct Foo {
    int x;

    constexpr Foo(int x) : x(x) { }
};

constexpr int fn() {
    static_vector<Foo, 3> a;
    a.emplace_back(1);
    a.emplace_back(2);
    return a[0].x + a[1].x;
}

int main() {
    constexpr int v = fn();
    printf("%d\n", v);
}

已知采用堆分配存储可实现类似constexpr容器，现询问：能否通过static_vector这类嵌入式存储实现该功能？旧标准不支持的话，后续C++标准是否会提供支持？（尝试过用union实现也以失败告终）

问题解答 #

能否用嵌入式存储实现constexpr static_vector？ #

当前（C++20及更早版本）无法实现，核心障碍来自C++标准对constexpr上下文的严格限制：

• reinterpret_cast的constexpr限制：标准明确规定，constexpr求值过程中不允许不同类型指针之间的reinterpret_cast（比如把unsigned char*转换为T*），这直接导致operator[]中的类型转换在constexpr场景下非法。
• placement new的生存期规则：C++20虽允许在constexpr函数中使用placement new创建对象，但要求这些对象必须在同一constexpr求值过程中被显式销毁，或存储属于静态/线程存储期。而static_vector的data是自动存储期数组，在constexpr函数退出后，用placement new创建的对象生存期无法被编译器认可，不符合常量表达式的要求。
• std::launder的constexpr限制：即使C++20将std::launder标记为constexpr函数，它的使用前提是对象已合法创建且生存期正式开始，但嵌入式存储上的对象在constexpr上下文中的生存期起始规则仍有严格限制，无法满足需求。

旧标准（C++17及更早）则完全不支持这类场景——这些版本的constexpr函数禁止任何形式的内存分配操作（包括placement new），连基础编译都无法通过。

后续C++标准是否会提供支持？ #

C23对constexpr对象模型做了进一步放宽，但仍未完全解决嵌入式存储动态emplace的问题。不过目前已有相关提案试图在未来的C版本中完善constexpr环境下的嵌入式动态容器支持，允许在自动存储期的内存缓冲区上安全执行placement new并管理对象生存期，从而让static_vector这类容器能在constexpr中正常工作。C++26及后续版本有很大概率会原生支持这类场景。

另外，你尝试用union实现失败的原因也类似：constexpr上下文对union的活跃成员切换有严格限制，无法动态创建并切换到新的成员对象。

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