我可以将 auto_ptr 放入 STL 容器中吗？

Question

我继承了一个接口，并实现了一个虚拟函数，该函数应该对动态分配的对象列表做一些工作。第一步是根据一些自定义等效标准从列表中删除重复项：

class Foo { /* ... */ };

struct FooLess
{
    bool operator()(const Foo *lhs, const Foo *rhs);
}

struct FooEqual
{
    bool operator()(const Foo *lhs, const Foo *rhs);
}

void doStuff(std::list<Foo*> &foos)
{
    // use the sort + unique idiom to find and erase duplicates
    FooLess less;
    FooEqual equal;
    foos.sort( foos.begin(), foos.end(), less );
    foos.erase( 
        std::unique( foos.begin(), foos.end(), equal ), 
        foos.end() ); // memory leak!
}

问题是使用sort + unique不会清理内存，erased的元素在unique之后有未指定的值，所以我无法在 eraseing 之前自己进行清理。我正在考虑这样的事情：

void doStuff(std::list<Foo*> &foos)
{
    // make a temporary copy of the input as a list of auto_ptr's
    std::list<auto_ptr<Foo>> auto_foos;
    for (std::list<Foo>::iterator it = foos.begin(); it != foos.end(); ++it) 
        auto_foos.push_back(auto_ptr<Foo>(*it));
    foos.clear();

    FooLess less; // would need to change implementation to work on auto_ptr<Foo>
    FooEqual equal; // likewise
    auto_foos.sort( auto_foos.begin(), auto_foos.end(), less );
    auto_foos.erase( 
        std::unique( auto_foos.begin(), auto_foos.end(), equal ), 
        auto_foos.end() ); // okay now, duplicates deallocated

    // transfer ownership of the remaining objects back
    for (std::list<auto_ptr<Foo>>::iterator it = auto_foos.begin(); 
        it != auto_foos.end(); ++it) 
    { foos.push_back(it->get()); it->release(); }
}

这样可以吗，还是我遗漏了什么？

我无法使用 C++11（Boost 可能是可能的）或更改函数签名以接受简单的 Foos 列表。

Answer 1

要将对象放入标准容器中，对象需要值语义（标准说 "copy assignable" 和 "copy constructable"）。除其他外，这意味着复制构造函数和赋值运算符需要创建一个对象的副本（保持原始不变）

auto_ptr 复制构造函数不这样做。相反，复制构造函数和赋值运算符转移指针的所有权。

因此，标准容器不可能包含 auto_ptr。

许多实现（如在编译器和标准库中）都对标准容器 and/or auto_ptr 进行了编码，因此尝试使用 auto_ptr 的容器将触发编译器错误。不幸的是，并非所有实现都这样做。

Answer 2

在C++98中一般可以使用以下方法：

定义一些指针来完成 std::auto_ptr 不能做的事情。那个东西有一个旧版本，其中包含一个类型为 bool 的附加字段，用于标记所有权。它被标记为可变的，因此在复制时也可以在正在读取的对象中对其进行修改。仅当 owned 为真时才在最后删除该对象。类似于：

==

template <class T> class owning_ptr
{
   T* ptr;
   mutable bool owns;
   public:
   void operator =(T* src) { ptr = src; owns = true; }
   owning_ptr(const owning_ptr& other)
   {
       // copy the pointer, but STEAL ownership!
       ptr = other.ptr; owns = other.owns; other.owns = false;
   }
   T* release() { owns = false; return ptr; }
   ~owning_ptr() { if ( owns ) delete ptr; }
   /* ... some lacking stuff ..*/
 };

你可以试试boost::shared_ptr
而不是 std::unique，您可以尝试在循环中执行 std::adjacent_find。然后你会找到所有 "the same" 的元素，就像你的 equal 一样。如果有多个元素，您将在原地擦除它们（您可以这样做，因为它是一个列表，因此迭代器仍然有效）。

我可以将 auto_ptr 放入 STL 容器中吗？

Can I get away with putting auto_ptr in a STL container?

c++

stl

auto-ptr