std::ranges:: begin

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

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

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 의 의미는 인자 종속 lookup 만을 수행하는 것처럼 확립됩니다.

다른 모든 경우에서 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++ 표준에 소급 적용되었습니다.

참고 항목