Sablog Models/플랫폼·툴킷

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

어­리 2012. 9. 20. 00:19

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 등의 함수로 예외 처리에 플래그 값으로 사용 가능하다. 이에 대한 설명은 생략.