静态函数初始化static const std::array致const属性失效问题咨询

我定义了一个包含私有static const std::array成员的结构体，原本期望该成员保持静态且不可写，但发现不同初始化方式会导致截然不同的结果：

• 使用列表初始化时，尝试修改数组元素会触发段错误；
• 使用静态函数初始化时，居然能成功修改元素值，且编译器未报错。

实际场景中需要用复杂逻辑（比如三角函数计算）初始化大尺寸静态const数组，无法理解这一现象，寻求解决办法。

测试代码 #

#include <iostream>
#include <array>

struct ArrayContainer
{
    using iterator = typename std::array<int, 4>::iterator ;

    inline constexpr iterator begin() { return iterator(&arr[0]); }
    inline constexpr iterator end()   { return iterator(&arr[0] + arr.size()); }

private:
    static const std::array<int, 4> arr;

    static std::array<int, 4> HalfCircleStatic_init();
};

// 列表初始化版本
const std::array<int, 4> ArrayContainer::arr = {1,2,3,4};
// 静态函数初始化版本替换为：
// const std::array<int, 4> ArrayContainer::arr = ArrayContainer::HalfCircleStatic_init();

std::array<int, 4> ArrayContainer::HalfCircleStatic_init() {
    std::array<int, 4> retVal{};
    for (int i = 0; i < 4; ++i) retVal[i] = i+1;
    return retVal;
}

int main() {
    ArrayContainer arrCont;
    auto it = arrCont.begin();
    std::cout << "Value at 0: " << *it << std::endl;
    *it = 5;
    std::cout << "Value at 0: " << *it << std::endl;
    return 0;
}

运行结果 #

列表初始化时 #

Value at 0: 1

Process finished with exit code 139 (interrupted by signal 11: SIGSEGV)

静态函数初始化时 #

Value at 0: 1
Value at 0: 5

Process finished with exit code 0

环境 #

Ubuntu系统，GCC 8.4版本

问题原因 #

1. 内存布局差异：

   • 列表初始化的const静态对象，编译器能在编译期确定其值，会将其放入只读数据段（.rodata）。尝试修改只读内存会触发硬件保护，导致段错误，这是符合预期的行为。
   • 非constexpr静态函数初始化时，GCC 8.4无法在编译期完成初始化，只能在程序启动时运行初始化函数生成对象，此时对象会被放入可读写数据段（.data）。虽然对象声明为const，但内存本身没有只读标记，所以修改操作能执行成功。

2. 未定义行为：
   无论哪种初始化方式，修改const对象的行为都是C++标准定义的未定义行为。编译器没有强制报错的义务，两种场景的不同表现只是未定义行为的具体体现，并非语言特性。

解决方案 #

1. 禁止非const访问

修改结构体的迭代器类型为const_iterator，并将begin()/end()改为const成员函数，从根源上避免修改const数组的可能：

struct ArrayContainer
{
    using iterator = typename std::array<int, 4>::const_iterator ;

    inline constexpr iterator begin() const { return arr.begin(); }
    inline constexpr iterator end() const { return arr.end(); }

private:
    static const std::array<int, 4> arr;

    static std::array<int, 4> HalfCircleStatic_init();
};

2. 使用constexpr函数编译期初始化

如果你的复杂初始化逻辑可以用constexpr实现（GCC 8.4支持constexpr std::array的基本操作），将初始化函数改为constexpr，这样编译器能在编译期完成初始化，对象会被放入只读段，同时保证不可修改：

struct ArrayContainer
{
    // ... 其他成员不变 ...

private:
    static constexpr std::array<int, 4> arr = HalfCircleStatic_init();

    static constexpr std::array<int, 4> HalfCircleStatic_init() {
        std::array<int, 4> retVal{};
        for (int i = 0; i < 4; ++i) retVal[i] = i+1;
        return retVal;
    }
};

// 注意：constexpr静态成员需要类内初始化，无需类外定义（C++17及以后）
// 若使用C++14，仍需类外补充定义：
// constexpr std::array<int, 4> ArrayContainer::arr;

这样无论初始化逻辑多复杂，只要能在编译期计算，就能保证const数组的只读属性，同时避免未定义行为。

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