C++函数模板与类模板

简介: C++函数模板与类模板

C++另一种编程思想被称为泛型编程,主要利用的技术就是模板

C++提供两种模板机制:函数模板类模板

模板的特点:

  • 不可以直接使用,只是一个框架
  • 模板的通用并不是万能的

函数模板语法

函数模板作用:

建立一个通用函数,其函数返回值类型和形参类型可以不具体制定,用一个虚拟的类型来制定

语法:template<typename T>

  • template:声明创建模板
  • typename:表明其后面的符号是一种数据类型,可以用class代替
  • T:通用的数据类型,名称可以替换,通常为大写字母
#include<iostream>
using namespace std;
//函数模板
template<typename  T>//告诉编译器,后面的代码中紧跟着的T不要报错,T是一个通用数据类型
void mySwap(T& a, T& b)
{
  T temp = a;
  a = b;
  b = temp;
}
int main()
{
  int a = 10;
  int b = 20;
  //两种方法使用函数模板
  //自动类型推导
  mySwap(a, b);
  cout << "a=" << a << "\tb=" << b << endl;
  //显式指定类型
  mySwap<int>(a, b);
  cout << "a=" << a << "\tb=" << b << endl;
  return 0;
}

函数模板注意事项

  • 自动类型推导,必须推导出一致的数据类型T才可以使用
  • 模板必须要确定出T的数据类型,才可以使用
//模板必须要确定出T的数据类型,才可以使用
template<typename  T>//注释掉可正常运行
void func(T& a, T& b)
{
  cout << "hello" << endl;
}
int main()
{
  func();//没有与参数列表匹配的函数模板实例
  return 0;
}

普通函数与函数模板区别

  • 普通函数调用时可以发生自动类型转换(隐式类型转换)
  • 函数模板调用时,如果利用自动类型推导,不会发生隐式类型转换
  • 如果利用显示指定类型的方式,可以发生隐式类型转换
  • 建议使用显示指定类型的方式调用函数模板,因为自己可以确定通用类型T
template<typename  T>
T func(T a, T b)
{
  return a + b;
}
int main()
{
  int a = 10;
  char b = 10;
    //如果利用显示指定类型的方式,可以发生隐式类型转换
  cout << func<int>(a, b) << endl;//可正常运行
  //如果利用自动类型推导,不会发生隐式类型转换
    cout << func(a, b) << endl;//会报错
  return 0;
}

普通函数与函数模板的调用规则

  • 如果函数模板和普通函数都可以实现,优先调用普通函数
  • 可以通过空模板参数列表来强制调用函数模板
  • 函数模板也可以发生重载
  • 如果函数模板可以更好地匹配,优先调用函数模板
  • 既然提供了函数模板,最好就不要提供普通函数,否则容易出现二义性
void func(int a, int b)
{
  cout << "普通函数" << endl;
}
template<typename  T>
void func(T a, T b)
{
  cout << "模板" << endl;
}
int main()
{
  //如果函数模板和普通函数都可以实现,优先调用普通函数
  func(1, 1);
  //通过空模板参数列表来强制调用函数模板
  func<>(1, 1);
  return 0;
}
template<typename  T>
void func(T a, T b)
{
  cout << "模板" << endl;
}
template<typename  T>
void func(T a, T b,T c)
{
  cout << "重载的模板" << endl;
}
int main()
{
  func<>(1, 1);
  //函数模板也可以发生重载
  func<>(1, 1, 1);
  return 0;
}

模板的局限性

模板不是万能的,有些特定数据类型,需要用具体化方式做特殊实现

  • 利用具体化的模板,可以解决自定义类型的通用化
  • 学习模板并不是为了写模板,而是在STL能够运用系统提供的模板
class Person
{
public:
  Person(string name, int age)
  {
    m_name = name;
    m_age = age;
  }
  string m_name;
  int m_age;
};
template<typename  T>
bool func(T& a, T& b)
{
  if (a == b)
    return true;
  else
    return false;
}
//利用具体化Person的版本实现代码,具体化优先调用
template<> bool func(Person& a, Person& b)
{
  if (a.m_name == b.m_name && a.m_age == b.m_age)
    return true;
  else
    return false;
}

类模板语法

类模板作用:

  • 建立一个通用类,类中的成员、数据类型可以不具体制定,用一个虚拟的类型来代表

语法:template<typename T>

  • template:声明创建模板
  • typename:表明其后面的符号是一种数据类型,可以用class代替
  • T:通用数据类型,名称可以替换,通常为大写字母

类模板和函数模板语法相似,在声明模板template后面加类,此类称为类模板

template<class NameType, class AgeType>
class Person
{
public:
  Person(NameType name, AgeType age)
  {
    this->m_name = name;
    this->m_age = age;
  }
  void show()
  {
    cout << m_name << m_age << endl;
  }
  NameType m_name;
  AgeType m_age;
};
int main()
{
  Person<string,int> a("张三", 10);
  a.show();
  return 0;
}

类模板与函数模板区别

类模板与函数模板区别主要有两点:

  • 类模板没有自动类型推导的使用方式
  • 类模板在模板参数列表中可以有默认参数
//类模板中可以有默认参数
template<class NameType, class AgeType = int>
class Person
{
public:
  Person(NameType name, AgeType age)
  {
    this->m_name = name;
    this->m_age = age;
  }
  void show()
  {
    cout << m_name << m_age << endl;
  }
  NameType m_name;
  AgeType m_age;
};
int main()
{
  //类模板没有自动类型推导的使用方式
  //Person a("张三", 10);
  Person<string> a("张三", 10);//只能用显示指定类型
  a.show();
  return 0;
}

类模板中成员函数创建时机

  • 普通类中的成员函数一开始就可以创建
  • 类模板中的成员函数在调用时才创建
class A
{
public:
  void show()
  {
    cout << "A" << endl;
  }
};
template<typename T>
class B
{
public:
  T t;
  void show()
  {
    t.show();
  }
};
int main()
{
  B<A> b;
  b.show();
  return 0;
}

类模板对象做函数参数

类模板实例化出的对象,有三种向函数传参的方式:

  • 指定传入的类型:直接显示对象的数据类型
  • 参数模板化:将对象中的参数变为模板进行传递
  • 整个类模板化:将这个对象类型模板化进行传递
  • 使用比较广泛的是第一种:指定传入类型
template<typename T>
class A
{
public:
  A(T t)
  {
    this->m_t = t;
  }
  T m_t;
  void show()
  {
    cout << m_t << endl;
  }
};
//指定传入类型
void show(A<int>& a)
{
  a.show();
}
int main()
{
  A<int> a(10);
  show(a);
  return 0;
}
template<typename T>
class A
{
public:
  A(T t)
  {
    this->m_t = t;
  }
  T m_t;
  void show()
  {
    cout << m_t << endl;
  }
};
//参数模板化
template<typename T1>
void show(A<T1>& a)
{
  a.show();
}
int main()
{
  A<int> a(10);
  show(a);
  return 0;
}
template<typename T>
class A
{
public:
  A(T t)
  {
    this->m_t = t;
  }
  T m_t;
  void show()
  {
    cout << m_t << endl;
  }
};
//参数模板化
template<typename T>
void show(T a)
{
  a.show();
  cout << "T的类型为" << typeid(T).name() << endl;
}
int main()
{
  A<int> a(10);
  show(a);
  return 0;
}

类模板与继承

  • 当子类继承的父类是一个类模板时,子类在声明时,要指定出父类中T的类型
  • 如果不指定,编译器无法给子类分配内存
  • 如果想灵活指定出父类中T的类型,子类也需变为类模板
template<typename T>
class A
{
};
//必须知道父类中T的类型,才能继承给子类
class B :public A<int>
{
};
class A
{
};
//如果想灵活指定父类中T的类型,子类也需要变为类模板
template<class T>
class B :public A<T>
{
};

类模板成员函数类外实现

template<typename T1, class T2>
class Person
{
public:
  Person(T1 name, T2 age);
  T1 m_name;
  T2 m_age;
};
//构造函数类外实现
template<class T1, class T2>
Person<T1, T2>::Person(T1 name, T2 age)
{
  this->m_age = age;
  this->m_name = name;
}
template<typename T1, class T2>
class Person
{
public:
  void show();
  T1 m_name;
  T2 m_age;
};
//成员函数类外实现
template<class T1, class T2>
void Person<T1, T2>::show()
{
  cout << m_name << "\t" << m_age << endl;
}

类模板分文件编写

问题:

  • 类模板中成员函数创建时机是在调用阶段,导致分文件编写时链接不到

两种解决方式:

  • 直接包含.cpp源文件
  • 将声明和实现写到同一个文件中,并更改后缀名为.hpp.hpp是约定的名称,不是强制规定

类模板与友元

全局函数类内实现:直接在类内声明友元即可

全局函数类外实现:需要提前让编译器知道全局函数的存在

建议全局函数做类内实现,用法简单,而且编译器可以直接识别

template<class T1>
class Test
{
  friend void func(Test<string> test)
  {
    cout << "全局函数类内实现 " << test.m_name << endl;
  }
  T1 m_name;
public:
  Test(T1 name)
  {
    this->m_name = name;
  }
};
int main()
{
  Test<string> a("张三");
  func(a);
  return 0;
}
template<class T1>
class Test;
template<class T1>
void func(Test<T1> test);
//用到的东西要提前让编译器知道
template<class T1>
class Test
{
  //加空模板参数列表,调用函数模板
  friend void func<>(Test<T1> test);
  T1 m_name;
public:
  Test(T1 name)
  {
    this->m_name = name;
  }
};
template<class T1>
void func(Test<T1> test)
{
  cout << "全局函数类外实现 " << test.m_name << endl;
}
int main()
{
  Test<string> a("张三");
  func(a);
  return 0;
}

自制数组类

直接包含.hpp即可使用

#pragma once
//自己的通用数组类
#include<iostream>
#include<string>
using namespace std;
template<class T>
class MyArray
{
public:
  MyArray(int capacity)
  {
    cout << "有参构造" << endl;
    this->m_Capacity = capacity;
    this->m_Size = 0;
    this->pAddress = new T[this->m_Capacity];
  }
  MyArray(const MyArray& arr)
  {
    cout << "拷贝构造" << endl;
    this->m_Capacity = arr.m_Capacity;
    this->m_Size = arr.m_Size;
    //深拷贝
    this->pAddress = new T[arr.m_Capacity];
    //将arr中的数据都拷贝过来
    for (int i = 0; i < this->m_Size; i++)
    {
      this->pAddress[i] = arr.pAddress[i];
    }
  }
  ~MyArray()
  {
    if (this->pAddress != NULL)
    {
      cout << "析构" << endl;
      delete[] this->pAddress;
      this->pAddress = NULL;
    }
  }
  MyArray& operator=(const MyArray& arr)
  {
    //先判断原来堆区是否有数据,如果有,先释放
    if (pAddress != NULL)
    {
      cout << "operator=调用" << endl;
      delete[] this->pAddress;
      this->pAddress = NULL;
      this->m_Capacity = 0;
      this->m_Size = 0;
    }
    //深拷贝
    this->m_Capacity = arr.m_Capacity;
    this->m_Size = arr.m_Size;
    this->pAddress = new T[arr.m_Capacity];
    for (int i = 0; i < this->m_Size; i++)
    {
      this->pAddress[i] = arr.pAddress[i];
    }
    return *this;
  }
  //尾插法
  void Push_Back(const T& val)
  {
    if (this->m_Capacity == this->m_Size)
    {
      return;
    }
    this->pAddress[this->m_Size] = val;
    this->m_Size++;
  }
  //尾删法
  void Pop_Back()
  {
    //让用户访问不到最后一个元素,即是尾删
    if (m_Size == 0)
    {
      return;
    }
    this->m_Size--;
  }
  //通过下标访问数组中的元素
  T& operator[](int index)
  {
    return this->pAddress[index];//不考虑边界,由用户自行处理
  }
  //返回数组容量
  int getCapacity()
  {
    return this->m_Capacity;
  }
  //返回数组大小
  int getSize()
  {
    return this->m_Size;
  }
private:
  T* pAddress;//指针指向堆区开辟的真实数组
  int m_Capacity;
  int m_Size;
};
目录
相关文章
|
3月前
|
存储 算法 安全
c++模板进阶操作——非类型模板参数、模板的特化以及模板的分离编译
在 C++ 中,仿函数(Functor)是指重载了函数调用运算符()的对象。仿函数可以像普通函数一样被调用,但它们实际上是对象,可以携带状态并具有更多功能。与普通函数相比,仿函数具有更强的灵活性和可扩展性。仿函数通常通过定义一个包含operator()的类来实现。public:// 重载函数调用运算符Add add;// 创建 Add 类的对象// 使用仿函数return 0;
121 0
|
3月前
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
88 0
|
3月前
|
存储 编译器 程序员
c++的类(附含explicit关键字,友元,内部类)
本文介绍了C++中类的核心概念与用法,涵盖封装、继承、多态三大特性。重点讲解了类的定义(`class`与`struct`)、访问限定符(`private`、`public`、`protected`)、类的作用域及成员函数的声明与定义分离。同时深入探讨了类的大小计算、`this`指针、默认成员函数(构造函数、析构函数、拷贝构造、赋值重载)以及运算符重载等内容。 文章还详细分析了`explicit`关键字的作用、静态成员(变量与函数)、友元(友元函数与友元类)的概念及其使用场景,并简要介绍了内部类的特性。
166 0
|
5月前
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
171 12
|
6月前
|
编译器 C++
模板(C++)
本内容主要讲解了C++中的函数模板与类模板。函数模板是一个与类型无关的函数家族,使用时根据实参类型生成特定版本,其定义可用`typename`或`class`作为关键字。函数模板实例化分为隐式和显式,前者由编译器推导类型,后者手动指定类型。同时,非模板函数优先于同名模板函数调用,且模板函数不支持自动类型转换。类模板则通过在类名后加`&lt;&gt;`指定类型实例化,生成具体类。最后,语录鼓励大家继续努力,技术不断进步!
|
6月前
|
编译器 C++
类和对象(中 )C++
本文详细讲解了C++中的默认成员函数,包括构造函数、析构函数、拷贝构造函数、赋值运算符重载和取地址运算符重载等内容。重点分析了各函数的特点、使用场景及相互关系,如构造函数的主要任务是初始化对象,而非创建空间;析构函数用于清理资源;拷贝构造与赋值运算符的区别在于前者用于创建新对象,后者用于已存在的对象赋值。同时,文章还探讨了运算符重载的规则及其应用场景,并通过实例加深理解。最后强调,若类中存在资源管理,需显式定义拷贝构造和赋值运算符以避免浅拷贝问题。
|
6月前
|
存储 编译器 C++
类和对象(上)(C++)
本篇内容主要讲解了C++中类的相关知识,包括类的定义、实例化及this指针的作用。详细说明了类的定义格式、成员函数默认为inline、访问限定符(public、protected、private)的使用规则,以及class与struct的区别。同时分析了类实例化的概念,对象大小的计算规则和内存对齐原则。最后介绍了this指针的工作机制,解释了成员函数如何通过隐含的this指针区分不同对象的数据。这些知识点帮助我们更好地理解C++中类的封装性和对象的实现原理。
|
6月前
|
编译器 C++
类和对象(下)C++
本内容主要讲解C++中的初始化列表、类型转换、静态成员、友元、内部类、匿名对象及对象拷贝时的编译器优化。初始化列表用于成员变量定义初始化,尤其对引用、const及无默认构造函数的类类型变量至关重要。类型转换中,`explicit`可禁用隐式转换。静态成员属类而非对象,受访问限定符约束。内部类是独立类,可增强封装性。匿名对象生命周期短,常用于临时场景。编译器会优化对象拷贝以提高效率。最后,鼓励大家通过重复练习提升技能!
|
7月前
|
编译器 C++ 开发者
【C++篇】深度解析类与对象(下)
在上一篇博客中,我们学习了C++的基础类与对象概念,包括类的定义、对象的使用和构造函数的作用。在这一篇,我们将深入探讨C++类的一些重要特性,如构造函数的高级用法、类型转换、static成员、友元、内部类、匿名对象,以及对象拷贝优化等。这些内容可以帮助你更好地理解和应用面向对象编程的核心理念,提升代码的健壮性、灵活性和可维护性。
|
6月前
|
设计模式 安全 C++
【C++进阶】特殊类设计 && 单例模式
通过对特殊类设计和单例模式的深入探讨,我们可以更好地设计和实现复杂的C++程序。特殊类设计提高了代码的安全性和可维护性,而单例模式则确保类的唯一实例性和全局访问性。理解并掌握这些高级设计技巧,对于提升C++编程水平至关重要。
127 16