新C++(4):模板-创新互联

目前创新互联已为千余家的企业提供了网站建设、域名、网站空间、网站改版维护、企业网站设计、石台网站维护等服务,公司将坚持客户导向、应用为本的策略,正道将秉承"和谐、参与、激情"的文化,与客户和合作伙伴齐心协力一起成长,共同发展。

"抱紧你的我,比国王富有" 


C++可复用性高,C++引入了模板的概念,后面在此基础上,实现了方便开发的标准模板库STL

  -----前言

一、初始模板 

我们先来看看 下面的代码段;

如果此时又有需求: 交换一个char 类型的变量 ? 我们是不是又得费点时间 码字?

肯定不行! 未免太 麻烦了。 

(1)什么是模板?

​​​​​​

这是一个 各样的模子。 如果我们想把这个图形染成绿色 直接可以在模板上进行染色。

如果是想要鲜艳的红色, 直接可以在模板的基础上 浇筑红色颜料即可。 

还需要去 重新规划 形式 + 颜色吗? 答案是 不需要!

C++的模板分为两类: 函数模板 +  类模板。

我们现在就针对 这两种模板 入手。

(2)模板的使用  ①函数模板 
templatetemplate//函数体 
void(T / T&) Func(T a1);
//注意:typename是用来定义模板参数关键字,也可以使用class(切记:不能使用struct代替class)

以此,我们也就 不用再多写一个" swap"  对char 类型单独进行特写。

②类模板 


那么模板函数类型 与 普通函数有什么区别呢? 两个是否可以同时存在? 编译器会怎样取舍?

那么此时我们如果非要使用模板的 情况,就需要 显示调用模板。 也就是第二次调用。         

(3)模板的原理 

了解的 函数模板的基本使用, 对于模板的原理 也有了一定的基础。

函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器。

只有当模板进行实例化 (调用时)后 才会,生成具体的函数! 

由此,模板是不支持分离、编译的!

①模板类型 与 隐式类型转换

因为在"编译期间",当编译器看到该实例化时,需要推演T 接受的传参类型。

但模板参数列表中只有一个T,编译器无法确定此处到底该将T确定为int 或者 double类型而报错。

那如果不更变代码,如何进行使用呢? 

1.显示类型转换

2.用户自定义强转(隐式类型转换)

3.多类型参数(但与提问冲突)


二、模板进阶 (1)非类型模板参数

模板参数分类类型形参与非类型形参
类型形参:如前面的 class typename。

非类型形参:实质是一个被当做常量来使用。 

如:C++中也有一个array的容器,也是用了这个非类型的模板参数,实现的是一个静态的数组。

注意:

浮点数、类对象以及字符串是不允许作为非类型模板参数的。
非类型的模板参数必须在编译期就能确认结果。

三、模板特化

  通常情况下,使用模板可以减少一些类型无关代码的编写,但是对于一些特殊类或类型,可能需要特殊的处理,才能达到我们想要的效果。

(1)函数模板化

1.必须要先有一个基础的函数模板.
2.关键字template后面接一对空的尖括号<>.
3.函数名后跟一对尖括号,尖括号中指定需要特化的类型.
4.函数形参表: 必须要和模板函数的基础参数类型完全相同,如果不同编译器可能会报一些奇怪的错误.

template<>void Func(typename f1,typname f2)
{}

如我们所见,对于日期类,整型int可以得到正确的结果,

但是对比指针p1,p2时,结果却并不如我们所预。 其原因就在于,p1,p2分别是d1,d2的地址,他们比较的是地址的大小。

为此,我们实现的less模板仿函数,显然无法满足我们的需求。

除开用模板的特化解决外,我们仍然可以就使用一个普通函数,专门针对日期类地址的类型。当然这是利用编译器的机制,会优先调用不用进行推演的合适的函数。

bool Less(Date* left, Date* right)
{
    return *left< *right;
}

这下就可以用到我们的模板特化,问题由此得到解决! 


(2)类模板特化 ①全特化

全特化即是将模板参数列表中所有的参数都确定化;

②偏特化 

任何针对模版参数进一步进行条件限制设计的特化版本;

部分特化;

类型的进一步限制;


总结:

①模板分为函数模板和类模板,模板参数分为类型参数和非类型模板参数(常量)

②模板不支持分离编译的根本原因在于:

程序在连接时,会去找模板的地址进行链接,但是模板只会在实例化时,才生成具体的代码,而在编译阶段不会处理,也就生不成具体的代码。因此,链接就会报错。

③模板特化有函数模板特化和类模板特化。类模板特化值得注意的是:全特化与偏特化。偏特化即可以确定类型,也会限制类型。

本篇到此结束,感谢你的阅读。

祝你,向阳而生~

你是否还在寻找稳定的海外服务器提供商?创新互联www.cdcxhl.cn海外机房具备T级流量清洗系统配攻击溯源,准确流量调度确保服务器高可用性,企业级服务器适合批量采购,新人活动首月15元起,快前往官网查看详情吧


网页名称:新C++(4):模板-创新互联
分享路径:http://myzitong.com/article/cscdei.html