1.模板初阶
1)前言
假设我们要实现一个swap()交换函数,考虑到参数有int,double,char各种类型,我们需要借助函数的重载来实现此功能,这种方法固然可行,但难免会出现以下问题:
a. 重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现时,就需要用户自己增加对应的函数
b. 代码的可维护性比较低,一个出错可能所有的重载均出错
由此诞生了泛型编程(编写与类型无关的通用代码,是代码复用的一种手段),而模板是泛型编程的基础。
2)函数模板
a. 概念:函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生 函数的特定类型版本
b. 格式:template<typename T1,typename T2.....typename Tn>
typename是用来定义模板参数关键字,也可以使用class
c. 实质:就是把需要我们来干的事情交给了编译器。比如当用double类型使用函数模板时,编译器通过对实参类型的推演, 将T确定为double类型,然后产生一份专门处理double类型的代码,对于字符类型也是如此
d. 函数模板的实例化:
显示实例化:好比强转传参 ,如Add<int>(a, b);
隐式实例化:首先,在模板中编译器不会进行类型转换,正常情况下会根据参数类型对应输出。
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a1 = 10, a2 = 20;
double d1 = 10.0, d2 = 20.0;
Add(a1, a2);
Add(d1, d2);
Add(a, (int)d);//处理方法
return 0;
}
但这串代码的前半段由于编译器无法区分到底用double还是
int,于是就会报错。
要想运行只能我们自己手动转换。
e. 模板参数的匹配原则:
1)一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数
2)对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板
3)模板函数不允许自动类型转换,但普通函数可以进行自动类型转换
3)类模板
a. 格式:templateclass <class T1, class T2, ..., class Tn>
// 类模版
template<typename T>
class Stack
{
public:
Stack(size_t capacity = 4)
{
_array = new T[capacity];
_capacity = capacity;
_size = 0;
}
void Push(const T& data);
private:
T* _array;
size_t _capacity;
size_t _size;
};
模版不建议声明和定义分离到两个文件(.h 和.cpp),因为会出现链接错误
b. 类模板的实例化
类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的 类型放在<>中即可,类模板名字不是真正的类,而实例化的结果才是真正的类
如Stack是类名,Stack<int>才是类型
4)auto与for
1)auto
a. 作用:简化类型等的书写
b. 注意事项:
*使用auto必须初始化
*用auto声明指针类型时,用auto和auto*没有任何区别,但用auto声明引用类型时则必须加&
*auto c = 3, d = 4.0;这种声明方式编译会报错
*auto不能作为函数的参数(编译器无法对auto类型进行判断)
*auto不能直接用来声明数组
2)for
for循环后的括号由冒号“ :”分为两部分:第一部分是范围内用于迭代的变量, 第二部分则表示被迭代的范围
int a[] = { 1, 2, 3, 4, 5 };
for (auto& e : a)
e *= 2;
for (auto e : a)
cout << e << " ";
return 0;
for迭代的范围需确定
根据需要是否修改原容器中的元素,可以选择使用 auto&
或 auto
来声明迭代变量