如何保护std::array元素不被修改，同时支持整体覆盖？

针对你的需求——全局数组禁止单个元素被意外修改，但允许创建副本修改、通过整体覆盖更新全局状态，同时保留指针地址对比判断变更的能力，推荐用命名空间封装的方案，既满足嵌入式环境的轻量要求，又能严格控制访问权限。

实现代码 #

#include <array>
#include <iostream>

namespace GlobalState {
    // 内部可变的全局数组，仅在命名空间内可直接操作
    static std::array<int, 3> arr = {1, 2, 3};

    // 对外提供只读访问接口，返回const引用，防止外部修改单个元素
    const std::array<int, 3>& getArr() {
        return arr;
    }

    // 提供唯一的全局数组更新入口，仅允许整体覆盖
    void setArr(const std::array<int, 3>& newArr) {
        arr = newArr;
    }
}

// 变更函数：仅能通过只读接口获取数组，修改副本后返回新指针
const std::array<int, 3>* mutate(const std::array<int, 3>* ptr) {
    // (*ptr)[2] = 9; // 编译错误：无法修改const指针指向的数组元素
    // return ptr; // 返回原指针表示无变更

    // 创建副本并修改
    auto ret = new std::array<int, 3>(*ptr);
    (*ret)[0] = 9;
    return ret;
}

int main() {
    const auto& globalArr = GlobalState::getArr();
    const std::array<int, 3>* retPtr = mutate(&globalArr);

    if (retPtr == &globalArr) {
        std::cout << "pointers are the same\n";
    } else {
        std::cout << "pointers are different\n";
        GlobalState::setArr(*retPtr); // 通过专属接口整体更新全局数组
        // 执行依赖新状态的耗时操作
    }
    delete retPtr;

    for (int val : GlobalState::getArr()) {
        std::cout << val << "\n";
    }

    // 以下操作均会触发编译错误，符合权限控制要求：
    // GlobalState::arr[0] = 5; // 无法访问命名空间内的static变量
    // globalArr[0] = 5; // const引用禁止修改元素

    return 0;
}

方案说明 #

1. 权限控制：
   • 全局数组被声明为命名空间内的static变量，外部无法直接访问
   • 对外仅暴露getArr()（返回const引用）和setArr()（接受完整数组），严格限制修改方式：禁止单个元素修改，仅允许整体覆盖
2. 变更判断：
   • mutation函数接收const指针，只能创建副本修改，返回新堆内存的指针
   • 通过对比返回指针与全局数组地址，可快速判断是否发生变更
3. 嵌入式友好：
   • 无复杂依赖，仅用标准库std::array，内存开销低
   • 逻辑简洁，符合微控制器环境的资源限制

为什么之前的尝试不适用 #

• std::array<int, 3> const：整个数组被标记为const，无法执行整体赋值操作
• std::array<int const, 3>：数组元素为const，导致副本也无法修改元素，无法实现变更逻辑

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