MATH_ERRNO, MATH_ERREXCEPT, math_errhandling

マクロ定数 math_errhandling は int 型の式に展開され、 MATH_ERRNO と等しいか、 MATH_ERREXCEPT と等しいか、またはそれらのビット単位のOR（ MATH_ERRNO | MATH_ERREXCEPT ）と等しい値を持ちます。

math_errhandling の値は、浮動小数点演算子および 関数 によって実行されるエラー処理のタイプを示します：

実装がIEEE浮動小数点演算（IEC 60559）をサポートしている場合、 math_errhandling & MATH_ERREXCEPT は非ゼロであることが要求されます。

以下の浮動小数点エラー条件が認識されます：

注記

数学ライブラリ関数によって FE_INEXACT が発生するかどうかは一般的には未規定ですが、関数の説明で明示的に規定される場合があります（例： std::rint と std::nearbyint の比較）。

C++11以前、浮動小数点例外は規定されておらず、 EDOM はあらゆる定義域エラーに対して必須であり、 ERANGE はオーバーフローに対して必須、アンダーフローに対しては実装定義でした。

例

#include <cerrno>
#include <cfenv>
#include <cmath>
#include <cstring>
#include <iostream>
// #pragma STDC FENV_ACCESS ON
int main()
{
    std::cout << "MATH_ERRNO is "
              << (math_errhandling & MATH_ERRNO ? "set" : "not set") << '\n'
              << "MATH_ERREXCEPT is "
              << (math_errhandling & MATH_ERREXCEPT ? "set" : "not set") << '\n';
    std::feclearexcept(FE_ALL_EXCEPT);
    errno = 0;
    std::cout <<  "log(0) = " << std::log(0) << '\n';
    if (errno == ERANGE)
        std::cout << "errno = ERANGE (" << std::strerror(errno) << ")\n";
    if (std::fetestexcept(FE_DIVBYZERO))
        std::cout << "FE_DIVBYZERO (pole error) reported\n";
}

MATH_ERRNO is set
MATH_ERREXCEPT is set
log(0) = -inf
errno = ERANGE (Numerical result out of range)
FE_DIVBYZERO (pole error) reported

関連項目