c++模板有函数模板和类模板

一般来说c++模板有函数模板和类模板，当然只是通俗来说了。下面分别介绍

 

1、函数模板的定义：

template<typename T>

 

返回类型 函数名<T &a,T&b>

{

}

在c++语言的演化进程中，关键字typename的出现相对较晚一些；在它之前，关键字class是引入类型参数的唯一方式，并一直有效的方式保留下来。因此模板中typename可以换成class,如下：

template<class T>

返回类型 函数名<T &a,T&b>

{

}

在这里class并不意味着只有类才能被用来替代，基本类型也可以。

定义示例：

//max.hpp(hpp,其实质就是将.cpp的实现代码混入.h头文件当中，定义与实现都包含在同一文件，则该类的调用者只需要include该cpp文件即可，无需再 将cpp加入到project中进行编译。而实现代码将直接编译到调用者的obj文件中，不再生成单独的obj,采用hpp将大幅度减少调用 project中的cpp文件数与编译次数，也不用再发布烦人的lib与dll,因此非常适合用来编写公用的开源库。)

template<typename T>

 

inline T const&max <T &a,T&b>

{

       return a<b?b:a;
}

 

2、类模板的定义

template<typename T>

 

class Stack{

}

typename换成class同样行

定义示例：

template<typename T>

 

class Stack{

       private:

           std::vector<T>elems;

       public:

           Stack();

           void push(T const&);

           void pop();

           T top()const;

}

C++编程语言是一个功能强大的计算机应用语言，它的出现在一定程度上大大降低了开发人员的负担，提高了开发效率。我们在这里先来了解一下C++模板参数的相关概念。简单的说，可以把模板看作一种类型，函数模板也不例外。

既然是类型，那么我们在使用模板函数的时候就应该是使用它的一个实例。既然是类型与实例的关系，那么就应该有一个类型的实例化的问题。我们对普通类型进行实例化的时候通常需要提供必要的参数以，模板函数也不例外。只是C++模板参数不是普通的参数，而是特定的类型。也就是说在实例化一个函数模板的时候需要以类型作为参数。通常，模板的参数分为模板参数和调用参数。例如：

template <typename T1, typename T2, typename RT> 
inline RT const& max(T1 const& a, T2 const& b)  
{  
//TODO: 代码实现  
........  
} 

其中，第一行定义了函数模板参数；第二行的函数参数则定义了调用参数，需要注意的是返回值并不属于函数模板的调用参数。

在调用一个模板的时候，最重要的是在调用的时候能正确的推导出C++模板参数。这里有几点要注意的：

1：显示的实例化函数模板。例如：

template <typename T> 
inline T const& max(T const& a, T const& b)  
{  
return a < b ? b : a;  
}  
// 实例化并调用一个模板  
max<double>(4, 4.2); 

第十行，通过显示的指定C++模板参数为double而实例化了一个模板。

2：隐式的实例化一个函数模板。例如：

template <typename T> 
inline T const& max(T const& a, T const& b)  
{  
return a < b ? b : a;  
}  
// 隐式的实例化并调用一个函数模板  
int i = max(42, 66); 

第8行，我们没有显示的指定函数模板参数，但它能自动的去推导出函数模板参数为int。这里可能有个问题。如果非模板函数它的定义和推导后的模板函数实例一样，会产生什么结果呢？例如：

inline int const& max(int const& a, int const& b)  
{  
// 为了便于区分，让返回结果＋100  
return a < b ? a+10 : b+100;  
}  
template <typename T> 
inline T const& max(T const& a, T const& b)  
{  
return a < b ? b : a;  
}  
// 这里调用的究竟是模板函数还是非模板函数？  
int i = max(42, 66); 

实际上，第14行的代码首先回去查看是否有满足要求的非模板函数；如果没有，再根据参数去匹配并实例化相应的模板函数。所以，它调用的应该是非模板的max函数。

3： 也可以使用部分缺省的C++模板参数。你不用指定全部的模板参数，比如，你可以从左到右的，指定一部分参数。例如：

// 从左至右定义了三个参数  
template <typename RT, typename T1, typename T2> 
inline RT const& max(T1 const& a, T2 const& b)  
{  
//TODO: 代码实现  
..  
}  
// 可以只指定第一个返回参数。即，要求返回double类型  
max<double>(4, 4.2); 

上面的代码中，由于返回参数类型不属于调用参数，所以必须明确的指定它为double类型。而T1和T2属于调用C++模板参数，能从函数调用中推导出来。