C++模板的介绍

作者:良知犹存

转载授权以及围观:欢迎添加微信:Allen-Iverson-me-LYN

    1. 模板是泛型编程的基础,泛型编程即以一种独立于任何特定类型的方式编写代码。C++模板的作用,类似于C中的typedef,不过C++中模板有更多的灵活性。C++模板类型,类似于Objective-C中的泛型。C++通过类模板来实现泛型支持。

    2.C++中有两种模板,分别是函数模板和类模板。

一、类模板

 当程序有出现有一些相似的类,这个时候我们可以选择使用类模板进行定义,但是与函数模板不同,类模板不能推断实例化(下面有描述推断的情况),所以你只能显示执行类型参数使用Printer<int> p(1),而不能让编译器自行推断Printer p(1)。

示例代码部分

template<typename T> 标志:

 T  T 可以替换为我们需要的变量类型:例如 int double等

template<typename T>
class AAA{
  private:   T t;
public:   
  void test_func(const T &t);
   
  void print(void);
};
template<typename T>
void AAA<T>::test_func(const T&t)
{   
  this->t = t;
}
template<typename T>
void AAA<T>::print(void)
{
   cout<<t<<endl;
}
使用介绍

1:用时再实例化

AAA<int>a;

AAA<double>b;

2:事先实例化

/*事先实例化*/

template AAA<int>

/*再使用*/

AAA<int >a;

类的定做与继承

 

  函数模板可以重载,类模板也可以进行重载,这样的类叫做定做

定义好<>里面的类型之后,类里面所有的成员都可以修改,而派生类可以与之前不一样。

在模板类的继承中,需要注意以下三点:

  1. 如果父类自定义了构造函数,记得子类要使用构造函数列表来初始化

  2. 继承的时候,如果子类不是模板类,则必须指明当前的父类的类型,因为要分配内存空间 

  3. 继承的时候,如果子类是模板类,要么指定父类的类型,要么用子类的泛型来指定父类

template<>class AAA<int>
{

public:
  void test_func_int(const int &t)

  {       
    cout<<t<<endl;
   
  }
   
  void print(void);

};

void AAA<int>::print(void)

{

   cout<<"for test"<<endl;

}

二、函数模板

函数模板种:函数重载实现相同函数名的实现,但是如果有很多种实现类型框架需要实现,我们便不可以重复的写如此多的重载函数,我们需要函数模板去实现,在重载函数种使用不同的参数类型作为一个参数定义一个函数,这便是函数模板的初始定义。

函数模板实例化

   函数模板只是一套编译指令,一般写在头文件.编译程序的时候,编译器根据函数的参数来推导生成 模板的函数,类似Makefile规则.

通过模板得到函数的过程,我们称之为模板的实例化或者叫模板的具体化.

示例代码

using namespace std;

template<typename T>

const T& mymax(const T& a,const T& b)

{
  // cout<<"mymax(T& a,T& b)"<<endl;
  cout<<__PRETTY_FUNCTION__<<endl;   
   return (a<b)?b:a;

}

template<typename T>

const T * mymax1(const T* a,const T* b)

{
// cout<<"mymax(T& a,T& b)"<<endl;

  cout<<__PRETTY_FUNCTION__<<endl;

   return (a<b)?b:a;

}

template<typename T>

void test_func(T f)
{
  cout<<__PRETTY_FUNCTION__<<endl;

}

int f1(int a,int b)

{
  return 0;

}

void add(int a,int b)

{
  cout<<"add(int a,int b) ="<<(a+b)<<endl;/*普通函数可以进行简单的隐式类型转化*/

}

int main(int argc,char** argv)

{
  
  int a = 1,b = 2.1;

add(a,b);/*隐式转化,但是函数模板不支持此种转化*/
int ia = 1, ib = 2;

mymax(ia,ib);/*隐式转化支持从可读写转为只读 ,从高到低*/

char ca[] = "ab";

char cb[] = "cd";

mymax(ca,cb);

    mymax1(ca,cb);/*s数组转化为指针*/

char ca1[] = "abc";/*长度不一致的时候 error*/
char cb1[] = "cd";

// mymax(ca1,cb1);/*无法推导出同样的T char&[3],char&[2]*/

mymax1(ca1,cb1);/*s数组转化为指针*/

test_func(f1);
test_func(&f1);

return 0;

}

 在匹配函数之后,发现有出现匹配度相同的函数,优先选择普通函数。对于多个模板函数,选择“更特化”函数,否则出现二义性错误。

函数模板使用的时候注意调用使用的顺序规则最特化:更特殊、更具体、更细化。

更多分享,扫码关注我

微信:Allen-Iverson-me-LYN

猜你喜欢

转载自www.cnblogs.com/conscience-remain/p/12765273.html