std::unique_ptr::reset 检查托管指针是否为空？

Question

我一直在阅读有关 C++11 智能指针的信息，以便在我的源代码中使用它们，我一直在阅读的文档是 cppreference.com 上的文档；在阅读std::unique_ptr 时，reset function 上有一个对我来说似乎不正确的文档（强调我的）：

替换托管对象。

• 给定current_ptr，由*this 管理的指针按以下顺序执行以下操作：

  1. 保存当前指针old_ptr = current_ptr的副本。
  2. 用参数current_ptr = ptr 覆盖当前指针。
  3. 如果旧指针非空，则删除之前管理的对象if(old_ptr != nullptr) get_deleter()(old_ptr)。

在 C++ 标准文档中，我们可以阅读众所周知的删除空指针功能：

从n3690标准中提取5.3.5删除（强调我的）：

如果delete-expression的操作数的值不是空指针值，那么：

——如果对要删除的对象的新表达式的分配调用没有省略，delete-expression 将调用一个释放函数。从 new-expression 的分配调用返回的值应作为第一个参数传递给释放函数。

— 否则，delete-expression不会调用释放函数。

所以，我想知道为什么 cppreference 说 unique_ptr::reset 函数在删除托管指针之前检查它的空值，即使标准说不会通过空指针调用释放函数（这就是 cppreference文档对我来说似乎不正确）。

很明显，我一定是弄错了，这样做肯定是有原因的，但我无法想象这可能是什么原因。有什么提示吗？

PS：标准中的哪里定义了std::unique_ptr 必须如何实现或表现？在 20.9.1 类模板 unique_ptr 中，我找不到任何关于 check-for-nullity 的内容。

Answer 1

是的，标准要求检查非空值（C++11，[unique.ptr.single.modifiers]§4）：

void reset(pointer p = pointer()) noexcept;

4 效果： 将p 分配给存储的指针，然后如果存储的指针的旧值old_p 不等于nullptr，则调用@ 987654326@。 [ 注意： 这些操作的顺序很重要，因为对 get_deleter() 的调用可能会破坏 *this。 ——尾注 ]

（强调我的）

讨论：另一种标准化的方法是将“负担”放在类的用户身上，即要求所有删除器（默认一个和任何自定义的）在空指针上调用时可以正常工作。

但是，我理解这个想法是启用像 free() 这样的函数，甚至像假设的 unlock_mutex(Mutex*) 这样的东西，作为开箱即用的删除器，无论它们如何/是否处理空指针。所以把这个检查放到unique_ptr本身就拓宽了可以直接使用的删除器的选择范围。

Answer 2

如果您的删除器不执行简单的删除操作怎么办？如果您的 unique_ptr 有一个执行其他操作的自定义删除器怎么办，您是否希望使用 nullptr 作为参数调用您的删除器？ :D