关于模版函数的全特化

最新推荐文章于 2024-09-27 17:45:54 发布

原创最新推荐文章于 2024-09-27 17:45:54 发布 · 1.2k 阅读

0 ·

CC 4.0 BY-SA版权

C/C++ 专栏收录该内容

25 篇文章

订阅专栏

本文记录了作者在尝试全特化一个只有一个参数的模板函数时遇到的问题及解决方案。作者发现将全特化函数的实现放在.cpp文件中可以避免重复定义错误，因为全特化模板函数如同派生的普通函数，依赖模板匹配。这一做法使得全特化函数与编译器生成的函数保持一致。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

在类中有一个模版函数，只有一个参数类型，对其进行特化时遇到了一点小麻烦，为了能够帮助更多人解决问题以及作为自己的学习笔记，把解决的整个过程记录下来。

object.h

class CObject
{
public:
   template <class T>
   int func()
   {
      return sizeof(T);
   }

   //假设对于int类型func函数要返回常数100
   template <>
   int func<int>()
   {
      return 100;
   }
};

上述代码中g++中编译会有错误，提示特化函数定义的域有问题，不知道g++如何考虑，为什么不允许这样做！

在网上搜索了一下，有些人这样解决：

class CObject
{
public:
   template <class T>
   int func()
   {
      return sizeof(T);
   }
};

//假设对于int类型func函数要返回常数100
template <>
int func<int>()
{
   return 100;
}

确实编译通过了，但，如果该头文件在多个cpp文件中引用后，会发生链接时错误，该函数重复定义。

经过一翻考虑，试着将特化的函数放在了object.cpp文件中，在头文件中只保留原始的模版函数声明和其实现：

object.h

class CObject
{
public:
   template <class T>
   int func()
   {
      return sizeof(T);
   }
};

object.cpp

//假设对于int类型func函数要返回常数100
template <>
int func<int>()
{
   return 100;
}

再编译和链接，问题就完全解决了。

总结，我理解，对于模版函数的全特化，既有普通函数的特点，又有模版的特性，是一个模版派生出来的普通函数，又要依据模版匹配而匹配全特化模版函数。所以，放在cpp中实现全特化模版函数，也有一定的道理，它与编译器最后根据用户代码生成的函数是一致的，而这种函数不可能在头文件中，如果在头文件中，势必出现重复定义的错误。