nothrow-sentinel-for, nothrow-sized-sentinel-for

template< class S, class I >
concept /*nothrow-sentinel-for*/ = std::sentinel_for<S, I>;

(1)

(설명 전용*)

template< class I >
concept /*nothrow-sized-sentinel-for*/ =
    /*nothrow-sentinel-for*/<S, I> &&
    std::sized_sentinel_for<S, I>;

(2)

(C++26부터)
(설명 전용*)

이 설명 전용 개념들은 특수화된 <memory>알고리즘에서 반복자와 센티널 사이에 필요한 연산들이 예외를 던지지 않음을 명시합니다.

1) 타입 S과 I은 nothrow-sentinel-for를 모델링합니다. 이는 타입 I과 S의 유효한 값에 대한 복사 생성, 이동 생성, 복사 할당, 이동 할당 또는 비교에서 예외가 던져지지 않는 경우에만 해당됩니다.

2) 타입 S과 I은 nothrow-sized-sentinel-for를 모델링합니다. 이는 타입 -과 I의 유효한 값에 대한 S 연산에서 예외가 던져지지 않는 경우에만 해당됩니다.

이 개념들은 일부 sentinel_for 및 sized_sentinel_for 연산이 예외를 던지는 것을 허용합니다.

sentinel_for (C++20)	타입이 `input_or_output_iterator` 타입에 대한 센티널임을 지정합니다 (개념)
sized_sentinel_for (C++20)	반복자와 센티널에 `-` 연산자를 적용하여 상수 시간에 차이를 계산할 수 있음을 지정합니다 (개념)