为什么 auto_ptr 可以“密封”一个容器

Question

wikipedia 上的 auto_ptr 说“包含 STL 容器的 auto_ptr 可以用于防止容器的进一步修改。”。它使用了以下示例：

auto_ptr<vector<ContainedType> > open_vec(new vector<ContainedType>);

open_vec->push_back(5);
open_vec->push_back(3);

// Transfers control, but now the vector cannot be changed:
auto_ptr<const vector<ContainedType> > closed_vec(open_vec); 

// closed_vec->push_back(8); // Can no longer modify

如果我取消最后一行的注释，g++将报告错误，因为

t05.cpp:24: error: passing ‘const std::vector<int, std::allocator<int> >’ 
as ‘this’   argument of ‘void std::vector<_Tp, _Alloc>::push_back(const _Tp&) 
[with _Tp = int, _Alloc = std::allocator<int>]’ discards qualifiers

我很好奇为什么在转移该向量的所有权后，它不能再被修改？

多谢！

Answer 1

close_vec 指针保存类型 const vector。由于类型为 const，因此您无法调用其上未定义为 const 的任何方法（这意味着它们不会更改内部数据）。当然 push_back 是非常量的，因为它改变了向量，所以你不能在 const 指针上调用它。它实际上与 auto_ptr 没有任何关系，您可以使用常规指针完成相同的任务：

vector<ContainedType>* open_vec = new vector<ContainedType>();
open_vec->push_back(5);
open_vec->push_back(3);

const vector<ContainedType>* closed_vec = open_vec;
closed_vec->push_back(8); // Fails

Answer 2

您无法修改向量，因为 close_vec 是一个指向 const 的指针，因此编译器不会让您修改指针（但您仍然可以移动指针）。要允许修改向量，请将 close_vec 声明为

auto_ptr<vector<ContainedType> > closed_vec(open_vec); // no const anymore
closed_vec->push_back(8); // this now works

---

如果您已将指针声明为

const auto_ptr<vector<ContainedType> > closed_vec(open_vec);

另一方面，您将能够更改指针，但无法移动指针。