C++模板特例化应用实例

更新时间：2014年08月15日 09:25:10 投稿：shichen2014

这篇文章主要介绍了C++模板特例化应用实例,是非常重要的一个概念,需要的朋友可以参考下

模板特例化是C++程序设计中一个非常重要的应用，本文就以实例形式对其进行分析，相信对大家进一步理解C++程序设计能够带来一定的帮助。具体内容如下：

首先，模板是C++中一个很重要的特性，写一份代码能用于多种数据类型（包括用户自定义类型）。例如，STL的sort()函数可以用于多种数据类型的排序，类stack可以用作多种数据类型的栈。但是，如果我们想对特定的数据类型执行不同的代码（而不是通用模板）呢？这种情况下就可以使用模板特例化（template specialization）。

一、函数模板特例化

当特例化一个函数模板时，必须为原模板中的每个模板参数都提供实参。使用关键字template后跟一个空尖括号<>，即template <>，以指出我们正在特例化一个模板。

template <typename T> 
void fun(T a) 
{ 
  cout << "The main template fun(): " << a << endl; 
} 
 
template <>  // 对int型特例化 
void fun(int a) 
{ 
  cout << "Specialized template for int type: " << a << endl; 
} 
 
int main() 
{ 
  fun<char>('a'); 
  fun<int>(10); 
  fun<float>(9.15); 
  return 0; 
}

输出结果：

The main template fun(): a 
Specialized template for int type: 10 
The main template fun(): 9.15

对于除int型外的其他数据类型，都会调用通用版本的函数模板fun(T a)；对于int型，则会调用特例化版本的fun(int a)。注意，一个特例化版本的本质是一个实例，而非函数的重载。因此，特例化不影响函数匹配。

二、类模板特例化

除了特例化函数模板，我们还可以特例化类模板。下面是一个简单的例子：

template <typename T> 
class Test{ 
public: 
  void print(){ 
    cout << "General template object" << endl; 
  } 
}; 
 
template<>  // 对int型特例化 
class Test<int>{ 
public: 
  void print(){ 
    cout << "Specialized template object" << endl; 
  } 
}; 
 
int main() 
{ 
  Test<int> a; 
  Test<char> b; 
  Test<float> c; 
  a.print(); 
  b.print(); 
  c.print(); 
  return 0; 
}

输出结果：

Specialized template object 
General template object 
General template object

另外，与函数模板不同，类模板的特例化不必为所有模板参数提供实参。我们可以只指定一部分而非所有模板参数，这种叫做类模板的偏特化或部分特例化（partial specialization）。例如，C++标准库中的类vector的定义：

template <typename T, typename Allocator> 
class vector 
{ 
  /*......*/ 
}; 
 
// 部分特例化 
template <typename Allocator> 
class vector<bool, Allocator> 
{ 
  /*......*/ 
};

在vector这个例子中，一个参数被绑定到bool类型，而另一个参数仍未绑定需要由用户指定。注意，一个类模板的部分特例化版本仍然是一个模板，因为使用它时用户还必须为那些在特例化版本中未指定的模板参数提供实参。

您可能感兴趣的文章:

C++
模板

c++回调之利用sink示例
Sink的本质是利用C++的封装、继承、多态的面向对象来实现，从实现角度来说，更优于函数指针回调,下面是示例
2014-04-04
C++实现LeetCode(41.首个缺失的正数)
这篇文章主要介绍了C++实现LeetCode(41.首个缺失的正数),本篇文章通过简要的案例,讲解了该项技术的了解与使用,以下就是详细内容,需要的朋友可以参考下
2021-07-07
C++设计模式之单例模式详解
这篇文章主要介绍了C++设计模式之单例模式,本文同时给出了数种单例模式的实现代码,需要的朋友可以参考下，希望能够给你带来帮助
2021-09-09
c++11新增的便利算法实例分析
这篇文章主要介绍了c++11新增的便利算法,主要有用于判断、查找、数组、序列等的操作算法,非常具有实用价值，需要的朋友可以参考下
2014-09-09
详解C语言中动态内存管理及柔性数组的使用
这篇文章主要为大家详细介绍一下C语言中动态内存管理以及柔性数组的使用方法，文中的示例代码讲解详细，对我们学习C语言有一定的帮助，需要的可以参考一下
2022-07-07
C++ OpenGL实现旋转立方体的绘制
这篇文章主要主要为大家详细介绍了如何利用C++和OpenGL实现旋转立方体的绘制，文中的示例代码讲解详细，感兴趣的小伙伴可以跟随小编一起动手尝试一下
2022-07-07
Cocos2d-x UI开发之CCControlColourPicker控件类使用实例
这篇文章主要介绍了Cocos2d-x UI开发之CCControlColourPicker控件类使用实例,本文代码中包含大量注释来讲解CCControlColourPicker控件类的使用,需要的朋友可以参考下
2014-09-09
如何用C写一个web服务器之基础功能
C语言是一门很基础的语言，程序员们对它推崇备至，本文将带着大家来看一下，如何用C写一个web服务器。
2021-05-05
ubunt18.04LTS+vscode+anaconda3下的python+C++调试方法
这篇文章主要介绍了ubunt18.04LTS+vscode+anaconda3下的python+C++调试方法,本文给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下
2020-03-03
C语言形参与实参使用的差别讲解
形参出现在函数定义中，在整个函数体内都可以使用，离开该函数则不能使用。实参出现在主调函数中，进入被调函数后，实参变量也不能使用，形参和实参的功能是作数据传送。发生函数调用时，主调函数把实参的值传送给被调函数的形参从而实现主调函数向被调函数的数据传送
2023-02-02