Неквалифицированный sort () - почему он компилируется при использовании на std :: vector, а не на std :: array, и какой компилятор корректен?

При звонке 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, и clang возвращают ошибку в сортировке std::array- clang говорит

ошибка: использование необъявленного идентификатора 'sort'; Вы имели в виду 'std :: sort'?

Изменение, чтобы std::sort(begin(foo2), end(foo2))исправить проблему.

MSVC компилирует код выше, как написано.

Почему разница в лечении между std::vectorа std::array; а какой компилятор правильный?

Это сводится к типу, который beginи endрезультат и как это работает с Argument Dependent Lookup .

В

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

ты получаешь

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

и так std::vector<int>::iteratorкак член stdADL находит sortв stdи вызов успешно.

С

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

Ты получаешь

sort(int*, int*)

и потому что int*не является членом std, ADL не будет смотреть, stdи вы не можете найти std::sort.

Это работает в MSVC, потому что

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

становится

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

и так как std::_Array_iteratorявляется частью stdADL находок sort.

Оба компилятора верны с таким поведением. std::vectorи std::arrayне предъявляют никаких требований к тому, какой тип используется для итератора, за исключением того, что он удовлетворяет требованию LegacyRandomAccessIterator, а в C ++ 17 для std::arrayэтого типа также должен быть LiteralType, а в C ++ 20 - в качестве ConstexprIterator.