Проверка float на "численность", как проверить, что float не "nan"? Опции

[MrYuran]

Сейчас встретил в программе кусок

Код

sprintf(str, "%f", fCNa);
if(isalpha(str[1]))fCNa = 0;

Я так подозреваю, что это проверка fCNa на допустимость
(или как там по-русски сказать)

Если это так, то решение, по-моему, слишком избыточное, учитывая что *printf() нигде больше не используется

Какие могут быть другие способы, менее затратные?

[shreck]

Какие могут быть другие способы, менее затратные?

Я пользуюсь таким кодом:

CODE

//******************************************************************************
// MISC_CPP
// DESCRIPTION:
// Различного рода вспомагательные функции.
//
//
//******************************************************************************

//------------------------------------------------------------------------------
// T Y P E S and D E F I N I T I O N S
//------------------------------------------------------------------------------

//------------------------------------------------------------------------------
// Константa NaN.
const float NaN = 0.0/0.0;

//==============================================================================
// I M P L E M E N T A T I O N
//==============================================================================

//------------------------------------------------------------------------------
// Проверка значения float на число.
bool is_nan(float val)
{
uint32 *pval = reinterpret_cast<uint32*>(&val);
bool result = ((*pval & 0x7F800000) == 0x7F800000) &&
((*pval & 0x007FFFFF) != 0x00000000);
return result;
}

//------------------------------------------------------------------------------
// Проверка значения float на бесконечность.
bool is_inf(float val)
{
uint32 *pval = reinterpret_cast<uint32*>(&val);
bool result = ((*pval & 0x7F800000) == 0x7F800000) &&
((*pval & 0x007FFFFF) == 0x00000000);
return result;
}

//------------------------------------------------------------------------------
// Проверка значения float на корректность. Не Nan и не Inf.
bool is_correct_float(float val)
{
return !(is_nan(val)||is_inf(val));
}

Причина редактирования: Для уменьшения видимого размера цитаты исходника тэги code заменены на codebox.

[MrYuran]

Я пользуюсь таким кодом:
...
uint32 *pval = reinterpret_cast<uint32*>(&val);
...

Спасибо, а вот это
reinterpret_cast<uint32*> - на каком языке написано?
я так подозреваю, на си это что-то типа (uint32*)?

[vik0]

reinterpret_cast<uint32*> - на каком языке написано?
я так подозреваю, на си это что-то типа (uint32*)?

C++
Правильно подозреваете.

...

Все уже придумано до нас

Код

#include <limits>
// Проверка значения float на корректность. Не Nan и не Inf.
bool is_correct_float(float val)
{
    return val != std::numeric_limits<float>::signaling_NaN() &&
      abs(val) != std::numeric_limits<float>::infinity();
}

[Сергей Борщ]

Все уже придумано до нас

Действительно, придумано.

Код

#include <math.h>
// Проверка значения float на корректность.
bool is_correct_float(float val)
{
    return !isnan(val);
}

[vik0]

А как быть с +/-INF ?

[Сергей Борщ]

А как быть с +/-INF ?

Откровенно говоря не силен в плавающей точке, но логика подсказывает, что inf - это тоже not a number, и, значит, должен отсекаться по isnan(). Лезть в стандарт?
Да, полез: это разные классы чисел. Надо использовать isfinite():

The isfinite macro determines whether its argument has a finite value (zero, subnormal, or normal, and not infinite or NaN).

В общем, всем спасибо, сделал misc.c как у shreсk'a, только на си.

Ошибочное решение. Представление плавающей точки - компиляторо- и процессорозависимо. Вы закладываететсь на конкретную реализацию, теряя портабельность. Разработчики компиляторов предоставляют стандартные макросы для этих операций - isnan() isinf() и кучу других. Если вас не устраивает их встраивание - сделайте обертки, но не закладывайтесь на конкретное представление чисел компилятором.

Сообщение отредактировал Сергей Борщ - Feb 3 2009, 13:51

[shreck]

Ошибочное решение. Представление плавающей точки - компиляторо- и процессорозависимо. Вы закладываететсь на конкретную реализацию, теряя портабельность. Разработчики компиляторов предоставляют стандартные макросы для этих операций - isnan() isinf() и кучу других. Если вас не устраивает их встраивание - сделайте обертки, но не закладывайтесь на конкретное представление чисел компилятором.

Полностью поддерживаю. Но...
1. Не у всех компиляторов стандартная библиотека содержит указанные функции, например, в IARMSP342 я их не нашел.
2. Если документация к компилятору утверждает, что он поддерживает для float стандарт IEEE 754, то, рискну предположить, что приведенный мной код не компиляторо- и не процессорозависимый.
3. Человеку нужно решение на С.