std::ranges::begin

inline namespace /* unspecified */ {
    inline constexpr /* unspecified */ begin = /* unspecified */;
}

template< class T >
    requires /* see below */
constexpr std::input_or_output_iterator auto begin( T&& t );

인수의 첫 번째 요소에 대한 반복자를 반환합니다.

인수가 lvalue이거나 ranges::enable_borrowed_range<std::remove_cv_t<T>>이 true인 경우, ranges::begin에 대한 호출은 다음에 표현식-동등합니다:

1. t + 0 만약 t가 배열 타입인 경우.
   • std::remove_all_extents_t<std::remove_reference_t<T>>이 불완전한 경우, ranges::begin에 대한 호출은 진단을 요구하지 않고 비정상입니다.
2. 그렇지 않으면, decay-copy(t.begin())(C++23까지)auto(t.begin())(C++23부터), 그 표현식이 유효하고 그 타입이 std::input_or_output_iterator를 모델링하는 경우.
3. 그렇지 않으면, decay-copy(begin(t))(C++23까지)auto(begin(t))(C++23부터), T이 클래스 또는 열거형 타입이고, 그 표현식이 유효하며 그 타입이 std::input_or_output_iterator를 모델링하는 경우, 여기서 begin의 의미는 인수 종속 조회만 수행하여 설정된 것과 같습니다.

다른 모든 경우에, ranges::begin에 대한 호출은 비정상이며, 호출이 템플릿 인스턴스화의 직접적인 컨텍스트에 나타날 때 대체 실패가 발생할 수 있습니다.

커스터마이제이션 포인트 객체

ranges::begin 이름은 커스터마이제이션 포인트 객체 를 나타내며, 이는 함수 객체 의 리터럴 리터럴 semiregular 클래스 타입의 const 객체입니다. 자세한 내용은 CustomizationPointObject 를 참조하십시오.

참고 사항

인수가 rvalue(즉, T 가 객체 유형인 경우)이고 ranges:: enable_borrowed_range < std:: remove_cv_t < T >> 가 false 인 경우, ranges::begin 호출은 형식이 잘못되어 치환 실패를 유발합니다.

반환 타입은 모든 경우에 std::input_or_output_iterator 를 모델링합니다.

C++20 표준은 기본 begin 함수 호출이 prvalue를 반환하는 경우, 반환 값이 구체화된 임시 객체에서 이동 생성되도록 요구합니다. 모든 구현체는 직접 prvalue를 반환합니다. 이 요구사항은 구현체와 일치하도록 C++20 이후 제안서 P0849R8 에 의해 수정되었습니다.

예제

#include <cassert>
#include <ranges>
#include <vector>
int main() 
{
    std::vector v{3, 1, 4};
    auto vi = std::ranges::begin(v);
    auto vci = std::ranges::cbegin(v);
    assert(*vi == 3 and *vi == *vci);
    ++vi;
    ++vci; // OK: vci는 수정 가능한 객체입니다
    *vi = 42; // OK: vi는 변경 가능한 요소를 가리킵니다
    // *vci = 13; // Error: vci는 변경 불가능한 요소를 가리킵니다
    int a[]{-5, 10, 15};
    auto ai = std::ranges::begin(a); // C-배열에서도 동작합니다
    assert(*ai == -5);
    *ai = 42; // OK
}

결함 보고서

다음 동작 변경 결함 보고서는 이전에 게시된 C++ 표준에 소급 적용되었습니다.

참고 항목