C/C++에서 IEEE 754 NaN/Inf 및 연산 오류 탐지 방법

C 표준, C++ 표준은 부동 소수점 표기법 (float, double 또는 long double)을 다루는 방식을 제공한다.

1. 매크로

C언어 표준 라이브러리 헤더 <math.h>에는 아래 매크로들이 존재한다 (C++ <cmath>에도 동일) .

• INFINITY
• NAN

이들 각각은 float 타입의 constant expression으로 expand된다. 이를 이용해 임의의 실수 인자로 NaN이나 Inf를 넘길 수 있다.

2. number classification macros

<math.h>(<cmath>)에는 아래 매크로들이 존재한다.

• FP_INFINITE
• FP_NAN
• FP_NORMAL
• FP_SUBNORMAL
• FP_ZERO

이들은 int 타입의 constant expression으로 expand된다. <math.h>의 표준 매크로 함수 int fpclassify(real-floating x)로부터 실수 값이 어떤 분류에 해당하는지 알 수 있다.

3. fenv.h

fenv.h에는 다음 예외 분류 매크로가 존재한다.

• FE_DIVBYZERO
• FE_INEXACT
• FE_INVALID
• FE_OVERFLOW
• FE_UNDERFLOW

이들은 블럭 내에서 #pragma STDC FENV_ACCESS ON 선언 후 feclearexcept, fegetexceptflag, feraiseexcept, fesetexceptflag, fetestexcept 등의 함수로 예외 처리에 플래그 값으로 사용 가능하다. 이에 대한 설명은 생략.