的std :: iter_swap需要ValueSwappable ARGS VS化std :: swap需要移動分配的ARGS

Question

我有理解爲什麼直接調用化std :: swap（）在下面的代碼會導致編譯錯誤，而使用std困難

:: iter_swap編譯沒有任何錯誤。

從iter_swap() versus swap() -- what's the difference?，iter_swap終於調用std :: swap，但他們的行爲仍然不同。

#include <iostream> 
#include <vector> 

class IntVector { 
    std::vector<int> v; 
    IntVector& operator=(IntVector); // not assignable 
public: 
    void swap(IntVector& other) { 
     v.swap(other.v); 
    } 
}; 
void swap(IntVector& v1, IntVector& v2) { 
    v1.swap(v2); 
} 

int main() 
{ 
    IntVector v1, v2; 
// std::swap(v1, v2); // compiler error! std::swap requires MoveAssignable 
    std::iter_swap(&v1, &v2); // OK: library calls unqualified swap() 
} 

Answer 1

的swap稱爲內iter_swap是不完全合格即不稱爲std::swap但正如swap。因此，在名稱查找和ADL編譯器查找與swap的調用相匹配的多個函數。但是，overload resolution選擇您提供的swap，因爲它匹配得最好。

如果您在主代碼中使用swap，那麼它會很好地編譯，因爲它找不到std::swap。它會編譯即使你做using namespace std;