c++ - 为什么 shared_ptr 没有专门化？

Question

shared_ptr<void>特殊之处在于，根据定义，它将通过调用 delete 来调用未定义的行为在 void* 上.

那么，为什么没有 shared_ptr<void>抛出编译错误的特化？

Answer 1

Using shared_ptr to hold an arbitrary object

shared_ptr can act as a generic object pointer similar to void*. When a shared_ptr instance constructed as:

shared_ptr<void> pv(new X);

is destroyed, it will correctly dispose of the X object by executing ~X.

This propery can be used in much the same manner as a raw void* is used to temporarily strip type information from an object pointer. A shared_ptr can later be cast back to the correct type by using static_pointer_cast.

但是如何呢？

This constructor has been changed to a template in order to remember the actual pointer type passed. The destructor will call delete with the same pointer, complete with its original type, even when T does not have a virtual destructor, or is void