修飾されていないsort（）— std :: arrayではなくstd :: vectorで使用するとコンパイルされるのはなぜですか、どのコンパイラが正しいのですか？

呼び出すとき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、どのコンパイラが正しいですか？

これは、 beginend、引数依存型ルックアップでとその結果、およびそれがどのように機能するかによります。。

に

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を