是否可以创建一个内容可变但容器属性不可变的 STL 容器？

Question

这可能最容易用例子来解释。

std::vector<int> a;
a.push_back(1);
a[0] = 2;
const std::vector<int>& b = a;
b.push_back(1); // Throws an error I want.
b = std::vector<int>(); // Throws an error I want.
b[0] = 2; // Throws an error I don't want.

这有点类似于声明如下的数组： char* const ptr = array; 这里的值可以修改，但是指向数组的指针不能改变。

这样做的基本原因是能够在一个模块中分配和初始化数据，同时通过引用传递它并在其他地方处理它。 我想表明不应该操纵基础分配。

对于具有data() function 的容器，这可以通过仅传递此数据指针而不是容器来实现。 此外，如果我要编写自己的 class，我想我可以使用mutable或const_casts实现类似的功能，但我很好奇是否缺少任何 STL 功能。

Answer 1

不，没有一个标准库容器提供这种行为。 您将需要编写自己的容器或从标准库中改编一个容器才能拥有此功能。

但是，如果您不想允许修改容器本身（仅修改它们的元素），请考虑将容器中包含的元素范围而不是容器本身传递给您的用户。

例如（C++20 之前）将a.begin()和a.end()作为迭代器对传递给用户，指示元素的范围。 如果用户只需要访问范围内的元素并且不能通过迭代器修改容器本身，那么用户不需要关心迭代器来自哪里。

由于 C++20 将元素范围作为某种形式的视图范围传递。 例如，对于连续容器，如std::vector ，作为从容器构造的std::span传递。 正如您还建议的那样， std::span基本上封装了此类容器的传递.data()和.size() 。