Unqualified sort () - Warum wird es kompiliert, wenn es auf std :: vector und nicht auf std :: array verwendet wird, und welcher Compiler ist korrekt?

Beim Aufrufen std::sort()eines 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));
}

Sowohl gcc als auch clang geben einen Fehler bei der Sortierung auf dem std::array- clang zurück

Fehler: Verwendung des nicht deklarierten Bezeichners 'sort'; meinten Sie 'std :: sort'?

Ändern, um std::sort(begin(foo2), end(foo2))das Problem zu beheben.

MSVC kompiliert den obigen Code wie geschrieben.

Warum der Unterschied in der Behandlung zwischen std::vectorund std::array; und welcher compiler ist richtig?

Dies hängt von dem Typ beginund dem endErgebnis ab und davon, wie dies mit der argumentabhängigen Suche funktioniert .

Im

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

du erhältst

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

und da std::vector<int>::iteratorfindet sich ein Mitglied von stdADL sortin stdund der Aufruf ist erfolgreich.

Mit

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

Du erhältst

sort(int*, int*)

und weil int*kein Mitglied von ist std, wird ADL nicht untersuchen stdund Sie können nicht finden std::sort.

Dies funktioniert in MSVC, weil

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

wird

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

und da std::_Array_iteratorist ein Teil von stdADL-Funden sort.

Beide Compiler sind mit diesem Verhalten korrekt. std::vectorund std::arrayes gibt keine Anforderung, welcher Typ für den Iterator verwendet wird, außer dass er die LegacyRandomAccessIterator- Anforderung erfüllt, und in C ++ 17 ist std::arrayder Typ auch ein LiteralType und in C ++ 20 ein ConstexprIterator