C++之类模板详解(一)

C++ 除了支持 函数模板,还支持 类模板(Class Template)。函数模板中定义的类型参数可以用在函数声明和函数定义中,类模板中定义的类型参数可以用在类声明和类实现中。类模板的目的同样是将数据的类型参数化。

声明类模板的语法为:

template<typename 类型参数1 , typename 类型参数2 , …> class 类名{
    //TODO:
};

类模板和函数模板都是以 template 开头(当然也可以使用 class,目前来讲它们没有任何区别),后跟类型参数;类型参数不能为空,多个类型参数用逗号隔开。

一但声明了类模板,就可以将类型参数用于类的成员函数和成员变量了。换句话说,原来使用 int、float、char 等内置类型的地方,都可以用类型参数来代替。

假如我们现在要定义一个类来表示坐标,要求坐标的数据类型可以是整数、小数和字符串,例如:
  • x = 10、y = 10
  • x = 12.88、y = 129.65
  • x = "东京180度"、y = "北纬210度"

这个时候就可以使用类模板,请看下面的代码:

    
    
  1. template<typename T1, typename T2> //这里不能有分号
  2. class Point{
  3. public:
  4. Point(T1 x, T2 y): m_x(x), m_y(y){ }
  5. public:
  6. T1 getX() const; //获取x坐标
  7. void setX(T1 x); //设置x坐标
  8. T2 getY() const; //获取y坐标
  9. void setY(T2 y); //设置y坐标
  10. private:
  11. T1 m_x; //x坐标
  12. T2 m_y; //y坐标
  13. };
x 坐标和 y 坐标的数据类型不确定,借助类模板可以将数据类型参数化,这样就不必定义多个类了。
注意:模板头和类头是一个整体,可以换行,但是中间不能有分号。
上面的代码仅仅是类的声明,我们还需要在类外定义成员函数。在类外定义成员函数时仍然需要带上模板头,格式为:

template<typename 类型参数1 , typename 类型参数2 , …>
返回值类型 类名<类型参数1 , 类型参数2, ...>::函数名(形参列表){
    //TODO:
}

第一行是模板头,第二行是函数头,它们可以合并到一行,不过为了让代码格式更加清晰,一般是将它们分成两行。

下面就对 Point 类的成员函数进行定义:

    
    
  1. template<typename T1, typename T2> //模板头
  2. T1 Point<T1, T2>::getX() const /*函数头*/ {
  3. return m_x;
  4. }
  5. template<typename T1, typename T2>
  6. void Point<T1, T2>::setX(T1 x){
  7. m_x = x;
  8. }
  9. template<typename T1, typename T2>
  10. T2 Point<T1, T2>::getY() const{
  11. return m_y;
  12. }
  13. template<typename T1, typename T2>
  14. void Point<T1, T2>::setY(T2 y){
  15. m_y = y;
  16. }
请读者仔细观察代码,除了 template 关键字后面要指明类型参数,类名 Point 后面也要带上类型参数,只是不加 typename 关键字了。另外需要注意的是,在类外定义成员函数时,template 后面的类型参数要和类声明时的一致。

使用类模板创建对象

上面的两段代码完成了类的定义,接下来就可以使用该类创建对象了。使用类模板创建对象时,需要指明具体的数据类型。请看下面的代码:

    
    
  1. Point<int, int> p1(10, 20);
  2. Point<int, float> p2(10, 15.5);
  3. Point<float, char*> p3(12.4, "东京180度");
与函数模板不同的是,类模板在实例化时必须显式地指明数据类型,编译器不能根据给定的数据推演出数据类型。

除了对象变量,我们也可以使用对象指针的方式来实例化:

    
    
  1. Point<float, float> *p1 = new Point<float, float>(10.6, 109.3);
  2. Point<char*, char*> *p = new Point<char*, char*>("东京180度", "北纬210度");
需要注意的是,赋值号两边都要指明具体的数据类型,且要保持一致。下面的写法是错误的:

    
    
  1. //赋值号两边的数据类型不一致
  2. Point<float, float> *p = new Point<float, int>(10.6, 109);
  3. //赋值号右边没有指明数据类型
  4. Point<float, float> *p = new Point(10.6, 109);

综合示例

将上面的类定义和类实例化的代码整合起来,构成一个完整的示例,如下所示:

    
    
  1. #include <iostream>
  2. using namespace std;
  3. template<class T1, class T2> //这里不能有分号
  4. class Point{
  5. public:
  6. Point(T1 x, T2 y): m_x(x), m_y(y){ }
  7. public:
  8. T1 getX() const; //获取x坐标
  9. void setX(T1 x); //设置x坐标
  10. T2 getY() const; //获取y坐标
  11. void setY(T2 y); //设置y坐标
  12. private:
  13. T1 m_x; //x坐标
  14. T2 m_y; //y坐标
  15. };
  16. template<class T1, class T2> //模板头
  17. T1 Point<T1, T2>::getX() const /*函数头*/ {
  18. return m_x;
  19. }
  20. template<class T1, class T2>
  21. void Point<T1, T2>::setX(T1 x){
  22. m_x = x;
  23. }
  24. template<class T1, class T2>
  25. T2 Point<T1, T2>::getY() const{
  26. return m_y;
  27. }
  28. template<class T1, class T2>
  29. void Point<T1, T2>::setY(T2 y){
  30. m_y = y;
  31. }
  32. int main(){
  33. Point<int, int> p1(10, 20);
  34. cout<<"x="<<p1.getX()<<", y="<<p1.getY()<<endl;
  35. Point<int, char*> p2(10, "东京180度");
  36. cout<<"x="<<p2.getX()<<", y="<<p2.getY()<<endl;
  37. Point<char*, char*> *p3 = new Point<char*, char*>("东京180度", "北纬210度");
  38. cout<<"x="<<p3->getX()<<", y="<<p3->getY()<<endl;
  39. return 0;
  40. }
运行结果:
x=10, y=20
x=10, y=东京180度
x=东京180度, y=北纬210度

在定义类型参数时我们使用了 class,而不是 typename,这样做的目的是让读者对两种写法都熟悉。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值