std::isunordered

Определено в заголовке `<cmath>`
	(1)
bool isunordered( float x, float y ); bool isunordered( double x, double y ); bool isunordered( long double x, long double y );		(с C++11) (до C++23)
constexpr bool isunordered( /* floating-point-type / x, / floating-point-type */ y );		(с C++23)
Дополнительные перегрузки
Определено в заголовке `<cmath>`
template< class Arithmetic1, class Arithmetic2 > bool isunordered( Arithmetic1 x, Arithmetic2 y );	(A)	(с C++11) (constexpr с C++23)

1) Определяет, являются ли числа с плавающей точкой x и y неупорядоченными, то есть, одно или оба являются NaN и поэтому не могут быть осмысленно сравнены друг с другом. Библиотека предоставляет перегрузки для всех типов чисел с плавающей точкой без квалификаторов cv в качестве типа параметров x и y.(с C++23)

A) Дополнительные перегрузки предоставляются для всех других комбинаций арифметических типов.

Параметры

x, y

значения с плавающей точкой или целые значения

Возвращаемое значение

true если x или y являются NaN, false в противном случае.

Примечания

Дополнительные перегрузки не обязаны быть предоставлены точно как (A). Они должны быть достаточны, чтобы гарантировать, что для своего первого аргумента num1 и второго аргумента num2:

Если num1 или num2 имеет тип long double, то std::isunordered(num1, num2) имеет тот же эффект, что и std::isunordered(static_cast<long double>(num1), static_cast<long double>(num2)).
В противном случае, если num1 и/или num2 имеет тип double или целочисленный тип, то std::isunordered(num1, num2) имеет тот же эффект, что и std::isunordered(static_cast<double>(num1), static_cast<double>(num2)).
В противном случае, если num1 или num2 имеет тип float, то std::isunordered(num1, num2) имеет тот же эффект, что и std::isunordered(static_cast<float>(num1), static_cast<float>(num2)).

(до C++23)

Если num1 и num2 имеют арифметические типы, то std::isunordered(num1, num2) имеет тот же эффект, что и std::isunordered(static_cast</* common-floating-point-type */>(num1), static_cast</* common-floating-point-type */>(num2)), где /* common-floating-point-type */ — это тип чисел с плавающей точкой с наибольшим рангом преобразования чисел с плавающей точкой и наибольшим подрангом преобразования чисел с плавающей точкой между типами num1 и num2, аргументы целочисленного типа считаются имеющими тот же ранг преобразования чисел с плавающей точкой, что и double.

Если такого типа чисел с плавающей точкой с наибольшим рангом и подрангом не существует, то разрешение перегрузок не приводит к пригодной кандидатуре из предоставленных перегрузок.

(с C++23)

Пример

#include <cmath>
#include <iostream>
 
#define SHOW_UNORDERED(x, y) \
    std::cout << std::boolalpha << "isunordered(" \
              << #x << ", " << #y << "): " \
              << std::isunordered(x, y) << '\n'
 
int main()
{
    SHOW_UNORDERED(10, 01);
    SHOW_UNORDERED(INFINITY, NAN);
    SHOW_UNORDERED(INFINITY, INFINITY);
    SHOW_UNORDERED(NAN, NAN);
}

Вывод:

isunordered(10, 01): false
isunordered(INFINITY, NAN): true
isunordered(INFINITY, INFINITY): false
isunordered(NAN, NAN): true

См. также

fpclassify (C++11)	категоризирует данное значение с плавающей точкой (функция)
isnan (C++11)	проверяет, является ли данное число NaN (функция)
C документация для `isunordered`

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/numeric/math/isunordered