模板和泛型编程

1. #include <iostream>  
2.   
3. template <typename T>  
4. int compare(const T&v1, const T&v2)  
5. {  
6.     if(v1 < v2)   
7.         return -1;  
8.     if(v1 > v2)  
9.         return 1;  
10.     return 0;  
11. }  
12.   
13. int main()  
14. {  
15.     int i1 = 10, i2 = 20;  
16.     double d1 = 20.1, d2 = 20.01;  
17.     unsigned u1 = 10, u2 = 10;  
18.     std::cout << compare(i1, i2) << std::endl;  
19.     std::cout << compare(d1, d2) << std::endl;  
20.     std::cout << compare(u1, u2) << std::endl;  
21. }  

1. #include <iostream>  
2. #include <string>  
3. #include <list>  
4. #include <vector>  
5.   
6. template<typename iterator, typename T>  
7. iterator Find(const iterator &beg, const iterator &end, const T&ele)  
8. {  
9.     for(auto it = beg; it != end; ++it)  
10.     {  
11.         if(*it == ele)  
12.             return it;  
13.     }  
14.     return end;  
15. }  
16.   
17. int main()  
18. {  
19.     std::vector<int>ivec1 = {1,2,3,4,5,6,7,8,9,0};  
20.     auto ret = Find(begin(ivec1), end(ivec1), 3);  
21.     if(ret == end(ivec1))  
22.         std::cout << "not find" << std::endl;  
23.     else  
24.         std::cout << "find " << *ret << std::endl;  
25.     std::list<std::string>il = {"111","222","333","444","555"};  
26.     auto ret2 = Find(il.begin(), il.end(), "333");  
27.     if(ret2 == il.end())  
28.         std::cout << "not find" << std::endl;  
29.     else  
30.         std::cout << "find " << *ret2 << std::endl;  
31.       
32. } 

2.类模板

1.一个类模板的每个实例都形成一个独立的类，但是类和类之间没有关系。

<2.我们既可以在类模板外部为其定义成员函数，也可以在类模板内部定义，内部定义被隐式的声明为内敛函数。

<3.类模板的成员函数具有和模板相同的模板参数，因此，定义在模板之外的成员函数就必须以关键字template开始，后接参数列表.

<4.默认情况下，对于一个实例化的类模板，其成员只有在使用时才被实例化。

<5.当我们使用一个类模板类型必须提供模板参数，但有一个例外，在类模板自己的作用域中，我们可以直接使用模板名而不提供实参。

模板类和友元

<6.类和友元各自是否是模板是无关的。友元关系被限定在用相同的类型实例化。

<7.一个模板类也可以指定另外一个模板类为友元或者另外一个模板类的特定实例

<9.类模板别名(c++11)

旧标准中，我们只能使用typedef 为特定模板类型定义类型别名。

c++11标准中，我们可以为模板类定义模板类型别名，而且多个参数时可以指定参数是T或者是特定类型。

template <typename T, typename X, typename Z> using TEP = C<T, X, Z>; 

TEP<int, int, int> t;  

<10.类模板的static成员

当类模板包含static成员时（数据或者是函数）,每个类模板的实例都有一个static成员，而且定义类模板的static成员时，前面必须加template <参数列表>

3.模板参数

<1.模板参数和作用域

模板参数符合隐藏规则，而且一个模板参数名在参数列表中只能出现一次。

一个特定文件所需要的所有模板的声明通常一起放置在文件开始位置，出现于任何使用这些模板的代码之前。

<2.使用类的类型成员

我们处理模板的时候，必须让编译器知道名字是否表示一个类型

注意：

记住typename和class不是完全相同的，在指明是一个类型而不是名字的情况下必须用typename

比如typedef typename T::size_type = size_type

出处：http://blog.csdn.net/wwh578867817/article/details/43306513