能否创建内容可修改但容器属性不可变的STL容器？

这个需求用示例最容易说明：

std::vector<int> a;
a.push_back(1);
a[0] = 2;
const std::vector<int>& b = a;
b.push_back(1); // 希望触发错误：禁止修改容器结构（分配/释放内存）
b = std::vector<int>(); // 希望触发错误：禁止重新绑定引用指向的容器
b[0] = 2; // 不希望触发错误：允许修改容器内的元素值

这就像C语言里的数组指针声明：
char* const ptr = array;
这种情况下，数组的元素值可以修改，但指针本身不能被重新赋值（也就是不能让它指向别的数组）。

核心需求 #

在一个模块里分配并初始化好容器数据，通过引用传递给其他模块处理。要明确传递的意图：允许修改容器内的元素，但禁止操作底层内存分配（比如添加/删除元素、重新赋值容器）。

现有近似实现方案 #

• 对于提供data()方法的容器（比如std::vector、std::array），可以直接传递data()返回的指针，配合容器的大小一起传递，这样只能修改元素，无法操作容器结构。
• 如果自定义类，可以通过mutable成员或者const_cast来实现类似效果，但这需要自己额外封装。

STL原生支持情况 #

目前STL并没有直接提供这种“允许修改元素、但禁止修改容器本身”的原生引用/容器类型。标准库的const容器引用会完全禁止修改（包括元素），而非const引用又无法限制对容器结构的修改，这中间的空白暂时没有原生STL特性可以填补。

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