• 【25】考虑写出一个不抛异常的swap函数


    1、swap交换对象值,std提供了实现方法模版的实现,它的实现是交换对象值。

     1 namespace std 
     2 {
     3  template<typename T>
     4  void swap(T& a,T& b)
     5  {
     6   T temp(a);
     7   a = b;
     8   b = a;
     9  }
    10 }

    2、考虑下面的情况下,资源管理类Widget,内部只有一个指针WidgetImpl,该指针指向一个对象,这个对象中包含真正数据。对这种资源管理类执行swap,如果调用std中的swap,有哪些动作?对于Widget,copy构造一次,copy赋值两次,同时对于WidgetImpl,copy构造一次,copy赋值两次。我们知道,对于这种情况,只需要交换WidgetImpl就可以了。因此,std中的swap不能满足需求。

    3、怎么解决呢?

      std中的swap是个模版方法,不能满足需求,因此我们要全特化一个方法。在方法中,交换WidgetImpl。因为,WidgetImpl是private,不能在外部访问。我们可以在Widget中访问,让Widget暴露一个成员方法,让全特化的swap调用成员方法。

     1 class Widget
     2 {
     3 public:
     4  void swap(Widget& rhs)
     5  {
     6   using namespace std::swap;
     7   swap(this->_widgetImpl,rhs._widgetImpl);
     8  }
     9 };
    10 
    11 namespace WidgetStuff 
    12 {
    13  template<>
    14  void swap<Widget>(Widget& a,Widget& b)
    15  {
    16   a.swap(b);
    17  }
    18 }

    注意:可以全特化std中的东西,但是不要在std中添加东西,因此全特化的方法,放在WidgetStuff命名空间内。

    4、全特化方法是模版方法的一个特例,从范围角度看,模版方法>全特化方法,那么问题来,对于Widget的交换方法swap,模版方法和全特化方法都满足,那么是调用全特化方法,还是使用模版方法实例化一个呢?

      对于C++的名称查找法则,可以这样认为,先在小范围里找,小范围里没有,再到大范围找。

    5、目前C++只允许对类模版偏特化(指定部分模版形参),不允许对方法模版偏特化,但是可以重载。

    6、假如在模版方法中调用swap呢?

      根据上面的查找规则,先在小范围里找,小范围里找不到,再到大范围里找,但是这里要暴露大范围里的swap,使用using std::swap;

    7、为了异常安全性,成员方法swap绝不抛出异常。非成员方法swap允许抛出异常,因为copy构造和copy赋值都可能导致异常。

  • 相关阅读:
    『Asp.Net 组件』第一个 Asp.Net 服务器组件:自己的文本框控件
    『Asp.Net 组件』Asp.Net 服务器组件 的开发优势和劣势
    『开源』简单的代码统计工具 开源啦[有图有真相]
    文件中的类都不能进行设计,因此未能为该文件显示设计器。设计器检查出文件中有以下类: FormMain --- 未能加载基类
    DB2:FETCH FIRST 1 ROWS ONLY
    IEnumerable的几个简单用法
    一个字符串中包含逗号个数
    字符串处理总结之一(C#String类)
    C# 中DateTime的各种使用
    C# 键值对类相关
  • 原文地址:https://www.cnblogs.com/nzbbody/p/3527442.html
Copyright © 2020-2023  润新知