在我看来，一个类应该提供一个定义良好的抽象，并且不应该在没有类知识的情况下修改私有成员。但是当我检查“auto_ptr”（或任何其他智能指针）时，违反了这条规则。请看以下代码
class Foo{
public:
Foo(){}
};
int main(int argc, char* argv[])
{
std::auto_ptr<Foo> fooPtr(new Foo);
delete fooPtr.operator ->();
return 0;
}
运算符重载 (->) 给出了底层指针，它可以在不知道“auto_ptr”的情况下进行修改。我不能认为这是一个糟糕的设计，因为智能指针是由 C++ 极客设计的，但我想知道他们为什么允许这样做。有没有办法写一个没有这个问题的智能指针。
欣赏你的想法。
【问题讨论】：
delete[] &vector[0];
标签： c++
智能指针应该具有两个理想的属性：
很明显，这些属性是矛盾的，不能同时实现！甚至Boost的shared_ptr<Foo>等人。有get()，所以他们有这个“问题”。在实践中，第一个更重要，所以第二个必须走。
顺便说一句，当普通的旧 get() 方法导致同样的问题时，我不确定你为什么要使用稍微晦涩的 operator->()：
std::auto_ptr<Foo> fooPtr(new Foo);
delete fooPtr.get();
【讨论】：
T*而不是T&来接受参数会更好吗？我不能，而且我认为后者更安全。
T* 是必要的最明显情况是指针可能为空。一个更投机取巧的论点也可能是您知道该函数无论如何都需要初始化一个局部指针变量。你不妨传递那个指针。
为了提供对底层对象的快速、方便、“类似指针”的访问，不幸的是，operator-> 不得不稍微“泄露”它的抽象。否则，智能指针将不得不手动包装所有允许公开的成员。这些要么需要实例化智能指针的部分进行大量“配置”工作，要么需要 C++ 中不存在的元编程级别。此外，正如 pyrsta 所指出的，即使这个漏洞被堵住了，仍然有许多其他（也许是非标准的）方法可以颠覆 C++ 的访问控制机制。
【讨论】：
有没有什么办法可以写出没有这个问题的智能指针。
这并不容易，而且通常不会（即，您不能为每个通用的 Foo 类都这样做）。
我能想到的唯一方法是更改Foo 类的声明：将Foo 析构函数设为私有（或将私有delete 运算符定义为@ 的成员） 987654324@ 类），并在Foo 类的声明中指定std::auto_ptr<Foo> 是friend。
【讨论】：
不，没有办法在 C++ 中完全禁止这种不良用法。
作为一般规则，任何库代码的用户都不应在任何包装指针上调用 delete，除非特别说明。在我看来，所有现代 C++ 代码的设计都应该让类的用户永远不必承担手动释放她获得的资源的全部责任（即改用RAII）。
旁注：std::auto_ptr<T> 不再是最佳选择。它在复制时的不良行为可能导致严重的编码错误。通常更好的主意是改用std::tr1::scoped_ptr<T> 或std::tr1::shared_ptr<T> 或它们的Boost 变体。
此外，在 C++0x 中，std::unique_ptr<T> 将在功能上取代 std::auto_ptr<T> 作为更安全的类。可以在here 找到有关该主题的一些讨论以及最近 C++03 对 unique_ptr 仿真的实现。
【讨论】：
我不认为这表明 auto_ptr 存在封装问题。每当处理拥有的指针时，人们了解谁拥有什么是至关重要的。在 auto_ptr 的情况下，它拥有它持有的指针[1]；这是 auto_ptr 抽象的一部分。因此，以任何其他方式删除该指针都违反了 auto_ptr 提供的合同。
我同意误用 auto_ptr[2] 相对容易，这很不理想，但在 C++ 中，你永远无法避免“谁拥有这个指针？”的基本问题，因为为了更好或更糟糕的是，C++ 不会为您管理内存。
[1] 来自 cplusplus.com 的引述：“auto_ptr 对象具有获取分配给它们的指针所有权的特性”：http://www.cplusplus.com/reference/std/memory/auto_ptr/
[2] 例如，你可能误认为它具有值语义，并将其用作向量模板参数：http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=4&ved=0CEEQFjAD&url=http%3A%2F%2Fwww.gamedev.net%2Ftopic%2F502150-c-why-is-stdvectorstdauto_ptrmytype--bad%2F&ei=XU1qT5i9GcnRiAKCiu20BQ&usg=AFQjCNHigbgumbMG3MTmMPla2zo4LhaE1Q&sig2=WSyJF2eWrq2aB2qw8dF3Dw
【讨论】：
我认为这个问题解决了一个非问题。智能指针用于管理指针的所有权，如果这样做会使指针不可访问，它们就达不到目的。
还要考虑这一点。任何容器类型都会为您提供迭代器；如果it 是这样一个迭代器，那么&*it 是指向容器中项目的指针；如果你说delete &*it，那么你就死定了。但是暴露其项目的地址并不是容器类型的缺陷。
【讨论】：