我可以合法地写入常量向量指向的数据，例如对其进行排序吗？

Question

我有一个常数 integer vector const vector<int> v = {5,1,3,2,4} 。 如何在不使用任何额外的 memory（如向量、数组等）的情况下对其进行排序。

Answer 1

你不能。

您的向量是不可变的。 它不能改变。 没有 [合法的] 方法可以重新排序其内容。

通过扩展，如果你想要其内容的排序版本，你将需要一个新的向量，它需要更多的 memory。

Answer 2

正如您在答案中所示，解决方案是从向量中丢弃 const ，即：

vector<int>&temp = const_cast<vector<int>&>(v);
sort(temp.begin(), temp.end());

这是有效的，因为您没有更改向量的 state。 标准中关于未定义行为和抛弃 const 的唯一说明是在[dcl.type.cv]/4

任何尝试修改 ( [expr.ass] , [expr.post.incr] , [expr.pre.incr] ) const object ( [basic.type.qualifier] ) 在其生命周期 ( [basic.life] ) 结果在未定义的行为中。 [...]

[expr.ass]、[expr.post.incr] 和 [expr.pre.incr] 中的任何内容都适用于此示例，因此您不会被视为正在修改 object。

---

我确实觉得这是一个缺陷。 元素的顺序对比较运算符很重要，因此应该应用此修改。

Answer 3

我已经使用 c++11 进行了测试。 在我的工作中，它对我来说很好

您可以使用指针对 c++ 中的任何常量容器进行排序。

在您的情况下，如果您想使用sort(v.begin(),v.end())对该向量进行排序，那么由于违反const会导致一些运行时错误。

但是您可以按以下方式对容器进行分类-

vector<int>*temp=(vector<int>*)&v;
sort(temp->begin(),temp->end());

在此之后，您的常量向量 v将是这样的 -

const vector<int> v = {1,2,3,4,5}