Verificando o padrão de ponto flutuante IEEE 754 em C

Determinar se um compilador C adere ao padrão de ponto flutuante IEEE 754 normalmente é realizado através um compilador define. No entanto, a técnica usada para C pode não se aplicar diretamente a C .

C -Specific Approach

Felizmente, C oferece um método direto para realizar essa verificação usando numeric_limits class:

std::numeric_limits::is_iec559;

Esta expressão é avaliada como verdadeira se IEEE 754 for utilizada pelo compilador e como falsa caso contrário. Uma verificação semelhante pode ser realizada para o tipo float:

std::numeric_limits::is_iec559;

Alternative Method

Como alternativa à abordagem numeric_limits, você pode adaptar a segunda parte da resposta de Adam para C :

#include 

int main() {
  // Check for IEEE 754 compliance by checking for a finite number of float exponents.
  if (std::numeric_limits::max_exponent == std::numeric_limits::max()) {
    // Compiler uses IEEE 754.
  } else {
    // Compiler does not use IEEE 754.
  }
}

Essa abordagem se baseia no fato de que o IEEE 754 define um intervalo específico de expoentes para números de ponto flutuante. Se o expoente máximo do compilador corresponder ao tamanho máximo de um número inteiro, provavelmente ele está aderindo ao IEEE 754.