EffictiveC++

浅谈智能指针

所谓智能指针是“行为像指针的对象”,并提供指针没有的技能。STL迭代器几乎总是智能指针:你不会奢望使用“++”将一个内置指针从Linked list的某个节点移到另一个节点,但是在list:iterator身上办得到。
真实指针做的很好的一件事是,支持隐式转换,派生类指针可以隐式转换为基类指针,非const类型转换为const等等,下面是发生于三层继承类型的一些转换。

class Top{...};
class Middle:public Top{ ... };
class Bottom:public Middle{ ... };

Top* pt1 = new Middle; // Middle* 转化为 Top*
Top* pt2 = new Bottom; // Bottom* 转化为 Top*
const Top* pt2 = pt1;  // Top* 转化为const Top*

但是如果用户想在自定义智能指针中模拟上述转换,稍微有点麻烦,我们可能会写出下面的代码

template<typename T>
class SmartPtr
{
public:
    explicit SnartPtr(T* realPtr);
    ...
}

SmartPtr<Top> pt1 = SmartPtr<Middle>(new Middle);

SmartPtr<Top> pt2 = SmartPtr<Bottom>(new Bottom);

SmartPtr<const Top> pt2 = pt1;

但是同一个template的不同具现体之间并不存在与生俱来的故有关系。因此为了获得我们希望的SmartPtr classes之间的转换能力,我们必须将他们明确的编写出来。

Template 和 泛型编程

在上述智能指针实例中,每一个语句创建了一个新式智能指针对象,所以现在我们应该关注如何编写智能指针的构造函数,使其行为能够满足我们的转型需要,考虑到上述继承体系未来有所扩充,Smart对象又必须能根据其他对象构造自己。因此我们需要的似乎不是为SmartPtr写一个构造函数,二是为他写一个构造模板,这样的模板是所谓“functions templates”,其作用是为class生成函数

template<typename T>
class SmartPtr
{
public:
    template<typename U>                //member template
    SmartPtr(const SmartPtr<U>& other); //为了生成copy构造函数
}

以上代码的意思是,对任何类型T 和 任何类型U,这里可以根据SmartPtr < U>生成一个 SmartPtr < T>,因为SmartPtr < T>有个构造函数接受一个SmartPtr < U>,这一类构造函数根据对象u创建对象t, 而u和v的类型是同一个template的不同实现体,有时我们称之为 泛化copy构造函数。
上面的泛化copy构造函数并未被声明为explicit,那是有意为之,因为原始指针之间的转换是隐式转换,无需明白写出转型动作,所以让智能指针仿效这种行径也属合理。

完成声明之后,这个为SmartPtr编写的 “泛化copy构造函数”提供的东西比我们需要的更多,是的。我们希望根据一个SmartPtr < Botton>创建一个SmartPtr < Top>,却不希望一个 SmartPtr < Top>创建一个SmartPtr < Botton>,这对于public继承而言是矛盾的。我们也不希望根据一个SmartPtr< int>创建一个SmartPtr< double>,因此我们必须从某一方面对这一member template创建的成员函数群进行拣选和筛除。

假设SmartPtr遵循 auto_ptr 和 tr1::shared_ptr所提供的,也提供一个get函数,那么我们可以在嗲马忠约束转换行为,使其符合我们的期望。

template<typename T>
class SmartPtr
{
public:
template<typename U>
SmartPtr(const SmartPtr<U>& other)
    :heldPtr(other.get()){ ... }
T* get()const  {return heldPtr; }
...

private:
    T* heldPtr;
}

我们使用成员初值列来初始化Smart< T>类型为T*的成员变量,并以类型U*的指针(由SmartPtr< U>持有)作为初值,这个行为只有当“某个隐式转换可将一个U*指针转化为T*指针”时才能通过编译”,这正是我们想要的。最终效益是:SmartPtr< T>拥有了一个泛化的copy构造函数,这个构造函数只有在其所获得的实参隶属适当类型时才会通过编译。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值