C++中函数模板定制(function template specialization) 详解

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

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

有非模板函数(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)
{
<span style="white-space:pre">  </span>std::cout << "forth version" << std::endl;
<span style="white-space:pre">  </span>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.

作者：csdn博客 Spike_King

更多精彩内容：http://www.bianceng.cnhttp://www.bianceng.cn/Programming/cplus/

以上是小编为您精心准备的的内容，在的博客、问答、公众号、人物、课程等栏目也有的相关内容，欢迎继续使用右上角搜索按钮进行搜索函数
， include
， 模板函数
， 模板
， template
， 函数模板
， 形参
， 函数详解
尖括号
arttemplate模板引擎、js template 模板引擎、stringtemplate 模板、template模板、template模板 语法 js，以便于您获取更多的相关知识。