Namespaces
Variants

FE_DIVBYZERO, FE_INEXACT, FE_INVALID, FE_OVERFLOW, FE_UNDERFLOW, FE_ALL_EXCEPT

From cppreference.net
Floating-point environment
Functions
(C++11) (C++11)
(C++11) (C++11)
Macro constants
FE_ALL_EXCEPT FE_DIVBYZERO FE_INEXACT FE_INVALID FE_OVERFLOW FE_UNDERFLOW
(C++11) (C++11) (C++11) (C++11) (C++11) (C++11)
(C++11)
ヘッダーで定義 <cfenv>
#define FE_DIVBYZERO    /*implementation defined power of 2*/
(C++11以降)
#define FE_INEXACT      /*implementation defined power of 2*/
(C++11以降)
#define FE_INVALID      /*implementation defined power of 2*/
(C++11以降)
#define FE_OVERFLOW     /*implementation defined power of 2*/
(C++11以降)
#define FE_UNDERFLOW    /*implementation defined power of 2*/
(C++11以降)
#define FE_ALL_EXCEPT   FE_DIVBYZERO | FE_INEXACT | \

FE_INVALID | FE_OVERFLOW |  \

FE_UNDERFLOW
(C++11以降)

これらのマクロ定数( FE_ALL_EXCEPT を除く)はすべて、整数定数式に展開され、それぞれが2の累乗の異なる値を持ち、サポートされているすべての浮動小数点例外を一意に識別します。各マクロは、サポートされている場合にのみ定義されます。

マクロ定数 FE_ALL_EXCEPT は、他のすべての FE_* マクロのビット単位のORとして展開され、常に定義されています。実装が浮動小数点例外をサポートしていない場合はゼロとなります。

定数 説明
FE_DIVBYZERO 以前の浮動小数点演算で極エラーが発生した
FE_INEXACT 不正確な結果:以前の浮動小数点演算の結果を格納するために丸めが必要だった
FE_INVALID 以前の浮動小数点演算で定義域エラーが発生した
FE_OVERFLOW 以前の浮動小数点演算の結果が表現可能な範囲を超えていた
FE_UNDERFLOW 以前の浮動小数点演算の結果が精度損失を伴う非正規化数だった
FE_ALL_EXCEPT サポートされているすべての浮動小数点例外のビット単位の論理和

実装は、追加の浮動小数点例外を識別するために <cfenv> で追加のマクロ定数を定義してもよい。そのような定数はすべて FE_ で始まり、その後には少なくとも1つの大文字が続く。

詳細については math_errhandling を参照してください。

#include <cfenv>
#include <cmath>
#include <iostream>
// #pragma STDC FENV_ACCESS ON
volatile double zero = 0.0; // volatile not needed where FENV_ACCESS is supported
volatile double one = 1.0;  // volatile not needed where FENV_ACCESS is supported
int main()
{
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout <<  "1.0/0.0 = " << 1.0 / zero << '\n';
    if (std::fetestexcept(FE_DIVBYZERO))
        std::cout << "division by zero reported\n";
    else
        std::cout << "division by zero not reported\n";
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "1.0/10 = " << one / 10 << '\n';
    if (std::fetestexcept(FE_INEXACT))
        std::cout << "inexact result reported\n";
    else
        std::cout << "inexact result not reported\n";
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "sqrt(-1) = " << std::sqrt(-1) << '\n';
    if (std::fetestexcept(FE_INVALID))
        std::cout << "invalid result reported\n";
    else
        std::cout << "invalid result not reported\n";
}

出力例:

1.0/0.0 = inf
division by zero reported
1.0/10 = 0.1
inexact result reported
sqrt(-1) = -nan
invalid result reported

関連項目

共通の数学関数で使用されるエラー処理メカニズムを定義する
(マクロ定数)
Cドキュメント を参照 浮動小数点例外マクロ について