У меня есть g++ 4.4.3 на Linux с Ubuntu Lucid Lynx, и я получаю:
-nan
. На Hardy Heron с g++ 4.3.1 я получаю все
нан
Это приводит к тому, что моя регрессия diff diff не работает, поскольку я использую cout для печати этого численного результата.
В чем смысл подписанного nan, и есть ли способ сказать компилятору, что unsigned nan достаточно?
Изменение поведения может быть связано с библиотеками, а не с компилятором. Конечно, есть изменения в glibc вокруг правильного времени - из записи для 2009-08-23 в строке 2528 в ChangeLog.17 в источнике glibc:
...
* stdio-common/printf_fp.c: ISO C expects to print the sign of NaN
as well.
...
Вы можете получить подписанный NaN, так как NaN-значение значения и знак значения управляются разными битами в IEEE754 (NaN просто указывается специальными значениями экспоненты, отличными от знакового бита). Я не понимаю, что это за операция.
Возможно, что одна из нормальных операций, которые производят NaN, может вызвать отрицательную вариацию (например, +0/-0 или +Inf/-Inf). Но я бы подумал, что NaN будут печататься как nan независимо от знака.
Однако, хотя стандарт подробно описывает, как обрабатываются числа, он странно молчит о том, как они печатаются. страница Википедии для NaN перечисляет эти данные:
nan NaN NaN% NAN NaNQ
NaNS qNaN sNaN 1.#SNAN 1.#QNAN
-1.#IND -NaN NaN12345 -sNaN12300
с некоторыми из тех, которые показывают знак и дополнительную полезную нагрузку.
Обратите внимание, что я говорю о стандартах IEEE. Стандарты ISO C указывают на ограниченное количество форм, но независимо от того, печатается ли знак и/или полезная нагрузка, зависит от реализации. Я могу только предположить, что более поздние версии библиотеки изменили свое поведение.
Как исправить это в компиляторе, я не уверен. Я бы просто принял прагматичный подход и запустил выходной файл с помощью sed 's/-nan/nan/g'. Надеюсь, это не вызовет других проблем.
И вы также должны следить за формой, которая позволяет печатать полезную нагрузку, хотя я бы только беспокоился об этом, когда тесты снова начнут сбой. Но я бы добавил комментарий рядом с этой командой sed, указывающей, что это может произойти в будущем. Таким образом, по крайней мере, тот, кто следует за вами, поймет, почему.
Подписанный NaN возможен, хотя я не знаю достаточно о плавающей точке, чтобы знать, почему одна платформа будет производить -NaN, а другая будет производить NaN. Но так как NaN имеет некоторые необычные поведения, я действительно не удивлен, что это может произойти.
Здесь приведен фрагмент из описания документа C99 для форматированного ввода/вывода с плавающей запятой:
Двойной аргумент, представляющий собой NaN преобразуется в один из стилей [-] nan или [-] nan (n- char -последовательность) - какой стиль и какой смысл n- char -последовательность, реализации. F спецификатор преобразования
Вы можете использовать copysign() для получения знака значения NaN. Пример из документа C99:
if (isnan(c)) c = copysign(0.0, c);
Но как указано paxdiablo, может быть проще разрешить результат "-nan" в ваших тестовых сценариях.