member template成员模板笔记----C++学习之路

  1.所谓成员模板，模板中有个member，它本身也是一个template，就叫做成员模板。

  2.例子：

template <class T1, class T2>
struct pair
{
    typedef T1 first_type;
    typedef T2 second_type;

    T1 first;
    T2 second;
    pair()
        :first(T1()), second(T2()) {}
    pair(const T1& a ,const T& b)
        :first(a),second(b) {}

    template<class U1, class U2>
    pair(const pair<U1,U2>& p)
        :first(p.first),second(p.second) {}
};

在模板上T1 T2在变换过程中，如果已经固定，那么在成员中U1 U2又能变换。

  3.

class Base1{};
class Derived1:public Base1{};

class Base2{};
class Derived2:public Base2{};

假设有这些类的继承关系。

pair<Derived1,Derived2> p;
pair<Base1 ,Base2> p2(p);

这样就是拿T1 T2来制作一个p。

第二行就是那两个父类来做成一个p2。

这样我们是否能够拿这两个子类放到一个由父类构成的pair中作为初值。

pair<Base1,Base2> p2(pair<Derived1,Derived2>());

但是如果Derived1 和Derived2反了的话就会失败。
  4.另一种例子的成员模板：

template<typename _Tp>
class shared_ptr:public __shared_ptr<_Tp>
{
    ...
    template<typename _Tp1>
    explicit shared_ptr(_Tp1* __p)
        :__shared_ptr<_Tp>(__p){}
    ....
};

所以，当智能指针类型十个父类，new了一个子类，这是可以的。

Base1* ptr = new Derived1; //up-cast
shared_ptr<Base1> sptr(new Derived1);

也就是说，当我们指向一个人类的父类，那么指向女人也是可以的。