C++的模板语法

最新推荐文章于 2024-05-14 20:23:50 发布

凌星An

最新推荐文章于 2024-05-14 20:23:50 发布

阅读量821

点赞数 2

CC 4.0 BY-SA版权

分类专栏： C++

本文链接：https://blog.csdn.net/weixin_43519514/article/details/105405593

C++ 专栏收录该内容

37 篇文章

订阅专栏

泛型编程：

编写与类型无关的代码，可以实现代码的复用。

而模板则是泛型编程的基础。

模板分为函数模板和类模板

函数模板：

函数模板代表了一个函数家族，该函数与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。

格式：

template<typename T1,typename T2,......,typename Tn>

返回值类型函数名（参数列表）

{}

//typename是用来定义模板参数的关键字，也可以使用class（但是绝对不能使用struct代替class）

eg：

template<typename T>
void Swap(T& x1,T& x2)
{
    T tmp=x1;
      x1=x2;
      x2=tmp;
}

原理：

实例化：

用不同类型的参数去使用函数模板时，就是函数模板的实例化

函数模板的实例化分为隐式实例化和显示实例化

template<typename T>
void Swap(T& x1,T& x2)
{
    T tmp=x1;
      x1=x2;
      x2=tmp;
}
//显式实例化：
void Test1()
{
 
    int a=1,b=2;
    Swap<int>(a,b)  //在函数名后的<>中指定模板参数的实际类型
}

//隐式实例化：
void Test2()
{
     int a=2,b=3;
     Swap(a,b); 
}
void Test3()
{
    int a=1;
    double b=2.0;
    Swap(a,b);//编译器会报错
//在模板中、编译器一般不会进行类型转换
//出现上述情况 1.进行强制转换2.显式实例化
    Swap(a,(int)b);
}
int main()
{
    Test1();
    Test2();
    Test3();
    return 0;
}

注：

一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板可以被实例化为这个非模板函数
对于非模板函数和同名函数模板，如果其他条件都相同，在调用时会优先调用非模板函数而不会从该模板产生一个实例。如果模板可以产生一个更好匹配的函数，那么选择模板。
模板函数不允许自动类型转换，但普通函数可以进行自动类型转换

类模板：

类模板的定义格式：

template<class T1, class T2, ..., class Tn>

class 类模板名

{

// 类内成员定义

}；

eg：

template<class T>
class Vector
{ 
public :
 Vector(size_t capacity = 10)
 : _pData(new T[capacity])
 , _size(0)
 , _capacity(capacity)
 {}
 
 // 使用析构函数演示：在类中声明，在类外定义。
 ~Vector();
 

 
private:
 T* _pData;
 size_t _size;
 size_t _capacity;
};
// 注意：类模板中函数放在类外进行定义时，需要加模板参数列表
template <class T>
Vector<T>::~Vector()
{
 if(_pData)
 delete[] _pData;
 _size = _capacity = 0; }

类模板的实例化

类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>

中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。

eg：

Vector<int >s;

注：

类模板的成员函数都是模板函数

非类型模板参数：

模板参数我们可以分为类型形参和非类型形参

类型形参通俗一点，就是在模板参数列表中，class或者typename后面的那个（一种类型：像int char 等等）

非类型形参：用一个常量作为类模板的一个参数，可将该参数当成常量来使用。

看到这里，可能大家不知道我在说什么。

(⊙o⊙)…

其实，我也不知道该怎么解释了，不废话，show you code！

//使用模板来定义一个静态数组
namespace Arr{
  template<class T,size_t N=7>
     T：就是我们所说的类型形参
     N：当然就是非类型形参了
   class arr{
       //具体函数，此处省略

   private:
      T _arr[N];

  };
}

了解完概念之后，我们还需要注意：

注：

浮点数、类对象以及字符串是不允许作为非类型模板参数的
非类型的模板参数必须在编译期就能确认结果。

模板的特化

通过特化两个字，我们基本可以了解这是什么：即对一些特殊类型进行特殊化的处理

如果我们使用模板实现一些与类型无关的代码，但对于一些特殊的类型可能会的到一些错误的结果；这是就需要对模板进行特化，即在源模板类的基础上，针对特殊类型进行特殊的实现方式。

我们可以了解一下这种情况，简单举例，判断是否相等


template <class T1,class T2>
 bool isEqual(T1& x1,T2& x2)
  {
      return x1==x2;
  }

在上面函数模板中，如果我们比较int char double 等类型的数值，都能按照我们的预期进行比较。但是如果是字符串或者其他一些模板类呢？就拿字符串来说，显然不符合我们的预期，我们期待一整串比较，实际上是第一个元素比较

即代码可写为

 bool isEqual<char*>( (char*) & x1,(char*)& x2)
  {
      return x1==x2;
  }
int main()
{
   char* str1="Qyuan";
   char* str2="yuanQ";
   isEqual(str1,str2);
}

此时，我们便可以用到模板特化

用法：

事先必须由一个基础的函数模板
关键字template后面接一对尖括号<>
函数名后跟一对尖括号，尖括号中要指定需要特化的类型。
函数形参表：必须要和模板函数的基础参数类型完全相同

template <class T1,class T2>
 bool isEqual(T1& x1,T2& x2)
  {
      return x1==x2;
  }

//函数模板的特化
template<>
 bool isEqual<char*>( (char*) & x1,(char*)& x2)
  {
      return strcmp(x1,x2)==0;
  }
int main()
{
   char* str1="Qyuan";
   char* str2="yuanQ";
   isEqual(str1,str2);
}

上面我们就完成了对于字符串类型的特化。

也许有一些小伙伴会发出疑问：我对这些特殊的情况直接实例化不香吗？

(⊙o⊙)…！你狠。

这两者我认为是没什么区别的，看自己的习惯吧！

刚才我们了解了函数模板的特化，接下来便是他兄弟，类模板的特化。

类模板的特化

类模板的特化又分为全特化和偏特化

我们先了解一下全特化

全特化就是将模板参数列表中所有的参数全部确定化

template <class T1,class  T2>

class Qyuan{
    public:
        Qyuan()
          { 
            cout<<Q<<Y<<endl; 
          }

    private:
        T1  Q;
        T2  Y;

};
//类模板的特化
//全特化

template <>

class Qyuan<int,char>{
    public:
        Qyuan()
          { 
            cout<<Q<<Y<<endl; 
          }

    private:
        T1  Q;
        T2  Y;

};

偏特化：

将模板参数列表中的一部分参数进行特化
针对模板参数进行进一步的限制。

template <class T1,class  T2>

class Qyuan{
    public:
        Qyuan()
          { 
            cout<<Q<<Y<<endl; 
          }

    private:
        T1  Q;
        T2  Y;

};
//类模板的特化
//偏特化：一部分参数进行特化

template <>

class Qyuan<T1,char>{
    public:
        Qyuan()
          { 
            cout<<Q<<Y<<endl; 
          }

    private:
        T1  Q;
        T2  Y;

};
//针对模板参数进行进一步的限制。
template <>

class Qyuan<T1*,T2*>{//参数偏特化为指针类型
    public:
        Qyuan()
          { 
            cout<<Q<<Y<<endl; 
          }

    private:
        T1  Q;
        T2  Y;

};

template <>

class Qyuan<T1&,T2&>{//参数偏特化为引用类型
    public:
        Qyuan()
          { 
            cout<<Q<<Y<<endl; 
          }

    private:
        T1  Q;
        T2  Y;

};