std::experimental::ranges:: StrictTotallyOrdered, std::experimental::ranges:: StrictTotallyOrderedWith

1) 개념 StrictTotallyOrdered<T> 는 T 에 대한 비교 연산자 ==,!=,<,>,<=,>= 가 T 에 대한 엄격한 전순서 와 일치하는 결과를 생성함을 명시합니다.

StrictTotallyOrdered<T> 는 주어진 T 타입의 좌측값 a , b , c (타입 const std:: remove_reference_t < T > )에 대해 다음 조건이 충족될 때만 만족됩니다:

• 다음 중 정확히 하나가 true 입니다: bool ( a < b ) , bool ( a > b ) , bool ( a == b ) ;
• 만약 bool ( a < b ) 와 bool ( b < c ) 가 모두 true 이면, bool ( a < c ) 는 true 입니다;
• bool ( a > b ) == bool ( b < a )
• bool ( a >= b ) == ! bool ( a < b )
• bool ( a <= b ) == ! bool ( b < a )

2) StrictTotallyOrderedWith<T, U> 개념은 (혼합된) T 와 U 피연산자에 대한 비교 연산자 ==,!=,<,>,<=,>= 가 엄격한 전체 순서와 일치하는 결과를 생성함을 명시합니다. 혼합된 피연산자를 비교하는 것은 피연산자를 공통 타입으로 변환하여 비교한 것과 동등한 결과를 생성합니다.

형식적으로, StrictTotallyOrderedWith<T, U> 는 타입 const std:: remove_reference_t < T > 의 임의의 lvalue t 와 타입 const std:: remove_reference_t < U > 의 임의의 lvalue u 가 주어졌을 때, 그리고 C 를 ranges:: common_reference_t < const std:: remove_reference_t < T > & , const std:: remove_reference_t < U > & > 라고 할 때 다음 조건들을 만족하는 경우에만 충족됩니다:

• bool ( t < u ) == bool ( C ( t ) < C ( u ) )
• bool ( t > u ) == bool ( C ( t ) > C ( u ) )
• bool ( t <= u ) == bool ( C ( t ) <= C ( u ) )
• bool ( t >= u ) == bool ( C ( t ) >= C ( u ) )
• bool ( u < t ) == bool ( C ( u ) < C ( t ) )
• bool ( u > t ) == bool ( C ( u ) > C ( t ) )
• bool ( u <= t ) == bool ( C ( u ) <= C ( t ) )
• bool ( u >= t ) == bool ( C ( u ) >= C ( t ) )