search

Home  >  Q&A  >  body text

effective c++中,条款25:考虑写出一个不抛出异常的swap函数 中的一个疑问。

书中提到,如果swap的缺省实现对你的class或class template 效率不足,试着做一下事情

  1. 提供一个public swap成员函数,让它高效的置换你的类型的两个对象。
  2. 在你的class 或template 所在的命名空间内提供一个non-member swap, 并另它调用上述swap成员。
  3. 如果你正编写一个class( 而非class template), 为你的class 特化std:swap.并另它调用你的swap函数。

最后,如果你调用swap, 请确定包含一个using声明式,以便让std:swap在你的成员函数内曝光课件,然后不加任何namesapce修饰符,赤裸裸调用swap。

我的疑问是有了第二点,还为什么要第三点? 因为根据augument-dependent lookup,就能找到class 或tempalte命名空间的swap,然后就会调用之。为什么还要有第三点?感觉没必要啊。

迷茫迷茫2808 days ago561

reply all(1)I'll reply

  • 大家讲道理

    大家讲道理2017-04-17 11:08:58

    This is also described in the book:

    1. Effective C recommends calling it in the following form:
    template<typename T>
    void doSomething(T& obj1, T& obj2)
    {
      using std::swap;
      swap(obj1, obj2);
    }
    

    This way of writing can find the non-member function specialized in the class through ADL (argument-dependent lookup).

    2. In some cases (actually many cases), it will be inappropriately written as the following code:

    template<typename T>
    void doSomething(T& obj1, T& obj2)
    {
      std::swap(obj1, obj2);
    }
    

    If specialization in std namespace is not provided (Item 3), the above code will only use unspecialized std::swap, thus causing performance problems.

    In general, the third point is a way to avoid traps.

    reply
    0
  • Cancelreply