Unqualified sort () - dlaczego kompiluje się, gdy jest używany na std :: vector, a nie na std :: array, i który kompilator jest poprawny?

Dzwoniąc std::sort()na std::array:

#include <vector>
#include <array>
#include <algorithm>

int main() {
    std::vector<int> foo{4, 1, 2, 3};
    sort(begin(foo), end(foo));

    std::array<int, 4> foo2{4, 1, 2, 3};
    sort(begin(foo2), end(foo2));
}

Zarówno gcc, jak i clang zwracają błąd podczas sortowania w opcji std::array- mówi clang

błąd: użycie niezadeklarowanego identyfikatora „sort”; miałeś na myśli „std :: sort”?

Zmiana na std::sort(begin(foo2), end(foo2))naprawia problem.

MSVC kompiluje powyższy kod zgodnie z opisem.

Dlaczego różnica w traktowaniu między std::vectori std::array; i który kompilator jest poprawny?

Sprowadza się to do typu begini endwyniku oraz sposobu, w jaki działa to z Argument Dependent Lookup .

W

sort(begin(foo), end(foo));

dostajesz

sort(std::vector<int>::iterator, std::vector<int>::iterator)

a ponieważ std::vector<int>::iteratorjest członkiem stdADL znalezisk sortw stdi wywołanie się powiedzie.

Z

sort(begin(foo2), end(foo2));

Dostajesz

sort(int*, int*)

a ponieważ int*nie jest członkiem std, ADL nie zajrzy stdi nie będzie można go znaleźć std::sort.

Działa to w MSVC, ponieważ

sort(begin(foo2), end(foo2));

staje się

sort(std::_Array_iterator, std::_Array_iterator)

i ponieważ std::_Array_iteratorjest częścią stdznalezisk ADL sort.

Oba kompilatory są zgodne z tym zachowaniem. std::vectori std::arraynie ma żadnych wymagań dotyczących tego, jaki typ jest używany dla iteratora, z wyjątkiem tego, że spełnia on wymaganie LegacyRandomAccessIterator, aw C ++ 17 dla std::arraytego typu również typ LiteralType, aw C ++ 20, że będzie to ConstexprIterator