Namespaces
Variants

std:: strong_order

From cppreference.net
C++
Utilities library
헤더에 정의됨 <compare>
inline namespace /* unspecified */ {

inline constexpr /* unspecified */ strong_order = /* unspecified */ ;

}
(C++20부터)
호출 시그니처
template < class T, class U >

requires /* see below */

constexpr std:: strong_ordering strong_order ( T && t, U && u ) noexcept ( /* see below */ ) ;

두 값을 3방향 비교로 비교하고 std::strong_ordering 타입의 결과를 생성합니다.

t 와 u 를 표현식이라고 하고, T 와 U 가 각각 decltype ( ( t ) ) 와 decltype ( ( u ) ) 를 나타낸다고 할 때, std :: strong_order ( t, u ) 는 다음 표현식과 표현식 동등 합니다:

  • 만약 std:: is_same_v < std:: decay_t < T > , std:: decay_t < U >> 가 true 인 경우:
    • std:: strong_ordering ( strong_order ( t, u ) ) , 만약 이것이 std::strong_order 의 선언을 포함하지 않는 컨텍스트에서 오버로드 해결이 수행된 잘 형성된 표현식인 경우,
    • 그렇지 않고 T 가 부동소수점 타입인 경우:
      • 만약 std:: numeric_limits < T > :: is_iec559 가 true 인 경우, 부동소수점 값에 대한 ISO/IEC/IEEE 60559 totalOrder 비교를 수행하고 그 결과를 std::strong_ordering 타입의 값으로 반환합니다 (참고: 이 비교는 양의 영과 음의 영을 구별할 수 있으며 서로 다른 표현을 가진 NaN들을 구별할 수 있습니다),
      • 그렇지 않은 경우, T 의 비교 연산자들이 관찰하는 순서와 일관된 std::strong_ordering 타입의 값을 생성합니다,
    • 그렇지 않은 경우, std:: strong_ordering ( std:: compare_three_way ( ) ( t, u ) ) 만약 이것이 잘 형성된 경우.
  • 다른 모든 경우에는, 표현식이 잘못 형성되어 템플릿 인스턴스화의 직접적인 컨텍스트에서 나타날 때 치환 실패 를 초래할 수 있습니다.

목차

커스터마이제이션 포인트 객체

이름 std::strong_order 는 사용자 지정 지점 객체 를 나타내며, 이는 함수 객체 의 const 리터럴 semiregular 클래스 타입입니다. 자세한 내용은 CustomizationPointObject 를 참조하십시오.

IEEE 부동 소수점 타입의 엄격한 전체 순서

동일한 IEEE 부동 소수점 타입의 값 x 와 y 가 있고, total_order_less ( x, y ) 가 ISO/IEC/IEEE 60559의 totalOrder 에 의해 정의된 엄격한 전체 순서에서 x 가 y 보다 앞서는지를 나타내는 부울 결과라고 하자.

( total_order_less ( x, y ) || total_order_less ( y, x ) ) == false 이면, 그리고 그 경우에만 x 와 y 가 동일한 비트 패턴을 가집니다.

  • x 와 y 모두 NaN이 아닌 경우:
    • x < y 이면, total_order_less ( x, y ) == true ;
    • x > y 이면, total_order_less ( x, y ) == false ;
    • x == y 인 경우,
      • x 가 음의 영이고 y 가 양의 영이면, total_order_less ( x, y ) == true ,
      • x 가 0이 아니고 x 의 지수 필드가 y 의 지수 필드보다 작으면, total_order_less ( x, y ) == ( x > 0 ) (십진 부동 소수점 숫자에만 의미 있음);
  • x 또는 y 가 NaN인 경우:
    • x 가 음의 NaN이고 y 가 음의 NaN이 아니면, total_order_less ( x, y ) == true ,
    • x 가 양의 NaN이 아니고 y 가 양의 NaN이면, total_order_less ( x, y ) == true ,
    • x 와 y 가 같은 부호의 NaN이고 x 의 가수 필드가 y 의 가수 필드보다 작으면, total_order_less ( x, y ) == ! std:: signbit ( x ) .

예제

이 섹션은 불완전합니다
이유: 예시 없음

참고 항목

(C++20)
6가지 연산자를 모두 지원하고 대체 가능한 3-way 비교의 결과 타입
(클래스)
(C++20)
3-way 비교를 수행하고 std::weak_ordering 타입의 결과를 생성함
(커스터마이제이션 포인트 객체)
(C++20)
3-way 비교를 수행하고 std::partial_ordering 타입의 결과를 생성함
(커스터마이제이션 포인트 객체)
(C++20)
3-way 비교를 수행하고 std::strong_ordering 타입의 결과를 생성함, operator <=> 를 사용할 수 없는 경우에도
(커스터마이제이션 포인트 객체)