C++のisunordered()関数とは？構文・戻り値・使い方を徹底解説

本記事では、C++のisunordered()関数について、その構文、動作の仕組み、そして戻り値の詳細をわかりやすく解説します。

isunordered()関数は、C++の標準ヘッダーファイル「<cmath>」で定義されている組み込み関数です。この関数は、2つの浮動小数点数を比較し、どちらか一方、あるいは両方がNaN（Not a Number）であるかどうかを判定します。NaNが含まれている場合は1（true）を返し、どちらも有効な数値であれば0（false）を返します。

構文

bool isunordered(float n1, float n2);

または

bool isunordered(double n1, double n2);

または

bool isunordered(long double n1, long double n2);

この関数は、比較対象となる2つの浮動小数点型の変数を引数として受け取り、そのうちのいずれかがNaNであるかどうかをチェックします。

戻り値

この関数はブール値を返します。具体的には、条件を満たす場合（NaNが含まれる場合）は1（true）、満たさない場合は0（false）となります。

使用例1：sqrt()の結果と0を比較する場合

#include <iostream>
#include <cmath>
using namespace std;
int main() {
    float a = -1.0;
    float c = sqrt(-1.0);
    cout << c;
    // cの結果を出力
    cout << "\n" << isunordered(c, 0.0); // どちらかがNaNかどうかをチェック
}

出力

上記のコードを実行すると、以下の出力が生成されます。

-nan
1

負の数に対してsqrt()を実行すると結果はNaNになるため、isunordered()は1（true）を返しています。

使用例2：通常の数値同士を比較する場合

#include <iostream>
#include <cmath>
using namespace std;
int main() {
    cout << isunordered(0.0, -1.0);
}

出力

上記のコードを実行すると、以下の出力が生成されます。

0

この例では、0.0と-1.0はどちらも有効な数値でありNaNではないため、isunordered()は0（false）を返します。

まとめ

isunordered()関数は、浮動小数点演算においてNaNの検出が必要な場面で非常に便利な関数です。特に、数学的な計算結果が不定になった場合のエラーチェックや、例外処理の前段階での値の妥当性確認などに活用できます。IEEE 754規格に基づく浮動小数点演算では、NaNとの比較演算は常にfalseを返すため、通常の比較演算子ではNaNを検出できません。そのため、NaNの存在を確実に判定したい場合は、このisunordered()関数を使用することが推奨されます。