为什么使用模板<>而不专门化?

这就是专业化。例如:

template <typename T>
struct is_void
{
    static const bool value = false;
};

此模板将 is_void<T>::value 作为 false 对于 任何 类型,这显然是错误的。你能做的就是用这个语法说“我自己填T,然后专门化”:

template <> // I'm gonna make a type specifically
struct is_void<void> // and that type is void
{
    static const bool value = true; // and now I can change it however I want
};

现在 是“空的”<t>::值 是 假 除何时 T 是 void . 然后编译器选择更专业的版本,我们得到 true .

因此,在您的案例中,它具有 auto_ptr . 但是这个实现有一个问题 无效 . 具体来说,不能取消对它的引用,因为它没有关联的类型。

所以我们能做的就是 无效 变异体 自动PTR 删除这些功能。