C++ 类模板与模板类详解


C++ 类模板与模板类详解

  在C++的Template中很多地方都用到了typename与class这两个关键字,有时候这两者可以替换,那么这两个关键字是否完全一样呢?

  事实上class用于定义类,在模板引入c++后,最初定义模板的方法为:template<class T>,这里class关键字表明T是一个类型,后来为了避免class在这两个地方的使用可能给人带来混淆,所以引入了typename这个关键字,它的作用同class一样表明后面的符号为一个类型,这样在定义模板的时候可以使用下面的方式了:

  template<typename T>.在模板定义语法中关键字class与typename的作用完全一样

一、区分类模板与模板类的概念

  一个类模板(类生成类)允许用户为类定义个一种模式,使得类中的某些数据成员、默认成员函数的参数,某些成员函数的返回值,能够取任意类型(包括系统预定义的和用户自定义的)。

  如果一个类中的数据成员的数据类型不能确定,或者是某个成员函数的参数或返回值的类型不能确定,就必须将此类声明为模板,它的存在不是代表一个具体的、实际的类,而是代表一类类。

  类模板定义:

  定义一个类模板,一般有两方面的内容:

  A.首先要定义一个类,其格式为:

  template<class T>

  class test

  {

    ....

  }

  test为类名,在类定义体中,如果采用通用数据类型的成员,函数参数的前面需加上T,其中通用类型T可以作为普通成员变量的类型。还可以作为成员函数的参数和返回类型等。 

例如:

    template<class T>

    class Test

    {

    private:

        T n;

        const T i;

    public:

        Test():i(0) {}

        Test(T k);

       ~Test(){}

    void print();

   T operator+(T x);

   };

  如果在类外定义成员函数,若此成员函数中有模板参数存在,则除了需要和一般类的类外定义成员函数一样的定义外,还需要在函数外进行模板声明

例如:

   template<class T>

   void Test<T>::print()

  {

       std::cout<<"n="<<n<<std::endl;

      std::cout<<"i="<<i<<std::endl;

   }

   template<class T>

   Test<T>::Test(T k):i(k){ n=k;}

   template<class T>

   T Test<T>::operator+(T x){

        return n + x;

 }

  关于类模板的使用:类模板的使用实际上是将类模板实例化成一个具体的类,它的格式为:类名<实际的类型>

  模板类是类模板实例化后的一个产物,说个具体点的例子吧,我们把类模板比作是一个做饼干的模子,而模板类就是用这个模子做出来的饼干,至于这个饼干是什么味道的就要看你自己在实例化时用的是什么材料了,你可以做巧克力饼干,也可以做牛奶饼干,这些饼干出了材料不一样外,其它的东西都是一样的了。

  因为很多书都没讲到这种情况, 曾经有这个问题但一直没答案,所以我一直以为模板类的模板成员函数只能在类内定义,直到我在某个开源代码里看到原来要加两个 template<>  ............ (T_T)

  template<typename T1>

  class MyObjectT

  {

    public:

        template<typename T2>

        void Foo(T2 v);

  };

  template<typename T1>

  template<typename T2>

  void MyObjectT<T1>::Foo(T2 v)

  {

      cout << "Foo(" << v << ")" <<  endl;

  }

转自:

转自:https://www.cnblogs.com/cxq0017/p/6076856.html

 


免责声明!

本站转载的文章为个人学习借鉴使用,本站对版权不负任何法律责任。如果侵犯了您的隐私权益,请联系本站邮箱yoyou2525@163.com删除。



 
粤ICP备18138465号  © 2018-2024 CODEPRJ.COM