(1)该函数的定义和位置如下:
可见,传入形参为某种类型的引用,该函数会执行形参的析构函数,还可以有效解决数组的连续析构。很强大的函数。
(2)疑问是,若形参是指针类型,该函数怎么执行,指针类型是没有析构函数的。
(3)举例,如下代码和实验结果:
可见,当该函数的形参是指针类型,没有析构和构造函数,该函数不执行具体的内容,什么也不做。
(4)我们可以以汇编代码跟踪一下,上面代码的反汇编代码如下:
如图,开始执行第22行代码,按F11 继续进入这个全局函数得汇编代码:
可见,当形参类型是指针时,该函数什么也没做。或者说指针类型是c++内置类型,c++编译器给指针类型规定的构造和析构函数中,就是没有任何代码,空函数体的。实际看汇编代码,根本就没有跳转,比如转至指针的析构函数执行。直接就ret返回了。这个奇怪现象,有别于真正的数据类型。也是本文探讨验证的初衷。以更多的了解该函数。
(5)该函数在vs2019上阅读STL源码时,频繁出现。有些数据结构里有指针类型的成员。STL总对指针调用_Destroy_in_place(…)。如图,举例是在单向链表forward_list 的源码中,在函数clear() 中。
如此,就解开了对指针应用该函数的疑惑,相当于什么也没做。谢谢阅读