Некваліфікований 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

помилка: використання незадекларованого ідентифікатора 'сортування'; ви мали на увазі 'std :: sort'?

Зміна на std::sort(begin(foo2), end(foo2)) вирішити проблему.

MSVC компілює код вище, як написано.

Чому різниця в лікуванні між std::vectorта std::array; і який компілятор є правильним?

Це зводиться до того типу , який beginі endрезультат , щоб і як це працює з Аргумент' 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є частиною stdзнахідок ADL sort.

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