C++编译期含std::vector的类如何转数据为运行期std::array

问题概述 #

尝试实现Writer类，在编译期通过std::vector构建二进制流，再转换为std::array供运行期使用。但启用wr.write(1)后编译失败，报错涉及operator new和数组下标非法。

报错原因分析 #

1. constexpr变量持有动态内存：原代码中将Writter和std::vector声明为constexpr变量，而push_back触发的operator new属于动态内存分配。C++20虽允许constexpr std::vector，但constexpr变量要求其内部所有状态都必须是编译期可确定的常量表达式，动态分配的内存无法满足这一要求，导致编译器判定toConstant()不是常量表达式。
2. 常量表达式中访问动态内存：constexpr std::vector的元素存储在动态分配的内存中，编译器无法将vec[i]视为编译期常量，因此无法向std::array（编译期确定大小的静态数组）赋值。

解决方案 #

核心思路：在consteval函数内部使用std::vector构建数据，但不要将vector或Writer声明为constexpr变量。consteval函数本身在编译期执行，可合法使用动态内存分配（编译期分配的内存会在编译结束后释放），最终将数据拷贝到大小确定的std::array中返回。

修改后的代码：

#include <cstdint>
#include <array>
#include <vector>

class Writer
{
private:
    std::vector<uint8_t> vec;

public:
    constexpr Writer() = default;

    // 返回const引用避免不必要拷贝
    constexpr const std::vector<uint8_t>& getVector() const { return vec; }

    constexpr void write(uint8_t val) { vec.push_back(val); }

    constexpr size_t getVecSize() const { return vec.size(); }
};

consteval Writer toConstant()
{
    Writer wr;
    wr.write(1); // 启用write操作
    return wr;
}

consteval auto getBinary()
{
    // 不要将wr声明为constexpr，consteval函数内的自动变量由编译期处理
    auto wr = toConstant();
    const auto& vec = wr.getVector();
    
    // vec.size()在consteval执行时是编译期常量，可用于std::array的大小
    std::array<uint8_t, vec.size()> arr;
    for (size_t i = 0; i < vec.size(); ++i) {
        arr[i] = vec[i];
    }
    
    return arr;
}

int main()
{
    constexpr auto binary = getBinary(); // 编译期生成std::array
}

关键修改点 #

• 移除Writter和std::vector的constexpr修饰：在consteval函数内部使用自动变量，利用consteval的编译期执行特性处理动态内存。
• getVector返回const引用：避免不必要的vector拷贝，提升编译期效率。
• 直接用vec.size()作为std::array的大小：consteval函数执行时，vec.size()是编译期已知的常量，符合std::array对大小的编译期要求。

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