为什么我不能使用 reset() 删除unique_ptr<字符[]>？

Question

当我有一个指向单个对象的唯一指针时，我可以使用reset():

删除它。

std::unique_ptr<char> variable(new char);
variable.reset();

但是，这不适用于包含数组的std::unique_ptr。为什么?什么是正确的方式来删除这样的指针?

我正在使用Embarcadero c++ Builder 10.1。相关标准为c++ 11。

我的观察

当我有一个包含数组的唯一指针时，编译失败:

std::unique_ptr<char[]> variable(new char[10]);
variable.reset();

Error message is no matching function to call for 'reset' .

std::unique_ptr<char[]> variable(new char[10]);
variable.reset(nullptr);

错误消息是cannot initialize a variable of type 'pointer' (aka 'char *') with an lvalue of type '<bound member function type>'和assigning to '<bound member function type>' from incompatible type '_Null_ptr_type' (aka 'nullptr_t')。

这个编译:

std::unique_ptr<char[]> variable(new char[10]);
variable = nullptr;

相关代码

template<class _Uty>
using _Enable_ctor_reset = enable_if_t<
    is_same<_Uty, pointer>::value
    || (is_same<pointer, element_type *>::value
    && is_pointer<_Uty>::value
    && is_convertible<
        remove_pointer_t<_Uty>(*)[],
        element_type(*)[]
    >::value)>;
_Myt& operator=(_Null_ptr_type) _NOEXCEPT
    {   // assign a null pointer
    reset(pointer());
    return (*this);
    }
_NOINLINE void reset(_Null_ptr_type _Ptr) _NOEXCEPT
    {   // establish new null pointer
    pointer _Old = this->_Myptr;
    this->_Myptr = _Ptr;
    if (_Old != pointer())
        this->get_deleter()(_Old);
    }
template<class _Uty,
    class = _Enable_ctor_reset<_Uty> >
void reset(_Uty _Ptr) _NOEXCEPT
    {   // establish new pointer
    pointer _Old = get();
    this->_Myptr() = _Ptr;
    if (_Old != pointer())
        this->get_deleter()(_Old);
    }

Answer 1

这似乎是标准库中的一个bug，因为同样的代码可以用其他编译器编译，正如deW1和sanjay在注释中指出的那样。

c++ 11标准，第20.7.1.3节("具有运行时长度的数组对象的unique_ptr ")列出了reset()的以下签名:

void reset(指针p =指针())noexcept;

第一个示例无法编译，因为标准库实现中缺少默认实参。第二个示例实际上调用reset(pointer())，它无法编译。可能这个编译错误是没有添加默认实参的原因。

我已经向Embarcadero做了一个bug报告:

RSP-16165在包含数组对象