为何std::vector与std::array以constexpr作为类成员大小初始化时存在差异？

你遇到的问题本质是C++类成员初始化的语法限制，以及两种容器的本质差异，和constexpr本身无关，具体原因和解决方法如下：

1. 核心原因拆解 #

• std::array的特殊性：std::array是编译期大小固定的聚合类型，它的模板参数必须是编译期常量（这里m_numChecks是static constexpr，符合要求）。类内声明std::array<int,m_numChecks> m_store;只是声明了一个固定大小的数组成员，不需要在类内执行构造函数调用，因此语法合法。

• std::vector的语法错误：std::vector是动态容器，类内声明非静态成员时，不能直接用圆括号()进行初始化——这是C++的语法规则限制，哪怕初始化参数是编译期常量也不行。你写的std::vector<int> m_storeVector(m_numChecks);违反了这个规则，因此编译失败。

2. 修正方案 #

方案1：使用构造函数初始化列表 #

把vector的初始化放到类的构造函数中，这是最规范的方式：

class Checks{
    enum class CheckType{
        CHECK_1,
        CHECK_2,
        CHECK_COUNT
    };
    
    static constexpr uint32_t m_numChecks = static_cast<uint32_t>(CheckType::CHECK_COUNT);
public:
    std::array<int,m_numChecks> m_store;
    std::vector<int> m_storeVector;

    Checks() : m_storeVector(m_numChecks) {}
};

方案2：使用类内成员初始化的等号语法 #

用等号调用vector的构造函数完成初始化：

class Checks{
    enum class CheckType{
        CHECK_1,
        CHECK_2,
        CHECK_COUNT
    };
    
    static constexpr uint32_t m_numChecks = static_cast<uint32_t>(CheckType::CHECK_COUNT);
public:
    std::array<int,m_numChecks> m_store;
    std::vector<int> m_storeVector = std::vector<int>(m_numChecks);
};

注意事项 #

如果尝试用花括号{}初始化vector，比如std::vector<int> m_storeVector{m_numChecks};，要注意这会创建仅包含一个值为m_numChecks的元素的vector，而不是创建m_numChecks个默认初始化的元素，和你原本的需求不符，因此不建议这么用。

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