为什么要用模板<>没有专业化？

Question

我正在阅读STL源代码（结果证明它既有趣又非常有用），我遇到了这种事情：

//file backwards/auto_ptr.h, but also found on many others.

template<typename _Tp>                                                                                                 
      class auto_ptr

//Question is about this:
template<>
    class auto_ptr<void>

添加template<>部分是为了避免类重复吗？

Answer 1

这就是专业化。例如：

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

此模板将 is_void::value 对于 any 类型设置为 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
};

现在 is_void::value 为 false，除非 <代码>T是void。然后编译器选择更专业的版本，我们得到true。

因此，就您而言，它具有 auto_ptr 的通用实现。但该实现存在 void 问题。具体来说，它不能被取消引用，因为它没有与之关联的类型。

因此，我们可以做的是专门化 auto_ptr 的 void 变体来删除这些函数。