std::weak_order

inline namespace /* unspecified */ {
    inline constexpr /* unspecified */ weak_order = /* unspecified */;
}

template< class T, class U >
    requires /* see below */
constexpr std::weak_ordering weak_order(T&& t, U&& u) noexcept(/* see below */);

삼방 비교를 사용하여 두 값을 비교하고 std::weak_ordering 타입의 결과를 생성합니다.

t과 u를 표현식이라 하고 T과 U가 각각 decltype((t))과 decltype((u))을 나타낼 때, std::weak_order(t, u)은 다음에 대해 표현식-동등합니다:

• std::is_same_v<std::decay_t<T>, std::decay_t<U>>이 true인 경우:
  • std::weak_ordering(weak_order(t, u)), std::weak_order의 선언을 포함하지 않는 컨텍스트에서 오버로드 해석이 수행된 올바른 형식의 표현식인 경우,
  • 그렇지 않고, T이 부동소수점 타입인 경우:
    • std::numeric_limits<T>::is_iec559이 true이면, 부동소수점 값의 약한 순서 비교를 수행하고(아래 참조) 그 결과를 std::weak_ordering 타입의 값으로 반환합니다,
    • 그렇지 않으면, std::weak_ordering의 비교 연산자로 관찰된 순서와 일치하는 T 타입의 값을 생성합니다,
  • 그렇지 않으면, std::weak_ordering(std::compare_three_way()(t, u)), 올바른 형식인 경우,
  • 그렇지 않으면, std::weak_ordering(std::strong_order(t, u)), 올바른 형식인 경우.
• 다른 모든 경우, 표현식은 잘못된 형식이며, 템플릿 인스턴스화의 즉시 컨텍스트에 나타날 때 치환 실패를 초래할 수 있습니다.

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

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

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

x 와 y 가 동일한 IEEE 부동 소수점 타입의 값이고, weak_order_less ( x, y ) 가 C++ 표준에 의해 정의된 엄격한 약순서(strict weak order)에서 x 가 y 보다 앞서는지를 나타내는 부울 결과라고 하자.

• x 와 y 모두 NaN이 아닌 경우, weak_order_less ( x, y ) == true 인 것은 x < y 인 경우와 동일합니다. 즉, 동일한 부동 소수점 값을 나타내는 모든 표현은 동등합니다;
• x 가 음수 NaN이고 y 가 음수 NaN이 아닌 경우, weak_order_less ( x, y ) == true 입니다;
• x 가 양수 NaN이 아니고 y 가 양수 NaN인 경우, weak_order_less ( x, y ) == true 입니다;
• x 와 y 가 모두 동일한 부호를 가진 NaN인 경우, ( weak_order_less ( x, y ) || weak_order_less ( y, x ) ) == false 입니다. 즉, 동일한 부호를 가진 모든 NaN은 동등합니다.

예제

참고 항목