名前空間
変種
操作

MATH_ERRNO, MATH_ERREXCEPT, math_errhandling

提供: cppreference.com
< c‎ | numeric‎ | math
 
 
 
一般的な数学関数
関数
基本操作
(C99)
(C99)
(C99)
(C99)
(C99)
(C99)(C99)(C99)
指数関数
(C99)
(C99)
(C99)
(C99)
冪関数
(C99)
(C99)
三角関数と双曲線関数
(C99)
(C99)
(C99)
誤差関数とガンマ関数
(C99)
(C99)
(C99)
(C99)
最も近い整数
(C99)(C99)(C99)
(C99)
(C99)(C99)(C99)
浮動小数点操作関数
(C99)(C99)
(C99)
(C99)
分類
(C99)
(C99)
(C99)
(C99)(C99)
マクロ定数
math_errhandlingMATH_ERRNOMATH_ERRNOEXCEPT
(C99)(C99)(C99)
 
ヘッダ <math.h> で定義
#define MATH_ERRNO        1
(C99およびそれ以降)
#define MATH_ERREXCEPT    2
(C99およびそれ以降)
#define math_errhandling  /*implementation defined*/
(C99およびそれ以降)

マクロ定数 math_errhandling は、 MATH_ERRNO または MATH_ERREXCEPT またはこれらのビット単位の論理和 MATH_ERRNO | MATH_ERREXCEPT に等しい int 型の式に展開されます。

math_errhandling の値は浮動小数点演算子および数学関数が行うエラー処理の種類を表します。

定数 説明
MATH_ERREXCEPT 浮動小数点例外が使用されることを表します。 少なくとも FE_DIVBYZERO, FE_INVALID, FE_OVERFLOW<fenv.h> で定義されます。
MATH_ERRNO 浮動小数点演算がエラーを報告するために変数 errno を使用することを表します。

処理系が IEEE 浮動小数点算術 (IEC 60559) をサポートしている場合、 math_errhandling & MATH_ERREXCEPT は非ゼロであることが要求されます。

以下の浮動小数点エラー状況が認識されます。

状況 説明 errno 浮動小数点例外
定義域エラー 引数が数学的に定義されている範囲外の場合 (各関数の説明に要求される値域エラーの一覧が掲載されています) EDOM FE_INVALID acos(2)
極エラー 関数の数学的な結果が正確に無限大または未定義の場合 ERANGE FE_DIVBYZERO log(0.0), 1.0/0.0
オーバーフローによる値域エラー 数学的な結果は有限であるが、丸めの結果無限大になったり、切り捨てによって最も大きな表現可能な有限値になったりした場合 ERANGE FE_OVERFLOW pow(DBL_MAX,2)
アンダーフローによる値域エラー 結果は非ゼロであるが、丸めによってゼロになったり、非正規化数となって精度を失った場合 ERANGE または無変更 (処理系定義) FE_UNDERFLOW または無し (処理系定義) DBL_MIN/2
不正確な結果 結果の値を結果の型に収めるために丸める必要がある場合 無変更 FE_INEXACT または無し (未規定) sqrt(2), 1.0/10.0

目次

[編集] ノート

数学ライブラリの関数によって FE_INEXACT が発生するか否かは一般的には未規定ですが、各関数の説明で明示的に規定されている場合もあります (rintnearbyint など)。

C99 以前では浮動小数点例外は規定されておらず、あらゆる定義域エラーに対しては EDOM が要求され、オーバーフローに対しては ERANGE が要求され、アンダーフローに対しては処理系定義でした。

[編集]

#include <stdio.h>
#include <fenv.h>
#include <math.h>
#include <errno.h>
#pragma STDC FENV_ACCESS ON
int main(void)
{
    printf("MATH_ERRNO is %s\n", math_errhandling & MATH_ERRNO ? "set" : "not set");
    printf("MATH_ERREXCEPT is %s\n",
           math_errhandling & MATH_ERREXCEPT ? "set" : "not set");
    feclearexcept(FE_ALL_EXCEPT);
    errno = 0;
    printf("log(0) = %f\n", log(0));
    if(errno == ERANGE)
        perror("errno == ERANGE");
    if(fetestexcept(FE_DIVBYZERO))
        puts("FE_DIVBYZERO (pole error) reported");
}

出力例:

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

[編集] 参考文献

  • C11 standard (ISO/IEC 9899:2011):
  • 7.12/9 MATH_ERRNO, MATH_ERREXCEPT, math_errhandling (p: 233)
  • F.10/4 MATH_ERREXCEPT, math_errhandling (p: 517)
  • C99 standard (ISO/IEC 9899:1999):
  • 7.12/9 MATH_ERRNO, MATH_ERREXCEPT, math_errhandling (p: 214)
  • F.9/4 MATH_ERREXCEPT, math_errhandling> (p: 454)

[編集] 関連項目

浮動小数点例外
(マクロ定数) [edit]
POSIX互換のスレッドローカルなエラー番号変数に展開されるマクロ
(マクロ変数)[edit]
math_errhandlingC++リファレンス