C++里的模板

 一、泛型编程

——即实现一个通用的标准容器库。

所谓通用的标准容器库，就是要作到：比方List类存放所有肯恩类型的对象这样的事；泛型编程让你编写一个全然通常化并可反复使用的算法，其效率与针对某特定数据类型而设计的算法一样。泛型便是指具备在多种数据类型上皆可操做的意思，与模板有些类似。

——泛型编程的表明做品STL是一种高效、泛型、可交互操做的软件组件。

二、如何编写一个通用的加法？？

     1》使用函数重载，针对每个所需一样行为的不一样类型又一次实现它。

     缺点：1》仅仅要有新类型出现。就要又一次加入相应函数。

               2》除类型外，所有函数的函数体都一样，代码的复用率不高。

               3》假设函数仅仅是返回值类型不一样，函数重载不能解决这个问题。

               4》一个方法有问题。所有的方法都有问题，很差维护。

     2》使用公共基类。将通用代码放在公共基类里面。

     缺点：1》借助公共基类来编写通用代码，将失去类型检查的长处。

               2》对于之后实现的很是多类，都必须继承自某个特定的基类，代码维护更加困难。

     3》使用特殊的预处理程序。

     缺点：1》不是函数，不进行參数类型检查。安全性不高。

     4》还可以使用泛型编程。

三、泛型编程：

     1》编写与类型无关的逻辑代码。是代码复用的一种手段。模板是泛型编程的基础。

     2》模板分为：函数模板、类模板

四、函数模板：

    1》函数模板表明了一个函数家族，在使用时被參数化，依据实參类型产生函数的特定类型。

    2》函数模板的格式：

     注意：1>typename是用来定义模板參数keyword，也可以使用class（建议尽可能使用typename）

               2>但是不能使用struct

     3》函数模板也可以定义成inline函数。（但是inline必须放在模板參数表以后，返回值以前，不能放在template以前）

   4》模板是一个蓝图，它自己不是类或者函数，编译器用模板产生特定的类或者函数的特定类型版本号，产生模板特定类型的过程称为函数模板实例化。

五、实參推演:

     从函数实參肯定模板形參类型和值的过程叫作模板实參推演。多个类型形參的实參必须全然匹配。

六、类型形參转换：

     1》通常不会转换实參来匹配已有的实例化，相反会产生新的实例。

     2》编译器仅仅会运行两种转换：

           1>const转换：接收const引用或者const指针的函数可以分别用非const对象的引用或者指针来调用

           2>数组或者函数到指针的转换：假设模板形參不是引用类型，则对数组或者函数类型的实參应该用常规指针转换。数组实參将当作指向其第一个元素的指针，函数实參当作指向函数类型的指针。

七、模板參数：

    1》函数模板有两种类型的參数：模板參数和调用參数。

    2》而模板參数又分为：类型形參和非类型形參

    3》模板形參名字仅仅能在模板形參以后到模板声明或定义的结尾之间使用。遵循名字屏蔽规则。

    4》模板形參的名字在同一模板形參列表中仅仅能使用一次。

    5》所有模板形參前面必须加上class或者typenamekeyword修饰。

    6》注意在函数模板内部不能指定缺省的模板实參。

八、非模板类型形參：

     非模板类型形參是在模板内部定义的常量。在需要常量表达式的时候。可以使用非模板类型參数。

九、模板形參说明：

     1》模板形參表使用<>括起来。

     2》和函数參数表同样。跟多个參数时必须用逗号隔开，类型可以一样也可以不一样。

     3》模板形參表不能为空。

     4》模板形參可以是类型形參，也可以是非类型形參。类型形參跟在class和typename以后。

     5》模板类型形參可做为类型说明符用在模板中的不论什么地方，与内置类型或本身定义类型的用法全然一样。可用于指定函数形參类型、返回值、局部变量和强制类型转换。

     6》模板參数表中，class和typename具备形同的含义，可以互相交换。使用typename更加直观。但是keywordtypename是做为C++标准加入到C++中。就得编译器可能不支持。

9+、模板函数重载：

      注意：函数和所有的重载版本号的声明都应该位域该函数被调用位置以前。

      说明：

       1》一个非模板函数可以和一个同名的函数模板同一时候存在。而且该函数模板可以被实例化为这个非模板函数。

       2》对于非模板函数和同名函数模板。假设其它条件都一样，再调用时会优先调用非模板函数，而不会从该模板产生一个实例化。假设模板可以产生一个具备更好匹配的函数。那么将选择模板。

       3》显示指定一个空的模板实參列表。该语法告诉编译器仅仅有姆安巴你才干匹配这个调用。而且所有的模板都应该依据实參演绎出来。

       4》模板函数不一样意本身主动类型转换，但普通函数可以进行本身主动类型转换。

十、函数模板的特化：

        模板函数特化形式例如如下：

        1》keywordtemplate后面接一对空的尖括号<>

        2》再接模板名和一对尖括号，尖括号里指定这个特化定义的模板形參

        3》函数形參表

        4》函数体

      注意：在特化以前。这个函数模板必须已经存在，而且二者形參个数同样。

template<typename T>
bool IsEqual(T left, T right)
{
                 return left == right;
}
template<>
bool IsEqual<const char*>( const char * pleft, const char * pright) //这里的<const char*>就至关于取代了T
{
                 return pleft == pright;
}


十一、模板參数——适配器：stack(使用模板实现栈——后进先出)
template <typename T>
class SeqList
{
private :
     int _size ;
     int _capacity ;
     T* _data ;
};

// template <class T, template<class> class Container>
template <class T, template<class> class Container = SeqList> // 缺省參数
class Stack
{
public :
     void Push(const T& x );
     void Pop();
     const T& Top();
     bool Empty();
private :
     Container<T > _con;
};
void Test()
{
     Stack<int> s1;
     Stack<int , SeqList> s2;
}

模板的模板參数——实现队列
template<typename T,template< typename T > class Containter> //再嵌套一个模板类型參数,,这里的keyword必定是class————仅仅有类模板參数才干指定缺省值
class Queue
{
public:
                Queue()
                {}
                 void PushBack(const T& d)
                {
                                _con.PushBack();
                }
                 void PopFront()
                {
                                _con.PopFront();
                }
private:
                 Containter<T > _con;
};

int main()
{
                 Queue<int ,SeqList> q;
                q.PushBack(1);
                q.PushBack(2);
                q.PopFront();
                 return 0;
}

 

十二、非类型的模板參数：

// 静态顺序表

//template<typename T, size_t MAX_SIZE>
template <typename T, size_t MAX_SIZE = 10> //带缺省模板參数
class SeqList
{
public :
     SeqList();
private :
     T _array [MAX_SIZE];
     int _size ;
};

template <typename T, size_t MAX_SIZE>
SeqList <T, MAX_SIZE>::SeqList()
    : _size(0)
{}
void Test()
{
     SeqList<int> s1;
     SeqList<int , 20> s2;
}

1三、模板类：

模板类也是模板。必须以keywordtemplate开头，后接模板形參表。

1四、模板类的实例化：

       1》仅仅要有一种不一样的类型。编译器就会实例化出一个相应的类。

       2》 SeqList<int > sl1    SeqList<double > sl2;当定义上述两种类型的顺序表时，编译器会使用int和double分别取代模板形參。又一次编写SeqList类，最后建立名为SeqList<int>和SeqList<double>的类。

1五、类模板的特化：分两种——局部特化、全特化

 注意：全特化后定义成员函数，再也不需要模板形參   

      1》类型萃取

      2》POD类型萃取

1六、模板的分离编译：

——解决方法：

       1》在模板头文件 xxx.h 里面显示实例化->模板类的定义后面加入 template class SeqList<int >; 通常不推荐这样的方法，一方面老编译器可能不支持。还有一方面实例化依赖调用者。（不推荐）

       2》将声明和定义放到一个文件 "xxx.hpp" 里面，推荐使用这样的方法。

1七、模板总结：

    ——长处：

                1》模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)所以而产生。

                2》加强了代码的灵活性。

    ——缺点：

                1》模板让代码变得凌乱复杂。不易维护，编译代码时间变长。

                2》 出现模板编译错误时，错误信息很是凌乱，不易定位错误。