Sort non qualifié () - pourquoi compile-t-il lorsqu'il est utilisé sur std :: vector et non sur std :: array, et quel compilateur est correct?

Lorsque vous faites appel std::sort()à 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));
}

Gcc et clang renvoient tous deux une erreur sur le tri sur std::array- clang dit

erreur: utilisation de l'identifiant non déclaré «tri»; vouliez-vous dire 'std :: sort'?

Changer pour std::sort(begin(foo2), end(foo2))résoudre le problème.

MSVC compile le code ci-dessus tel qu'il est écrit.

Pourquoi la différence de traitement entre std::vectoret std::array; et quel compilateur est correct?

Cela revient au type beginet au endrésultat et à la façon dont cela fonctionne avec la recherche dépendante de l'argument .

Dans

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

vous obtenez

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

et depuis std::vector<int>::iteratorest membre d' stdADL trouve sortdans stdet l'appel aboutit.

Avec

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

Vous obtenez

sort(int*, int*)

et parce qu'il int*n'est pas membre de std, ADL ne cherchera pas stdet vous ne trouverez pas std::sort.

Cela fonctionne dans MSVC car

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

devient

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

et puisque std::_Array_iteratorfait partie des stddécouvertes ADL sort.

Les deux compilateurs sont corrects avec ce comportement. std::vectoret std::arrayn'ont aucune exigence sur le type utilisé pour l'itérateur, sauf qu'il satisfait à l' exigence LegacyRandomAccessIterator et en C ++ 17 pour std::arrayque le type soit également un LiteralType et en C ++ 20 qu'il soit un ConstexprIterator