名前

fpclassify, isfinite, isnormal, isnan, isinf - 浮動小数点数の分類マクロ

書式

#include <math.h>
int fpclassify(x);
int isfinite(x);
int isnormal(x);
int isnan(x);
int isinf(x);
-lm でリンクする。
glibc 向けの機能検査マクロの要件 ( feature_test_macros(7) 参照):
fpclassify(), isfinite(), isnormal():
_ISOC99_SOURCE || _POSIX_C_SOURCE >= 200112L
isnan():
_ISOC99_SOURCE || _POSIX_C_SOURCE >= 200112L
|| _XOPEN_SOURCE
|| /* Since glibc 2.19: */ _DEFAULT_SOURCE
|| /* Glibc versions <= 2.19: */ _BSD_SOURCE || _SVID_SOURCE
isinf():
_ISOC99_SOURCE || _POSIX_C_SOURCE >= 200112L
|| /* Since glibc 2.19: */ _DEFAULT_SOURCE
|| /* Glibc versions <= 2.19: */ _BSD_SOURCE || _SVID_SOURCE

説明

浮動小数点数は無限大や NaN のような特別な値を持つことができる。 マクロ fpclassify(x)x がどのような種別かを知ることができる。 マクロは任意の浮動小数点数表現を引数としてとることができる。 結果は以下の値のいずれか一つである:
FP_NAN
x が "Not a Number" である (数値ではない)。
FP_INFINITE
x が正の無限大または負の無限大である。
FP_ZERO
x が 0 である。
FP_SUBNORMAL
x を正規化形式で表現するには小さすぎる。
FP_NORMAL
上記のどれにも当てはまらない場合であり、 値は通常の浮動小数点数であるはずだ。
他のマクロは、いくつかの標準的な問いに対して、簡単な答えを提供する。
isfinite(x)
以下の場合に 0 以外の値を返す。
 
(fpclassify(x) != FP_NAN && fpclassify(x) != FP_INFINITE)
isnormal(x)
(fpclassify(x) == FP_NORMAL) の場合に 0 以外の値を返す。
isnan(x)
(fpclassify(x) == FP_NAN) の場合に 0 以外の値を返す。
isinf(x)
x が正の無限大の場合は 1 を、 負の無限大の場合は -1 を返す。

属性

この節で使用されている用語の説明については、 attributes(7) を参照。
インターフェース 属性
fpclassify(), isfinite(), isnormal(), isnan(), isinf() Thread safety MT-Safe

準拠

POSIX.1-2001, POSIX.1-2008, C99.
isinf() に関して、標準規格で定められているのは、 返り値が 0 以外になるのは引数が無限大の場合だけということだけである。

注意

glibc 2.01 以前では、 isinf() は x が正の無限大か負の無限大の場合、 0 以外の値 (実際には 1) を返す (C99 の要求仕様で決まっているのは 0 以外の値を返すということだけである)。

関連項目

finite(3), INFINITY(3), isgreater(3), signbit(3)

この文書について

この man ページは Linux man-pages プロジェクトのリリース 5.10 の一部である。プロジェクトの説明とバグ報告に関する情報は https://www.kernel.org/doc/man-pages/ に書かれている。

Recommended readings

Pages related to isfinite you should read also: