为什么在标准容器中使用std :: auto_ptr <>是错误的？

为什么使用std::auto_ptr<>标准容器是错误的？

C ++标准指出，STL元素必须是“可复制构造的”和“可分配的”。换句话说，必须能够分配或复制一个元素，并且这两个元素在逻辑上是独立的。std::auto_ptr不满足此要求。

以下面的代码为例：

class X
{
};

std::vector<std::auto_ptr<X> > vecX;
vecX.push_back(new X);

std::auto_ptr<X> pX = vecX[0];  // vecX[0] is assigned NULL.

要克服此限制，如果没有C ++ 11 ，则应使用std::unique_ptr，std::shared_ptr或std::weak_ptr智能指针或升压等效项。 这是这些智能指针的Boost库文档。

该拷贝语义的auto_ptr不与容器兼容。

特别是，将一个副本复制auto_ptr到另一个副本不会创建两个相等的对象，因为一个对象已经失去了对指针的所有权。

更具体地说，复制an auto_ptr会使副本之一放开指针。这些容器中剩余的哪些未定义。因此，如果将指针存储auto_ptrs在容器中，则可能会随机失去对指针的访问。

关于该主题的两篇超优秀文章：

• 智能指针-什么，为什么，哪个？
• 本周大师25

STL容器需要能够复制您存储在其中的项目，并且旨在使原始和副本具有相同的功能。自动指针对象具有完全不同的契约，因此复制会创建所有权转移。这意味着auto_ptr的容器将表现出奇怪的行为，具体取决于用法。

在有效的STL（Scott Meyers）项目8中有可能出错的详细描述，在有效的C ++（Scott Meyers）项目13中也没有那么详细的描述。

STL容器存储所包含项目的副本。复制auto_ptr时，会将旧的ptr设置为null。这种行为破坏了许多容器方法。

C ++ 03标准（ISO-IEC 14882-2003）在第20.4.5节第3段中指出：

[...] 注意：[auto_ptr不满足标准库容器元素的CopyConstructible和Assignable要求，因此使用auto_ptr实例化标准库容器会导致未定义的行为。—尾注 ]

C ++ 11标准（ISO-IEC 14882-2011）在附录D.10.1第3段中指出：

[...] 注意：auto_ptr的实例满足MoveConstructible和MoveAssignable的要求，但不满足CopyConstructible和CopyAssignable的要求。—尾注]

C ++ 14标准（ISO-IEC 14882-2014）在附录C.4.2附录D中表示：兼容性功能：

更改：未定义类模板auto_ptr，unary_function和binary_function，函数模板random_shuffle以及函数模板（及其返回类型）ptr_fun，mem_fun，mem_fun_ref，bind1st和bind2nd。
理由：被新功能取代。
对原始功能的影响：使用这些类模板和函数模板的有效C ++ 2014代码可能无法在本国际标准中进行编译。