Next: Floating Point Errors, Previous: Floating Point Numbers, Up: Arithmetic [Contents][Index]
ISO C99 defines macros that let you determine what sort of floating-point number a variable holds.
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
This is a generic macro which works on all floating-point types and
which returns a value of type int
. The possible values are:
FP_NAN
The floating-point number x is “Not a Number” (see Infinity and NaN)
FP_INFINITE
The value of x is either plus or minus infinity (see Infinity and NaN)
FP_ZERO
The value of x is zero. In floating-point formats like IEEE 754, where zero can be signed, this value is also returned if x is negative zero.
FP_SUBNORMAL
Numbers whose absolute value is too small to be represented in the
normal format are represented in an alternate, denormalized format
(see Floating Point Concepts). This format is less precise but can
represent values closer to zero. fpclassify
returns this value
for values of x in this alternate format.
FP_NORMAL
This value is returned for all other values of x. It indicates that there is nothing special about the number.
fpclassify
is most useful if more than one property of a number
must be tested. There are more specific macros which only test one
property at a time. Generally these macros execute faster than
fpclassify
, since there is special hardware support for them.
You should therefore use the specific macros whenever possible.
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
In some floating-point formats, some values have canonical (preferred) and noncanonical encodings (for IEEE interchange binary formats, all encodings are canonical). This macro returns a nonzero value if x has a canonical encoding. It is from TS 18661-1:2014.
Note that some formats have multiple encodings of a value which are
all equally canonical; iscanonical
returns a nonzero value for
all such encodings. Also, formats may have encodings that do not
correspond to any valid value of the type. In ISO C terms these are
trap representations; in the GNU C Library, iscanonical
returns
zero for such encodings.
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
This macro returns a nonzero value if x is finite: not plus or minus infinity, and not NaN. It is equivalent to
(fpclassify (x) != FP_NAN && fpclassify (x) != FP_INFINITE)
isfinite
is implemented as a macro which accepts any
floating-point type.
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
This macro returns a nonzero value if x is finite and normalized. It is equivalent to
(fpclassify (x) == FP_NORMAL)
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
This macro returns a nonzero value if x is NaN. It is equivalent to
(fpclassify (x) == FP_NAN)
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
This macro returns a nonzero value if x is a signaling NaN (sNaN). It is from TS 18661-1:2014.
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
This macro returns a nonzero value if x is subnormal. It is from TS 18661-1:2014.
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
This macro returns a nonzero value if x is zero. It is from TS 18661-1:2014.
Another set of floating-point classification functions was provided by BSD. The GNU C Library also supports these functions; however, we recommend that you use the ISO C99 macros in new code. Those are standard and will be available more widely. Also, since they are macros, you do not have to worry about the type of their argument.
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
This function returns -1
if x represents negative infinity,
1
if x represents positive infinity, and 0
otherwise.
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
This function returns a nonzero value if x is a “not a number” value, and zero otherwise.
NB: The isnan
macro defined by ISO C99 overrides
the BSD function. This is normally not a problem, because the two
routines behave identically. However, if you really need to get the BSD
function for some reason, you can write
(isnan) (x)
Preliminary: | MT-Safe | AS-Safe | AC-Safe | See POSIX Safety Concepts.
This function returns a nonzero value if x is neither infinite nor a “not a number” value, and zero otherwise.
Portability Note: The functions listed in this section are BSD extensions.
Next: Floating Point Errors, Previous: Floating Point Numbers, Up: Arithmetic [Contents][Index]