Classificação não qualificada () - por que compila quando usado em std :: vector e não em std :: array, e qual compilador está correto?

Ao chamar std::sort()um 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));
}

O gcc e o clang retornam um erro na classificação no std::array- clang diz

erro: uso do identificador não declarado 'sort'; você quis dizer 'std :: sort'?

Alterando para std::sort(begin(foo2), end(foo2))corrigir o problema.

MSVC compila o código acima conforme escrito.

Por que a diferença de tratamento entre std::vectore std::array; e qual compilador está correto?

Isto é se resume ao tipo que begine endresultado de e como isso funciona com Argumento Dependente Lookup .

No

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

você recebe

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

e uma vez que std::vector<int>::iteratoré membro de stdachados ADL sortem stde a chamada tiver êxito.

Com

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

Você recebe

sort(int*, int*)

e como int*não é membro std, a ADL não analisará stde você não poderá encontrar std::sort.

Isso funciona no MSVC porque

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

torna-se

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

e uma vez que std::_Array_iteratorfaz parte dos stdachados da ADL sort.

Ambos os compiladores estão corretos com esse comportamento. std::vectore std::arraynão tem nenhum requisito sobre qual tipo é usado para o iterador, exceto que satisfaz o requisito LegacyRandomAccessIterator e no C ++ 17, para std::arrayque o tipo também seja um LiteralType e no C ++ 20 seja um ConstexprIterator