Unqualified sort（）--为什么它在std:：vector上使用而不是在std:：array上使用时进行编译，以及哪个编译器是正确的？

Question

在std:：array上调用std:：sort（）时：

#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：：数组的排序上返回一个错误——clang说

错误：使用未声明的标识符“sort”；你是说“性病：：分类”吗？

更改为std:：sort（begin（foo2），end（foo2））解决了这个问题。

MSVC按编写的方式编译上面的代码。

为什么std:：vector和std:：array在治疗上存在差异；哪个编译器是正确的？

Answer 1

这取决于开始和结束结果的类型，以及它如何与参数相关的查找一起工作。

在

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

你得到

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

而由于std::向量

与

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

你得到

sort(int*, int*)

而且因为int*不是std的成员，ADL不会查看std，您也找不到std::排序。

这在MSVC中有效，因为

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

变成

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

由于std:：_Array_iterator是stdADL findssort的一部分。

这两个编译器都具有正确的行为std:：vector和std:：array对迭代器使用的类型没有任何要求，除非它满足LegacyRandomAccess迭代器的要求，并且在C 17中对于std:：array来说，该类型也是一个LiteralType，在C 20中是一个ConstExpriter