Каков результат приведения float + INF, -INF и NAN в целое число в C?

Указывает ли какой-либо стандарт, какой должен быть выход?

Например, этот код:

#include <stdio.h>
#include <math.h>

int main(int argc, char** argv) {
  float a = INFINITY;
  float b = -INFINITY;
  float c = NAN;

  printf("float %f %f %f\n", a, b, c); 
  printf("int %d %d %d\n", (int) a, (int) b, (int) c); 
  printf("uint %u %u %u\n", (unsigned int) a, (unsigned int) b, (unsigned int) c); 
  printf("lint %ld %ld %ld\n", (long int) a, (long int) b, (long int) b); 
  printf("luint %lu %lu %lu\n", (unsigned long int) a, (unsigned long int) b, (unsigned long int) c); 

  return 0;
}

Составлено на gcc версии 4.2.1 (сборка Apple Inc. 5664) Цель: i686-apple-darwin10

Выходы:

$ gcc test.c && ./a.out 
float inf -inf nan
int -2147483648 -2147483648 -2147483648
uint 0 0 0
lint -9223372036854775808 -9223372036854775808 -9223372036854775808
luint 0 9223372036854775808 9223372036854775808

Это довольно странно. (int) + inf < 0!?!

Ответ 1

Как сказал Павел, он undefined:

Из §6.3.1.4:

6.3.1.4. Реальное и целое число

Когда конечное значение реального типа fl oating преобразованный в целочисленный тип другой чем _Bool, дробная часть (т.е. значение усеченный к нулю). Если значение неотъемлемой части не может быть представленный целым типом, поведение не определено .50)

Бесконечность не является конечной, и интегральная часть не может быть представлена ​​в интегральном типе, поэтому undefined.