Sortir tanpa pengecualian () - mengapa ia dikompilasi ketika digunakan pada std :: vector dan bukan pada std :: array, dan kompiler mana yang benar?

Saat memanggil std::sort()pada 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));
}

Baik gcc dan dentang mengembalikan kesalahan pada jenis di std::array- dentang kata

error: penggunaan 'sort' pengidentifikasi yang tidak dideklarasikan; maksud Anda 'std :: sort'?

Mengubah untuk std::sort(begin(foo2), end(foo2))memperbaiki masalah.

MSVC mengkompilasi kode di atas seperti yang tertulis.

Mengapa perbedaan perlakuan antara std::vectordan std::array; dan kompiler mana yang benar?

Ini datang ke jenis itu begindan endhasil untuk dan bagaimana cara kerjanya dengan Argument Dependent Lookup .

Di

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

Anda mendapatkan

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

dan karena std::vector<int>::iteratormerupakan anggota dari stdADL temuan sortdi stddan panggilan berhasil.

Dengan

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

Anda mendapatkan

sort(int*, int*)

dan karena int*bukan anggota std, ADL tidak akan melihat ke dalam stddan Anda tidak dapat menemukan std::sort.

Ini berfungsi di MSVC karena

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

menjadi

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

dan karena std::_Array_iteratormerupakan bagian dari stdpenemuan ADL sort.

Kedua kompiler benar dengan perilaku ini. std::vectordan std::arraytidak memiliki persyaratan apa pun jenis yang digunakan untuk iterator kecuali memenuhi persyaratan LegacyRandomAccessIterator dan di C ++ 17 untuk std::arrayjenis itu juga menjadi LiteralType dan di C ++ 20 bahwa itu menjadi ConstexprIterator