为什么 std::auto_ptr 上不允许使用运算符 []

Question

为什么 std::auto_ptr 上不允许使用运算符 []？

#include <iostream>

using namespace std ;

template <typename T>
void foo( T capacity )
{
    auto_ptr<T> temp = new T[capacity];

    for( size_t i=0; i<capacity; ++i )
        temp[i] = i; // Error
}

int main()
{
    foo<int>(5);
    return 0;
}

在 Microsoft Visual C++ 2010 上编译。

错误：错误 C2676：二进制 '[' : 'std::auto_ptr<_Ty>'未定义此运算符或转换为预定义运算符可接受的类型

Answer 1

原因是 auto_ptr 将使用 delete 而不是 delete[] 来释放内容，因此 auto_ptr 不是适合处理堆分配的数组（用 new[] 构造），并且仅适合处理用 new 构造的单个堆分配数组。

支持 operator[] 会鼓励开发人员将其用于数组，并且会错误地给人一种该类型可以支持数组的印象，而实际上它不能。

如果您想要一个类似智能指针的数组类，请使用 boost::scoped_array。

Answer 2

因为 std::auto_ptr 不适合与数组一起使用。

此外，在您的示例中

std::auto_ptr<T> temp = new T(capacity); // T=int, capacity=5

实际上分配了一个 single int 并使用 capacity 对其进行初始化。它不会像您预期的那样创建整数数组。

Answer 3

因为 auto_ptr 被设计为保存指向单个元素的指针；它将在销毁时使用delete（特别是不是delete[]）。

你的例子并没有做（我认为）你认为的事情。或者至少名称“容量”具有误导性，因为您只分配一个元素（并将“容量”的值分配给它）。你的 for 循环没有任何意义。

Answer 4

auto_ptr 和其他智能指针仅用于存储指向单个对象的指针。这是因为它们在析构函数中使用delete，而不是delete[]，如果要存储指向数组的指针，则需要使用delete[]。

如果您需要将对象数组包装在智能指针中，标准库不会提供任何帮助。不过，Boost 确实提供了 scoped_array，其行为与 std::auto_ptr 类似，用于保存由 new[] 创建的对象数组。