std::span<T,Extent>:: span

span 을 생성합니다.

매개변수

효과

제약 조건 및 보충 정보

크기 요구사항

만약 extent 가 std:: dynamic_extent 가 아니고 소스 범위의 크기가 extent 와 다르다면, span 객체는 생성될 수 없습니다.

다음 오버로드는 다음 표현식의 결과가 true 인 경우에만 오버로드 해결에 참여합니다:

변환 요구사항

만약 element_type 이 소스 범위의 요소 타입과 다르고, 후자가 qualification conversion 에 의해 전자로 변환될 수 없는 경우, span 객체는 생성될 수 없습니다.

이러한 오버로드는 다음 조건에서만 오버로드 해결에 참여합니다: std:: is_convertible_v < U ( * ) [ ] , element_type ( * ) [ ] > 가 true 인 경우이며, 여기서 U 는 다음과 같이 정의됩니다:

개념 요구사항

템플릿 인수가 특정 개념(concept)을 모델링하지 않을 경우, span 객체를 생성할 수 없습니다.

이러한 오버로드는 지정된 템플릿 매개변수에 해당하는 템플릿 인자가 해당 개념(들)을 만족하는 경우에만 오버로드 해결에 참여합니다. 해당하는 개념들의 의미론적 요구사항을 충족하지 않을 경우, 동작은 정의되지 않습니다:

기타 제약 조건

예외

참고 사항

예제

#include <array>
#include <iostream>
#include <span>
#include <vector>
void print_span(std::span<const int> s)
{
    for (int n : s)
        std::cout << n << ' ';
    std::cout << '\n';
}
int main()
{
    int c[]{1, 2, 3};
    print_span(c); // 배열로부터 생성
    std::array a{4, 5, 6};
    print_span(a); // std::array로부터 생성
    std::vector v{7, 8, 9};
    print_span(v); // std::vector로부터 생성
#if __cpp_lib_span_initializer_list
    print_span({0, 1, 2}); // initializer_list로부터 생성
#else
    print_span({{0, 1, 2}}); // 동일하게, 우회 방법
#endif
}

1 2 3 
4 5 6
7 8 9
0 1 2

참고 항목