c++ - 为什么shared_ptr类型没有模板分配器参数？

Question

shared_ptr 定义为

template< class T > class shared_ptr;

自定义分配器作为构造函数参数传递

template< class Y, class Deleter, class Alloc >
shared_ptr( Y* ptr, Deleter d, Alloc alloc );

为什么没有

template< class T, class Alloc = std::allocator<T> > class shared_ptr;

？

我有一种感觉，这在某些情况下会让生活变得更轻松，但在另一方面，它会阻止做类似的事情:

namespace App{
    template <typename T>
    using Shared = std::shared_ptr<T,myAllocator<T>>; //pool allocator for control blocks
}

make_shared 也不允许这样做，因为它已经将构造函数的参数作为参数。

有什么想法吗？

Answer 1

这不会让生活变得更容易，因为它会人为地限制 shared_ptr 的任何客户端要么绑定(bind)到一种特定的分配器类型，要么通过在分配器类型上模板化来绑定(bind)自身。

只有某些构造函数和函数(例如某些 reset 重载)需要了解用于分配共享对象的分配器。许多客户端很乐意与分配器无关。

类型上的模板参数越少，约束就越少。请注意，类类型上的模板参数通常必须显式指定，而函数模板上的模板参数通常可以从参数中推导出来。