Предполагается, что моя перегрузка `swap` должна использоваться? Является ли это ошибкой libstdC++ (GCC)?

Question

Рассмотрим следующий код:

#include <algorithm> 
#include <iostream> 
#include <vector> 

struct A { 
    int val; 

    bool operator<(const A& other) const { 
     std::cout << "operator\n"; 
     return val < other.val; 
    } 
}; 

void swap(A& a, A& b) { 
    std::cout << "foo\n"; 
    std::swap(a.val, b.val); 
} 

int main() 
{ 
    std::vector<A> a(2); 
    a[0].val = 10; 
    a[1].val = -1; 

    std::sort(a.begin(), a.end()); 
} 

11 C++ в std::sort мест ValueSwappable требования к аргументам итераторов двигаться семантику и ничего, подразумевая, что std::sort будет «гарантировано», чтобы выполнить обмен, если элементы должны перемещаться. И 17.6.3.2/3 предполагает, что моя перегрузка определенно должна быть выбрана в этом случае.

• Это правильно?

clang 3.1 SVC libC++ выбирает мой swap (то есть я вижу «foo»); GCC 4.6.3 libstdC++ этого не делает.

• Является ли это ошибкой GCC (при условии, что моя стандартная интерпретация верна)? Или я чего-то не хватает?

Answer 1

11 C++ в std::sort местах ValueSwappable требования к аргументам итераторов, двигаться семантика и ничего, подразумевая, что std::sort является «гарантирован», чтобы выполнить обмен, если элементы должны быть перемещены.

Я не вижу, что гарантия. Кто сказал, что std::sort не может использовать семантику перемещения вместо свопов? На самом деле, после просмотра стандарта для дословной спецификации, я считаю, что это именно то, что происходит:

Требуется: RandomAccessIterator должны удовлетворять требования ValueSwappable (17.6.3.2). Тип *first должен удовлетворять требованиям MoveConstructible (таблица 20) и MoveAssignable (таблица 22).

Обратите внимание, что итераторы должны быть ValueSwappable, а не элементы они указывают.

Answer 2

Я отправляю это как ответ, потому что у меня нет репутации для комментариев.

Как указывал @FredOverflow, libstdC++ использует операции перемещения конструкторов и операторов присваивания при сортировке. Тем не менее, мне показалось странным, что он не использует ADL для кода pre C++ 11, чтобы люди могли подключать оптимизированные функции свопинга.