std :: iter_swap erfordert ValueSwappable args vs std :: swap erfordert Move Assignable args

Question

Ich habe Schwierigkeiten zu verstehen, warum direkter Aufruf von std :: swap() in unter Code einen Kompilierungsfehler ergibt, während die Verwendung von std :: iter_swap kompiliert ohne irgendein Fehler.

Von iter_swap() versus swap() -- what's the difference?, ruft Iter_swap schließlich std :: swap, aber immer noch ihr Verhalten ist anders.

#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

Die swap innerhalb iter_swap genannt ist nicht voll qualifiziert d.h nicht als std::swap aber ebenso swap genannt. Daher findet der Compiler während der Namenssuche und ADL mehrere Funktionen, die mit dem Aufruf an swap übereinstimmen. Aber die overload resolution wählt die swap von Ihnen zur Verfügung gestellt, da es am besten übereinstimmt.

Wenn Sie swap in Ihrem Hauptcode verwenden, würde es gut kompilieren, wie es std::swap nicht finden würde. Es wird kompilieren, auch wenn Sie using namespace std;