float형 변수의 저장방법에 대한 궁금증

둘 중 아래 형태가 제가 이전에 다른 글타래에서 말씀드린 signed zero
입니다. IEEE 754 를 가정했을 때 대부분의 문맥에서 -0 과 0 은 동일하게
행동하지만 구현에 따라 underflow 같이 미묘한 경우 제 역할을 수행하기도
합니다.

doldori 님께서 알려주셨듯이 대부분의 구현체에서 isnan() 을 사용하실 수
있습니다. 이는 C99 표준에서 공식적으로 제공되며, 그 이전에도 적지 않은
구현체가 확장으로 제공해주고 있었습니다. (혹은 각 type 별로 __isnan(),
__isnanf(), __isnanl() 와 같은 이름으로 제공해 주기도 합니다. 단,
isnan() 이 이미 제공된다면 이들을 사용하는 것은 바람직하지 않습니다.)

혹은 isnan() 을 제공하지 않는 구현체의 경우, 보통 다음과 같이 테스트할
수 있습니다.

if (x != x)
    /* NaN 에 대한 처리 */

C99 isnan() 과의 차이점은 isnan() 의 경우 검사 전에 type 에 대한
처리를 해준다는 점입니다. 예를 들어, 어떤 환경에서 double 형(semantic
type)으로 선언된 값을 사실상 내부적으로 long double 형(representation
type)으로 처리하고 있었다면, isnan() 매크로의 경우 이를 확실히 double
형의 표현이 되도록 만들어준 후에 검사를 하게 됩니다. 이와 같은 차이는
여러 부동형 중 일부 type 에만 NaN 을 지원하는 경우에만 문제가 될 수
있습니다 - IEEE 754 환경을 경우 그럴 수 없으므로 문제가 되지 않습니다.

C99 와의 forward compatibility 를 위해 위와 같은 검사를 매크로로
만들어 사용할 경우 인자 평가 횟수에 유의하시기 바랍니다. C99 의
isnan() 매크로의 경우 인자를 1번만 평가하도록 구현되어 있습니다.

그럼...