函数模板定制(function template specialization) 详解 及 代码


本文地址: http://blog.csdn.net/caroline_wendy/article/details/17223775


函数模板定制可以解决特定的模板参数, 需要特定的函数方法去实现;

注意函数模板定制是实例化模板, 而不是模板的重载; 

有非模板函数(nontemplate function)存在时, 当匹配度相同时, 优先使用非模板函数;

如比较(compare)函数, 比较字符串(char*)类型, 不能通过判断地址去比较, 应该使用strcmp()函数, 需要定制函数模板;

函数模板定制需要使用 "template<>", 空的尖括号表明 提供的模板实参支持原版本的所有模板形参;

代码:

/*  * CppPrimer.cpp  *  *  Created on: 2013.12.9  *      Author: Caroline  */  /*eclipse cdt, gcc 4.8.1*/  #include <iostream> #include <vector> #include <cstring>  using namespace std;  template <typename T> bool compare (const T& t1, const T& t2) { 	std::cout << "first version" << std::endl; 	return (t1<t2) ? true : false; }  //函数模板定制 template<> bool compare (const char* const &p1, const char* const &p2) { 	std::cout << "third version" << std::endl; 	return strcmp(p1, p2); }
  
//有非模板优先使用非模板  /*bool compare (const char* const &p1, const char* const &p2)  {  	std::cout << "forth version" << std::endl;  	return strcmp(p1, p2);  }*/  //处理字面类型的比较 template<unsigned N, unsigned M> bool compare (const char (&p1)[N], const char (&p2)[M]) { 	std::cout << "second version" << std::endl; 	return strcmp(p1, p2); }  int main(void) { 	const char* w("Wendy"); 	const char* c("Caroline"); 	//没有函数模板定制, 调用第一个版本, 因为指针不能转换为数组的引用 	if(compare(c, w)) { 		std::cout << "Caroline is long." << std::endl; 	} else { 		std::cout << "Wendy is long." << std::endl; 	}  	if(compare("Caroline", "Wendy")) { 		std::cout << "Caroline is long." << std::endl; 	} else { 		std::cout << "Wendy is long." << std::endl; 	}  	return 0; }

输出: 

third version Caroline is long. second version Caroline is long.