为何const引用的Array4对象可修改其内部数据？

在AMReX教程中遇到如下代码：

Array4<Real> const& a = fab1.array();
Dim3 lo = lbound(a);
Dim3 hi = ubound(a);
int nc = a.nComp();
for(int n=0; n<nc; n++){
    for(int i=lo.x; i<=hi.x; i++){
        for(int j=lo.y; j<=hi.y; j++){
            for(int k=lo.z; k<=hi.z; k++){
                a(i, j, k, n) = 2.0;
            }
        }
    }
}

Array4是用于存储网格点数据（如矩阵、张量等）的模板类。这里的疑问是：变量a作为常量Array4对象的引用，为何能修改对应的数据？教程提到“const表示Array4对象本身不能指向其他数据”，该如何理解这种可修改行为？

核心原因在于**const修饰的是Array4对象本身，而非它指向的底层数据**。

在声明Array4<Real> const& a时，const的作用是限定这个Array4对象的自身状态不可变：你无法调用它的非const成员函数来改变对象内部的结构（比如让它指向另一块内存区域），但这并不限制你修改它所指向的数据内容。

AMReX的Array4本质是一个数据视图（View）——它自身不存储数据，只是持有指向实际数据缓冲区的引用或指针。当你使用const Array4&时，约束的是这个视图对象不能被修改（比如不能调整它的边界、切换指向的缓冲区），但通过operator()重载访问到的底层数据，只要没有被额外的const限定，就允许修改。

总结来说：

• const约束的是Array4视图对象的自身状态，而非底层数据
• 底层数据的可修改性由实际数据缓冲区的属性决定，和视图对象的const限定无关

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