Sort () no calificado: ¿por qué se compila cuando se usa en std :: vector y no en std :: array, y qué compilador es correcto?

Al llamar std::sort()a 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));
}

Tanto gcc como clang devuelven un error en el tipo en el std::array- dice clang

error: uso del identificador no declarado 'sort'; ¿quiso decir 'std :: sort'?

Cambiar para std::sort(begin(foo2), end(foo2))solucionar el problema.

MSVC compila el código anterior como está escrito.

¿Por qué la diferencia en el tratamiento entre std::vectory std::array; y que compilador es correcto?

Esto se reduce al tipo beginy endresultado y cómo funciona con la búsqueda dependiente de argumentos .

En

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

usted obtiene

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

y puesto que std::vector<int>::iteratores un miembro de los stdhallazgos de ADL sorten stdy la llamada se realiza correctamente.

Con

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

Usted obtiene

sort(int*, int*)

y porque int*no es miembro de stdADL, no investigará stdy no podrá encontrarlo std::sort.

Esto funciona en MSVC porque

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

se convierte

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

y como std::_Array_iteratores parte de stdADL encuentra sort.

Ambos compiladores son correctos con este comportamiento. std::vectory std::arrayno tiene ningún requisito sobre qué tipo se usa para el iterador, excepto que cumple con el requisito de LegacyRandomAccessIterator y en C ++ 17 para std::arrayese tipo también es LiteralType y en C ++ 20 que es ConstexprIterator