std::isunordered

Определено в заголовочном файле `<cmath>`
bool isunordered( float x, float y ); bool isunordered( double x, double y ); bool isunordered( long double x, long double y );	(1)	(начиная с C++11) (до C++23)
constexpr bool isunordered( /* floating-point-type / x, / floating-point-type */ y );	(1)		(начиная с 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 имеет тип longdouble, то 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/cpp/numeric/math/isunordered