了解采用自定义删除器的unique_ptr的构造函数

我在说什么

我指的是上方的3和4 std::unique_ptr<T,Deleter>::unique_ptr，具有以下签名：

unique_ptr( pointer p, /* see below */ d1 ) noexcept;

我的问题

主要是这些：

• 的解释/* see below */实际上是什么意思？
• 作为程序员，在选择将什么作为删除程序类型模板参数传递给我时，如何利用它std::unique_ptr？

而且，更详细：

• 是否以的构造函数std::unique_ptr为模板的事实是必须提供deleter模板参数的原因？
• 如果对上述问题的回答是肯定的，那么如果通过类模板自变量从链接页面的含义中选择了这两个构造函数中的任何一个，则该句子的格式将不正确？
• 如何能_Dp与_Del实际不同，这是怎么重要？

我的尝试未能成功

在这里，我尝试解释我的推理。以上预期的一些问题也分散在文本中。

我的理解是，在C ++ 17之前的版本中，模板类型推导不适用于类，而仅适用于函数，因此在创建模板类的实例（例如）时，模板类的std::unique_ptr所有必需（即，没有= default_type_or_value）模板参数必须通过提供<…>。

此外，在中/usr/include/c++/10.2.0/bits/unique_ptr.h，我或多或少地看到了以下内容：

namespace std {
    // …
    template <typename _Tp, typename _Dp = default_delete<_Tp>>
    class unique_ptr {
      public:
        // …
        using deleter_type  = _Dp;
        // …
        template<typename _Del = deleter_type, typename = _Require<is_copy_constructible<_Del>>>
        unique_ptr(pointer __p, const deleter_type& __d) noexcept : _M_t(__p, __d) { }
        // …
    }
    // …
}

构造函数本身是在type参数上进行模板化的_Del，默认为class' deleter_type（这是的别名_Dp）；据此我理解，如果我错了，请纠正我（*），std::unique_ptr甚至不能利用C ++ 17的类的模板类型推导，因此_Dp就此重载而言，模板参数仍然是强制性的（即删除对象将作为第二个参数传递给构造函数）。

既然是这种情况，我们传递给的实际类型实std::unique_ptr参可以用引用声明符修饰，如链接页中所述。但这就是我迷路的地方，更不用说我确实看到了这一点，_Dp并且_Del 可能会有所不同（例如，引用声明符可能会有所不同），这使我的理解更加复杂。

但是，我将复制页面的一部分，以解释各种可能的情况：

3-4）构造一个std::unique_ptr拥有以下对象的对象，如下所示p初始化其存储的指针p并初始化一个Deleter D（取决于是否D为引用类型）

• a）如果D是非引用类型A，则签名为：

  unique_ptr(pointer p, const A& d) noexcept;
  unique_ptr(pointer p, A&& d) noexcept;
  

• b）如果D是左值引用类型A&，则签名为：

  unique_ptr(pointer p, A& d) noexcept;
  unique_ptr(pointer p, A&& d) = delete;
  

• c）如果D是左值引用类型const A&，则签名为：

  unique_ptr(pointer p, const A& d) noexcept;
  unique_ptr(pointer p, const A&& d) = delete;
  

在所有情况下，删除器均从初始化std::forward<decltype(d)>(d)。如果std::is_constructible<D, decltype(d)>::value为，则这些重载仅参与重载解析true。

我可以解释引用文字的唯一方法如下，其中有很多疑问。

• 如果我们要将删除器d作为参数传递给构造函数，则必须显式将aD作为模板参数传递给...什么？到class和/或它的构造函数？甚至可以将模板参数传递给构造函数吗？
• 这D可以是以下三种
  1. 如果将其指定为A，则意味着我们希望既可以传递一个（可能是const）左值d，也可以传递一个右值作为，因此这两个重载都采用const A&和A&&来定义。
  2. 如果我们将其指定为const A&，我们想要一个手段是不能够通过一个右值作为d，因此过载回吐A&&被删除，因为它会绑定到右值，而超载A&是用于instad const A&，因为后者会绑定到右值太。
  3. 如果我们将其指定为const A&，这意味着我们希望能够通过这两个一个左或右值的d，所以采取超载const A&是一个挑，而另一个回吐const A&&的delete技术了，因为该参数类型无法绑定到左值，并且将治疗右值不不同于const A&确实，如答案解释的，最重要的是，它结合到右值防止其他过载，const A&从结合到右值，这将导致在一个悬空参考被存储在std::unique_ptr（为原因这是这里）。
• 但是，当右值作为传递时，1.和3.的用例有什么不同d？1.将其A&&绑定到const A&，并将3.绑定到，因此前者可以窃取资源，而后者则不能。

最后但并非最不重要的一点是，链接页面还添加了特定于C ++ 17的内容：

如果通过类模板参数推导选择了这两个构造函数中的任何一个，则该程序格式不正确。

根据我的理解，这对我一点都不清楚（请参阅上面的（*））：这些构造函数如何进行类型推导？

因此，最重要的问题是：这种方式的复杂性如何std::unique_ptr<T,Deleter>::unique_ptr对我作为程序员有用？