FE_DIVBYZERO、FE_INEXACT、FE_INVALID、FE_OVERFLOW、FE_UNDERFLOW、FE_ALL_EXCEPT

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

数値ライブラリ

共通の数学関数
数学特殊関数 (C++17)
数学定数 (C++20)
基本的な線形代数アルゴリズム (C++26)
データ並列型 (SIMD) (C++26)
浮動小数点環境 (C++11)
複素数
数値配列 (valarray)
擬似乱数生成
ビット操作 (C++20)
因数操作
gcd (C++17)	lcm (C++17)
補間
midpoint (C++20)	lerp (C++20)
飽和演算
add_sat (C++26) sub_sat (C++26) saturate_cast (C++26)	mul_sat (C++26) div_sat (C++26)
汎用数値演算
iota (C++11) ranges::iota (C++23) accumulate inner_product adjacent_difference    partial_sum	reduce (C++17) transform_reduce (C++17) inclusive_scan (C++17) exclusive_scan (C++17) transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)

 

浮動小数点環境

関数

feclearexcept (C++11)

fetestexcept (C++11)

feraiseexcept (C++11)

fegetexceptflagfesetexceptflag (C++11)(C++11)

fegetroundfesetround (C++11)(C++11)

fegetenvfesetenv (C++11)(C++11)

feholdexcept (C++11)

feupdateenv (C++11)

マクロ定数

FE_ALL_EXCEPTFE_DIVBYZEROFE_INEXACTFE_INVALIDFE_OVERFLOWFE_UNDERFLOW (C++11)(C++11)(C++11)(C++11)(C++11)(C++11)

FE_DOWNWARDFE_TONEARESTFE_TOWARDZEROFE_UPWARD (C++11)(C++11)(C++11)(C++11)

FE_DFL_ENV (C++11)

 

ヘッダー<cfenv>で定義
#define FE_DIVBYZERO    /*実装定義の2のべき乗*/		(C++11以降)
#define FE_INEXACT      /*実装定義の2のべき乗*/		(C++11以降)
#define FE_INVALID      /*実装定義の2のべき乗*/		(C++11以降)
#define FE_OVERFLOW     /*実装定義の2のべき乗*/		(C++11以降)
#define FE_UNDERFLOW    /*実装定義の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に展開され、常に定義されます。浮動小数点例外が実装でサポートされていない場合はゼロになります。

Constant	説明
FE_DIVBYZERO	以前の浮動小数点演算で発生した極値エラー
FE_INEXACT	不正確な結果：以前の浮動小数点演算の結果を格納するために丸めが必要でした
FE_INVALID	以前の浮動小数点演算で発生した定義域エラー
FE_OVERFLOW	以前の浮動小数点演算の結果が大きすぎて表現できませんでした
FE_UNDERFLOW	以前の浮動小数点演算の結果がサブノーマルであり、精度が失われました
FE_ALL_EXCEPT	サポートされているすべての浮動小数点例外のビットごとのOR

実装は、追加の浮動小数点例外を識別するために、<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

関連項目

math_errhandlingMATH_ERRNOMATH_ERREXCEPT (C++11)(C++11)(C++11)	一般的な数学関数で使用されるエラーハンドリングメカニズムを定義する (マクロ定数)
C言語のドキュメント（浮動小数点例外マクロについて）