Namespaces
Variants

std:: three_way_comparable, std:: three_way_comparable_with

From cppreference.net
C++
Utilities library
헤더에 정의됨 <compare>
template < class T, class Cat = std:: partial_ordering >

concept three_way_comparable =
__WeaklyEqualityComparableWith < T, T > &&
__PartiallyOrderedWith < T, T > &&
requires ( const std:: remove_reference_t < T > & a,
const std:: remove_reference_t < T > & b ) {
{ a <=> b } - > __ComparesAs < Cat > ;

} ;
(1) (C++20부터)
template < class T, class U, class Cat = std:: partial_ordering >

concept three_way_comparable_with =
std :: three_way_comparable < T, Cat > &&
std :: three_way_comparable < U, Cat > &&
__ComparisonCommonTypeWith < T, U > &&
std :: three_way_comparable <
std:: common_reference_t <
const std:: remove_reference_t < T > & ,
const std:: remove_reference_t < U > & > , Cat > &&
__WeaklyEqualityComparableWith < T, U > &&
__PartiallyOrderedWith < T, U > &&
requires ( const std:: remove_reference_t < T > & t,
const std:: remove_reference_t < U > & u ) {
{ t <=> u } - > __ComparesAs < Cat > ;
{ u <=> t } - > __ComparesAs < Cat > ;

} ;
(2) (C++20부터)
template < class T, class Cat >

concept __ComparesAs =

std:: same_as < std:: common_comparison_category_t < T, Cat > , Cat > ;
(3) ( 설명 전용* )
1) std::three_way_comparable 개념은 T 에 대한 삼중 비교 연산자 <=> 가 Cat 이 의미하는 비교 범주와 일치하는 결과를 생성하도록 지정합니다.
2) std::three_way_comparable_with 개념은 (혼합될 수 있는) T 와 U 피연산자에 대한 삼중 비교 연산자 <=> 가 Cat 이 의미하는 비교 범주와 일치하는 결과를 생성하도록 지정합니다. 혼합된 피연산자를 비교하는 것은 피연산자를 공통 타입으로 변환하여 비교한 것과 동등한 결과를 생성합니다.

__WeaklyEqualityComparableWith , __PartiallyOrderedWith , 그리고 __ComparisonCommonTypeWith 는 설명 전용 개념입니다. 자세한 내용은 equality_comparable 와 totally_ordered 의 설명을 참조하십시오.

목차

의미론적 요구사항

이러한 개념들은 해당 개념이 충족되고 그들이 포함하는 모든 개념이 모델링된 경우에만 모델링됩니다.

1) T 와 Cat 이 다음 조건을 만족할 때만 std :: three_way_comparable < T, Cat > 개념을 모델합니다: 타입 const std:: remove_reference_t < T > 의 lvalue a 와 b 가 주어졌을 때 다음이 참이어야 합니다:
  • ( a <=> b == 0 ) == bool ( a == b ) ,
  • ( a <=> b ! = 0 ) == bool ( a ! = b ) ,
  • ( ( a <=> b ) <=> 0 ) 와 ( 0 <=> ( b <=> a ) ) 가 동일하며,
  • bool ( a > b ) == bool ( b < a ) ,
  • bool ( a >= b ) == ! bool ( a < b ) ,
  • bool ( a <= b ) == ! bool ( b < a ) ,
  • ( a <=> b < 0 ) == bool ( a < b ) ,
  • ( a <=> b > 0 ) == bool ( a > b ) ,
  • ( a <=> b <= 0 ) == bool ( a <= b ) , 그리고
  • ( a <=> b >= 0 ) == bool ( a >= b ) , 그리고
  • 만약 Cat 이 std::strong_ordering 으로 변환 가능하다면, T 는 totally_ordered 개념을 모델합니다.
2) T , U , and Cat model std :: three_way_comparable_with < T, U, Cat > only if given

C 를 std:: common_reference_t < const std:: remove_reference_t < T > & , const std:: remove_reference_t < U > & > 라 하고, 표현식 E 와 타입 C 가 주어졌을 때, CONVERT_TO < C > ( E ) 를 다음과 같이 정의한다:

(C++23 이전)
  • static_cast < const C & > ( std:: as_const ( E ) ) 가 유효한 표현식인 경우,
  • static_cast < const C & > ( std :: move ( E ) ) 그렇지 않은 경우.
(C++23 이후)

다음은 참입니다:

  • t <=> u 와 u <=> t 는 동일한 정의역을 가집니다,
  • ( ( t <=> u ) <=> 0 ) 와 ( 0 <=> ( u <=> t ) ) 는 동일합니다,
  • ( t <=> u == 0 ) == bool ( t == u ) ,
  • ( t <=> u ! = 0 ) == bool ( t ! = u ) ,
  • Cat ( t <=> u ) == Cat ( CONVERT_TO < C > ( t2 ) <=> CONVERT_TO < C > ( u2 ) ) ,
  • ( t <=> u < 0 ) == bool ( t < u ) ,
  • ( t <=> u > 0 ) == bool ( t > u ) ,
  • ( t <=> u <= 0 ) == bool ( t <= u ) ,
  • ( t <=> u >= 0 ) == bool ( t >= u ) , 그리고
  • 만약 Cat 이 std::strong_ordering 으로 변환 가능하다면, T 와 U 는 std:: totally_ordered_with < T, U > 를 만족합니다.

동등성 보존

표준 라이브러리 개념의 requires expressions 에 선언된 표현식들은 equality-preserving 해야 합니다(다르게 명시된 경우를 제외하고).

암시적 표현 변형

상수 lvalue 피연산자에 대해 비수정적인 표현식을 사용하는 requires expression 는 암시적 표현식 변형 도 요구합니다.

참고 항목

(C++20)
== 연산자가 동치 관계임을 명시함
(concept)
(C++20)
해당 타입의 비교 연산자들이 전순서를 생성함을 명시함
(concept)