Что заставляет это вести себя странно? - PullRequest
Новая
       30

Что заставляет это вести себя странно?

1 голос
/ 02 июля 2011

Я работаю в среде с практически отсутствующей библиотекой double / Math (NETMF). Я написал этот класс, чтобы сделать вещи проще: 

public struct DoubleEx
{
    public const double NaN = 0.0d / 0.0d;
    public static bool IsNaN(double x)
    {
        return x != x;
    }
    ...
}

Похоже, это должно работать, верно?

Хорошо, когда я запускаю этот код: 

Debug.Print("Method call: " + DoubleEx.IsNaN(DoubleEx.NaN));
Debug.Print("Method call: " + DoubleEx.NaN != DoubleEx.NaN);

Я получаю этот вывод: 

False
True

Каким-то образом введение его в функцию нарушает его! Здесь происходит какая-то оптимизация? Или аппаратное обеспечение неверно истолковывает инструкции?

Ответы [ 3 ]

3 голосов
/ 02 июля 2011

Следующее основано на стандарте IEEE 754: 

// @struct IEEE_DOUBLEREP | allows bit access to 8 byte floats
//[StructLayout(LayoutKind.Sequential)]
//public struct ieee_doublerep
//{
//    ulong low_mantissa;       // @field low 16 bits of mantissa
//    ushort mid_mantissa;  // @field mid 16 bits of mantissa
//    uint high_mantissa:4;     // @field high 4 bits of mantissa
//    uint exponent:11;         // @field exponent of floating point number
//    uint sign:1;              // @field sign of floating point number
//};

public struct DoubleEx
{
    public const long NANMASK = 0x7FF0000000000000;
    public const long INFINITYMASK = 0x000FFFFFFFFFFFFF;

    public const double NaN = 0.0f / 0.0f;
    public const double NegativeInfinity = -1.0f / 0.0f;
    public const double PositiveInfinity = 1.0f / 0.0f;
    public static bool IsNaNBad(double x)
    {
        return x != x;
    }

    public unsafe static bool IsNaN(double value)        
    {
        long rep = *((long*)&value);
        return ((rep & NANMASK) == NANMASK &&
                ((rep & INFINITYMASK) != 0));
    }

    public unsafe static bool IsPositiveInfinity(double value)
    {
        double negInf = DoubleEx.PositiveInfinity;
        return *((long*)&value) == *((long*)&negInf);
    }

    public unsafe static bool IsNegativeInfinity(double value)
    {
        double posInf = DoubleEx.PositiveInfinity;
        return *((long*)&value) == *((long*)&posInf);
    }

    public unsafe static bool IsInfinite(double x)
    {
        long rep = *((long*)&x);
        return ((rep & NANMASK) == NANMASK &&
                ((rep & INFINITYMASK) == 0));
    }
}
0 голосов
/ 02 июля 2011

У вас есть проблема с приоритетом оператора, и помещение его внутрь функции изменяет выражение.

Попробуйте: 

Debug.Print("Method call: " + (DoubleEx.NaN != DoubleEx.NaN));

А что насчет: 

static bool DoubleInequal(double a, double b) { return a != b; }
static bool IsNaN(double x) { return DoubleInequal(x, x + 0.0); }
0 голосов
/ 02 июля 2011

Вы пробовали return x == NaN?Мне не кажется хорошей практикой предполагать, что x! = X является синонимом «IsNaN».

...