vs2019 c++20 规范的 STL 库的智能指针 shared、unique 、weak 及 make_** 函数的源码注释汇总，和几个结论

智能指针的源码都在 《memory》 头文件中。因为头文件太长，再者本次整理是基于以前的零散的模板分析。故相当于抽取了该头文件中关于智能指针的源码进行分析，注释。

（1 探讨一）当独占指针指向数组时，其默认的删除器是哪个？相关模板的定义轮廓如下：

我们要分析、猜测编译器在泛型推导时是如何确定模板参数的类型的。先给出一段源码，如下：

测试如下：

以及：

以及：

STL 库代码肯定是不会错的。可以得出结论啊： unique_ptr 声明时的模板参数 _Ty 的含义不同于模板定义时的模板参数 _Ty， 模板声明时的删除器的默认值是对第一个模板实参的整体取 default_delete<_Ty[]> ，所以选择了正确的删除器模板。

（2 探讨二） 独占指针可以指向数组，对其成员函数 reset 的形参，应该提供数组指针，而不是普通指针。源码摘抄如下：

增加一些打印语句：

以及：

但又测试了一下：

（3 探讨三） 独占指针的内存模型。独占指针的构造还是比较简单的，因为不需要考虑资源共享，独占指针其实就是对裸指针的封装。摘抄的源代码如下：

（4 探讨四） 对 make_unique 函数的形参，若创建指向数组的独占指针，函数形参是数组的长度；若创建指向普通对象的独占指针，函数形参是要传递给对象的构造函数的。依据源码如下：

该图中出现了 extent_V 模板的使用，其源码如下：

比较难以理解，给出几个测试结果如下：、

（5）