如何为我的班级提供交换功能？

小编典典

如何为我的班级提供交换功能？

algorithm

启用我swap的STL算法的正确方法是什么？

1）会员swap。是否std::swap使用SFINAE技巧来使用成员swap。

2）swap在同一个命名空间中独立。

3）的部分专业化std::swap。

4）以上全部。

谢谢。

编辑：好像我没有清楚地说出我的问题。基本上，我有一个模板类，我需要STL算法才能使用为该类编写的（有效）交换方法。

阅读 282

2020-07-28

共1个答案

小编典典

1）是正确使用的swap。当您编写“库”代码并要在上启用ADL（依赖于参数的查找）时，请以这种方式编写swap。另外，这与SFINAE无关。

// some algorithm in your code
template<class T>
void foo(T& lhs, T& rhs){
  using std::swap; // enable 'std::swap' to be found
                   // if no other 'swap' is found through ADL
  // some code ...
  swap(lhs, rhs); // unqualified call, uses ADL and finds a fitting 'swap'
                  // or falls back on 'std::swap'
  // more code ...
}

2）是swap为您的课程提供功能的正确方法。

namespace Foo{

class Bar{}; // dummy

void swap(Bar& lhs, Bar& rhs){
  // ...
}

}

如果swap现在按1）所示使用，则将找到您的功能。另外，如果您绝对需要，可以将该函数设为朋友，或者提供一个swap由free函数调用的成员：

// version 1
class Bar{
public:
  friend void swap(Bar& lhs, Bar& rhs){
    // ....
  }
};

// version 2
class Bar{
public:
  void swap(Bar& other){
    // ...
  }
};

void swap(Bar& lhs, Bar& rhs){
  lhs.swap(rhs);
}

3）您的意思是显式专业化。Partial仍然是其他东西，对于函数，仅结构/类，也是不可能的。因此，由于您不能专门std::swap研究模板类，因此
必须
在名称空间中提供免费功能。如果我可以这么说，这不是一件坏事。现在，显式的专业化也是可能的，但是通常您不想对函数模板进行专业化：

namespace std
{  // only allowed to extend namespace std with specializations

template<> // specialization
void swap<Bar>(Bar& lhs, Bar& rhs){
  // ...
}

}

4）不，因为1）与2）和3）不同。同样，同时拥有2）和3）会导致总是选择2），因为它更合适。

2020-07-28