MATH_ERRNO, MATH_ERREXCEPT, math_errhandling

 

C

編譯器支援

語言

標頭檔案

型別支援

程式工具

變參函式支援

錯誤處理

動態記憶體管理

字串庫

演算法

數值

日期和時間工具

輸入/輸出支援

本地化支援

併發支援 (C11)

技術規範

符號索引

 

數值

常用數學函式

浮點環境 (C99)

偽隨機數生成

複數運算 (C99)

型別通用數學 (C99)

位操作 (C23)

檢查整數運算 (C23)

 

常用數學函式

函式 基本操作 abslabsllabsimaxabs (C99)(C99) fabs divldivlldivimaxdiv (C99)(C99) fmod remainder (C99) remquo (C99) fma (C99) fdim (C99) nannanfnanlnandN (C99)(C99)(C99)(C23) 最大值/最小值操作 fmax (C99) fmin (C99) fmaximum (C23) fminimum (C23) fmaximum_mag (C23)  fmaximum_num (C23) fminimum_mag (C23) fminimum_num (C23) fmaximum_mag_num (C23) fminimum_mag_num (C23)   指數函式 exp exp10 (C23) exp2 (C99) expm1 (C99) exp10m1 (C23) exp2m1 (C23) log log10 log2 (C99) log1plogp1 (C99)(C23) log10p1 (C23) log2p1 (C23) 冪函式 sqrt cbrt (C99) rootn (C23) rsqrt (C23) hypot (C99) compound (C23) pow pown (C23) powr (C23) 三角函式和雙曲函式 sin cos tan asin acos atan atan2 sinpi (C23) cospi (C23) tanpi (C23) asinpi (C23) acospi (C23) atanpi (C23) atan2pi (C23) sinh cosh tanh asinh (C99) acosh (C99) atanh (C99)

最近整數浮點數 ceil floor roundlroundllround (C99)(C99)(C99) roundeven (C23) trunc (C99) nearbyint (C99) rintlrintllrint (C99)(C99)(C99) fromfpfromfpxufromfpufromfpx (C23)(C23)(C23)(C23) 浮點數操作 ldexp frexp scalbnscalbln (C99)(C99) ilogbllogb (C99)(C23) logb (C99) modf nextafternexttoward (C99)(C99) nextupnextdown (C23)(C23) copysign (C99) canonicalize (C23) 窄化操作 fadd (C23) fsub (C23) fmul (C23) fdiv (C23) ffma (C23) fsqrt (C23) 量子與量子指數 quantizedN (C23) quantumdN (C23) samequantumdN (C23) llquantexpdN (C23) 十進位制重新編碼函式 encodedecdN (C23) decodedecdN (C23) encodebindN (C23) decodebindN (C23) 總序和載荷函式 totalorder (C23) getpayload (C23) setpayload (C23) setpayloadsig (C23) 分類 fpclassify (C99) iscanonical (C23)  isfinite (C99) isinf (C99) isnan (C99) isnormal (C99) signbit (C99) issubnormal (C23) iszero (C23) isgreater (C99) isgreaterequal (C99)   isless (C99) islessequal (C99) islessgreater (C99) isunordered (C99) issignaling (C23) iseqsig (C23)

誤差函式和伽馬函式 erf (C99) erfc (C99) lgamma (C99) tgamma (C99) 型別 div_tldiv_tlldiv_timaxdiv_t (C99)(C99) float_tdouble_t (C99)(C99) _Decimal32_t_Decimal64_t (C23)(C23) 宏常量 特殊浮點值 HUGE_VALHUGE_VALFHUGE_VALLHUGE_VALDN (C99)(C99)(C23) INFINITYDEC_INFINITY (C99)(C23) NANDEC_NAN (C99)(C23) 引數和返回值 FP_ILOGB0FP_ILOGBNAN (C99)(C99) FP_NORMALFP_SUBNORMALFP_ZEROFP_INFINITEFP_NAN (C99)(C99)(C99)(C99)(C99) FP_LLOGB0FP_LLOGBNAN (C23)(C23) FP_INT_UPWARDFP_INT_DOWNWARDFP_INT_TOWARDZEROFP_INT_TONEARESTFROMZEROFP_INT_TONEAREST (C23)(C23)(C23)(C23)(C23) 錯誤處理 MATH_ERRNOMATH_ERRNOEXCEPT (C99)(C99)  math_errhandling (C99) 快速操作指示符 FP_FAST_FMAFFP_FAST_FMA (C99)(C99) FP_FAST_FADDFP_FAST_FADDLFP_FAST_DADDLFP_FAST_DMADDDN (C23)(C23)(C23)(C23) FP_FAST_FMULFP_FAST_FMULLFP_FAST_DMULLFP_FAST_DMMULDN (C23)(C23)(C23)(C23) FP_FAST_FFMAFP_FAST_FFMALFP_FAST_DFMALFP_FAST_DMFMADN (C23)(C23)(C23)(C23) FP_FAST_FMALFP_FAST_FMADN (C99)(C23) FP_FAST_FSUBFP_FAST_FSUBLFP_FAST_DSUBLFP_FAST_DMSUBDN (C23)(C23)(C23)(C23) FP_FAST_FDIVFP_FAST_FDIVLFP_FAST_DDIVLFP_FAST_DMDIVDN (C23)(C23)(C23)(C23) FP_FAST_FSQRTFP_FAST_FSQRTLFP_FAST_DSQRTLFP_FAST_DMSQRTDN (C23)(C23)(C23)(C23)

 

定義於標頭檔案 <math.h>
#define MATH_ERRNO        1		(C99 起)
#define MATH_ERREXCEPT    2		(C99 起)
#define math_errhandling  /*implementation defined*/		(C99 起)

宏常量 math_errhandling 展開為一個 int 型別的表示式，它要麼等於 MATH_ERRNO，要麼等於 MATH_ERREXCEPT，要麼等於它們的按位或 (MATH_ERRNO | MATH_ERREXCEPT)。

math_errhandling 的值指示了浮點運算子和函式執行的錯誤處理型別。

常量	解釋
MATH_ERREXCEPT	表示使用浮點異常：在 <fenv.h> 中至少定義了 FE_DIVBYZERO、FE_INVALID 和 FE_OVERFLOW。
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_TRUE_MIN/2
不精確結果	結果必須經過四捨五入才能適應目標型別	不變	FE_INEXACT 或無（未指定）	sqrt(2), 1.0/10.0

注意

數學庫函式是否引發 FE_INEXACT 通常未指定，但可能在函式的描述中明確指定（例如 rint 對比 nearbyint）。

在 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

參考

• C17 標準 (ISO/IEC 9899:2018)

• 7.12/9 MATH_ERRNO, MATH_ERREXCEPT, math_errhandling (p: 170)

• F.10/4 MATH_ERREXCEPT, math_errhandling (p: 377)

• C11 標準 (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 標準 (ISO/IEC 9899:1999)

• 7.12/9 MATH_ERRNO, MATH_ERREXCEPT, math_errhandling (p: 214)

• F.9/4 MATH_ERREXCEPT, math_errhandling> (p: 454)

另請參閱

FE_ALL_EXCEPTFE_DIVBYZEROFE_INEXACTFE_INVALIDFE_OVERFLOWFE_UNDERFLOW (C99)	浮點異常 (宏常量)
errno	擴充套件為 POSIX 相容的執行緒區域性錯誤碼變數的宏 (宏變數)
C++ 文件 關於 math_errhandling