zoukankan      html  css  js  c++  java
  • 条款45:运用成员函数模板结合艘所有的兼容类型

    首先看看下面的真实的指针与模板创建的智能指针之间的区别:

    1 class Top{...};
    2 class Middle : public Top{...};
    3 class Bottom : public Middle{...};
    4 Top * p1 = new Bottom();
    5 Top * p2 = new Middle();
    6 const Top * cp2 = p1;     //ok,没有问题,指针与实际所指之物之间确实是有关系的

    但是:

    1 template<typename T>
    2 class SmartPtr{
    3 public:
    4     explicit SmartPtr(T * ptr);
    5     ...
    6 };
    7 SmartPtr<Top> pt1 = SmartPtr<Middle>(new Middle);
    8 SmartPtr<Top> pt2 = SmartPtr<Bottom>(new Bottom);
    9 SmartPtr<const Top> cp2 = pt1;

    这里的等式左右两边的真正实际并没有任何的关系,只是同一个模板实例化出来的不同模板实例而已。

    1 template<typename T>
    2 class SmartPtr{
    3 public:
    4     template<typename U>
    5     SmartPtr(const SmartPtr<U> &other);
    6     ...
    7 };

    上面这个SmartPtr的构造函数并非是explicit的,因为默认的指针之间可以隐式的相互转换,所以将这点引申到智能指针之上也是无可厚非的。

     1 template<typename T>
     2 class SmartPtr{
     3 public:
     4     template<typename U>
     5     SmartPtr(const SmartPtr<U> &other)
     6     : heldPtr(other.get()){...}
     7     T*get() const{return heldPtr;}
     8     ...
     9 private:
    10     T * heldPtr;
    11 };
    在这种情况下,上面的那个构造函数的定义的意思:存在某个隐式的转换关系,可以将U类型的指针转换成T类型的指针才可以,这正好符合我们想将一个继承体系里面的指针相互转换的这种行为。
     
    小结:
        请使用member function templates 生成,可接受所有兼容类型的函数
        对member function template 如果要定义拷贝构造函数以及拷贝赋值运算符(template版本)的话,那么也应该定义一般的构造函数与拷贝赋值运算符(非template版本)。
  • 相关阅读:
    dedecms自定义表单提交获取时间跟ip地址
    JQuery购物车多物品数量的加减+总价计算
    jquery手机触屏滑动拼音字母城市选择器代码
    js实现图片上传实时显示
    js实现发送验证码倒计时效果
    JS 仿支付宝input文本输入框放大组件
    js实现倒计时效果
    jquery统计输入文字的个数并对其进行判断
    【Linux】Linux系统安全设置
    java泛型(generics)
  • 原文地址:https://www.cnblogs.com/-wang-cheng/p/4889818.html
Copyright © 2011-2022 走看看