为什么在C语言编程中不普遍采用专业模板？

本文共计348个文字，预计阅读时间需要2分钟。

我在阅读STL源代码时，发现了一个有趣的情况。在`auto_ptr.h`文件中，以及许多其他文件中，有一个模板类`auto_ptr`。问题是关于模板类的声明：`template class auto_ptr`。

我正在阅读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 <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变量来删除这些函数.