为什么 std::unique_ptr 需要专门用于动态数组？

Question

我检查了 VC++ 2013 和 clang 3.4，发现两者都实现了std::unique_ptr，如下：

template<class T, class DeleterType = std::default_delete<T>>
class unique_ptr
{
    // ...
};

template<class T, class DeleterType>
class unique_ptr<T[], DeleterType>
{
    // ...
};

std::default_delete 能够判断 T 是否为数组类型。所以std::unique_ptr 不需要专门处理数组大小写。而且，我找不到class unique_ptr 和专门的class unique_ptr<T[], DeleterType> 之间的任何实质性区别，这是为什么呢？

Answer 1

区别在于构造函数和reset() - unique_ptr<T> 接受任何可转换为T* 的X*，而unique_ptr<T[]> 只接受T*。考虑到数组的语义和限制，这是有道理的。

另外，unique_ptr<T[]> 重载 operator[]，而 unique_ptr<T> 不会。