Unqualified sort () - tại sao nó biên dịch khi được sử dụng trên std :: vector mà không phải trên std :: mảng, và trình biên dịch nào là đúng?

Khi gọi std::sort()trên 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));
}

Cả gcc và clang đều trả về lỗi trên sắp xếp trên std::array- clang nói

lỗi: sử dụng định danh không khai báo 'sort'; ý bạn là 'std :: sort'?

Thay đổi để std::sort(begin(foo2), end(foo2))khắc phục vấn đề.

MSVC biên dịch mã ở trên như văn bản.

Tại sao sự khác biệt trong điều trị giữa std::vectorvà std::array; và trình biên dịch nào là đúng?

Điều này thuộc về loại beginvà endkết quả và cách thức hoạt động với Tra cứu phụ thuộc đối số .

Trong

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

bạn lấy

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

và kể từ khi std::vector<int>::iteratorlà thành viên của stdADL phát hiện sorttại stdvà cuộc gọi thành công.

Với

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

Bạn lấy

sort(int*, int*)

và vì int*không phải là thành viên của std, ADL sẽ không xem xét stdvà bạn không thể tìm thấy std::sort.

Điều này hoạt động trong MSVC vì

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

trở thành

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

và vì std::_Array_iteratorlà một phần của stdADL tìm thấy sort.

Cả hai trình biên dịch đều đúng với hành vi này. std::vectorvà std::arraykhông có bất kỳ yêu cầu nào về loại được sử dụng cho iterator ngoại trừ việc nó đáp ứng yêu cầu LegacyRandomAccessIterator và trong C ++ 17 std::array, loại đó cũng là một loại chữ và trong C ++ 20, nó là một ConstexprIterator