为什么要使用模板＆lt;＆gt;没有专业化？

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<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
};

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

因此，在您的情况下，它具有auto_ptr的通用实现。但该实现与void存在问题。具体来说，它不能被解除引用，因为它没有与之关联的类型。

因此，我们可以做的是专注void auto_ptr变体以删除这些功能。