STL模板初步学习

Posted 2020-12-31 xiwen2017

一、如何进行泛型编程
C/C++是一种静态编程语言，必须需要把代码翻译成可执行的二进制可执行程序然后再运行，一旦编译好之后就不能再变了（数据类型也就必须确定下无法更改，因此要为每一种数据类型编写一份算法，工程量巨大）

C语言中的快速排序
void qsort(void *base, size_t nmemb, size_t size,
int(*compar)(const void *, const void *));

C++提供了模板编程方法来解决泛型编程的问题，它的解决思路是，程序员先编写好一份"套路"代码，然后在调用编译器时根据调用时的参数再为这中数据类型生成一份属于它的代码

二、模板的语法
template<typename T,typename M>
T max(T num1,M num2)
{
return num1>num2?num1:num2;
}

 

    模版的类型参数
　　　　T被称作模板的类型参数，可以叫任何名字，只是俗称约定叫做T
　　　　它指的是函数调用时的任何类型参数

虽然模板的类型可以是任意的，但是必须要支持模板函数中所使用到的运算符，因此模板不是万能的，虽然能带来好处，但也带来许多问题

三、函数模板的使用
1、模板的实例化
编译器不会把函数模板编译成一个实例，而是根据调用时的参数，再进行实例化（进一步生成二进制指令）

2、使用模板时才实例化
模板只有在调用时才会实例化，因此模板编译正确并不代表没有问题，很多错误会产生于调用时

3、二次编译
第一次是检查模版的语法，第二次编译是根据调用参数把模板实例化出来，然后再检查运算符是否支持这种类型

四、函数模板的隐式推断
a、使用函数模板时可以根据参数的类型来推断模板的参数
b、当函数模板不能通过函数调用时的参数来推断模板参数时，可以使用<类型，类型...>来明确指定
c、模版参数可以有默认值的
　　       1、默认值优先放在右边
　　　　2、C++标准才支持：-std=c++0x

五、函数模板与普通可以重载（特化）
1、同一种格式的函数和函数模板是可以共生，但优先调用普通函数，但可以有函数名后添加一个空的<>指定调用函数模板，模板参数根据调用时的参数推断

2、普通函数在调用时可以进行类型提升，但是这种提升的结果要低于模板的实例化

3、函数模板也可以进行类型提升，但如果有一个普通函数也可以进行类型提升调用，那么则优先调用普通函数

六、类模板
a、类模板的语法
类模板的参数可以在类中当作类型使用，可以定义成员、返回值、参数等。
template<class T,class A,class B,...>
class className
{
C c;
public:
T func(A a);
}；
注意：typename也可以继续使用，但大多用class以示区别。

b、类模板的使用
类模板必须要经过实例化才能使用，也是需要经过两次编译，第一次是把类模板编译成一个"套路"，这个过程是为了检查语法，第二次是根据实例化参数，生成一个类，然后才能使用这个类创建对象。

使用类模板实例化一个类：
className<type1,type2,...> a；

练习：实现栈类模板，成员函数有入栈、出栈、栈空、栈满。

c、类模板参数不支持隐式推断，必须显示实例化。

d、静态成员的定义的语法
template<class T> int MyStack<T>::num = 10;
静态成员必须在类模板实例化之后才被真正定义出来，每个实例化的类都有和份静态成员，这个实例化类创建出的对象共用一个静态成员。

e、递归实例化
MyStack<MyStack<int>> stack;
尽量不要轻易使用。

七、类模板的特化(重载)
特化：指的是当类模板有特殊的类型无法处理时，可以为这种特殊类型单独实例化出一个类，这种单独的实现叫作模板的特化。

全类的第特化：按照类的格式把类完整再实现一遍（重写一遍）。

template<> class className <char*>
{
...
};

成员特化：给指定的类型提供一个特殊的的成员函数。
template<> 返回值 className<char*>::max(void)
{
...
}

局部特化：可以让用户根据实例化时的参数来指定使用的类模板
template<class A,class B> class N
{public:N(void){cout <<"1"<<endl;}};
template<class A> class N <A,A>
{public:N(void){cout <<"2"<<endl;}};
template<class A> class N <A,short>
{public:N(void){cout <<"3"<<endl;}};
template<class A> class N <A*,A*>
{public:N(void){cout <<"4"<<endl;}};
template<class A,class B> class N <A*,B*>
{public:N(void){cout <<"5"<<endl;}};

注意：同等程序的特化会引起二义性。

八、类模板的参数
1、类模板的参数可以有默认值
注意：使用类模板默认值时，<>不能省略，可以空着，但不能不写。
2、类模板后面的参数可以调用前面的参数。

3、普通数值可以对类模板进行实例化，它必须以类似变量的形式存在。
注意：只能是常量才能进行实例化。