C++初期知识点体会小结（其五）

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 来声明迭代变量