我正在阅读STL源代码(结果既有趣又非常有用),我遇到过这种情况 //file backwards/auto_ptr.h, but also found on many others.templatetypename _Tp class auto_ptr//Question is about this:template class auto_ptrvoid 是模板添
//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 <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.然后编译器选择更专业的版本,我们就会变成现实.
因此,在您的情况下,它具有auto_ptr的通用实现.但是这种实现存在无效问题.具体来说,它不能被解除引用,因为它没有与之关联的类型.
所以我们可以做的是专门使用auto_ptr的void变量来删除这些函数.