Unqualified sort () - perché viene compilato se utilizzato su std :: vector e non su std :: array, e quale compilatore è corretto?

Quando si chiama std::sort()un 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));
}

Sia gcc che clang restituiscono un errore nell'ordinamento sul std::array- dice clang

errore: uso dell'identificatore non dichiarato 'sort'; intendevi "std :: sort"?

La modifica per std::sort(begin(foo2), end(foo2))risolvere il problema.

MSVC compila il codice sopra come scritto.

Perché la differenza di trattamento tra std::vectore std::array; e quale compilatore è corretto?

Questo dipende dal tipo begine dal endrisultato e dal modo in cui funziona con Ricerca dipendente dall'argomento .

In

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

hai capito

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

e poiché std::vector<int>::iteratorè un membro di stdADL trova sortinstd e la chiamata riesce.

Con

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

Hai capito

sort(int*, int*)

e poiché int*non è membro di std, ADL non esaminerà stde non è possibile trovare std::sort.

Questo funziona in MSVC perché

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

diventa

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

e da allora std::_Array_iterator fa parte dei stdritrovamenti di ADL sort.

Entrambi i compilatori sono corretti con questo comportamento. std::vectore std::arraynon ha alcun requisito su quale tipo viene utilizzato per l'iteratore tranne che soddisfa il requisito LegacyRandomAccessIterator e in C ++ 17 per std::arrayquel tipo anche un tipo Literal e in C ++ 20 che è un ConstexprIterator