Соответствует ли реализация MSVC `signing_nan ⇐ C++

[Anonymous]

Насколько я могу судить, реализация MSVC Signaling_nan не соответствует IEEE 754-2019, последней версии стандарта IEEE с плавающей запятой. В частности, Википедия утверждает, что стандарт IEEE требует, чтобы в тихой NAN требуется, чтобы MSB значимости был установлен на 1 . Тот же бит должен быть установлен на 0 , для сигнализации NANS. (См. Демонстрационную программу ниже.) В соответствии с IEEE 754-2019, которая указывает на тихой NAN.
Кроме того, реализация MSVC Signaling_nan является несоответствующей: типы Float и Double не рассматриваются аналогично. Введите Double обрабатывает сигнализацию_nan , как указано IEEE 754-2019. Тип float нет.
Я публикую этот вопрос, чтобы получить второе мнение: Я что -то пропустил? Википедия неправоту? Более того, это должен быть флаг is_quiet. То есть этот бит ненулевой, если NAN тихо, и нулевой, если NAN сигнализирует. Тем не менее, это был метод, используемый во многих имплеметациях. В более ранних версиях стандарта (Per Wikipedia) биты, используемые для обозначения тихого и сигнального NAN, зависят от реализации.
Тот факт, что Microsoft не следит за IEEE 754-2019, можно объяснить, утверждая, что Microsoft следит за более ранней версией IEEE 754.
факт, что лечение MicrosOft> . Двойной по -другому, однако, предполагает, что что -то пошло не так. Может случиться так, что ранняя версия MSVC представила несоответствия, и теперь Microsoft считает, что она не может ее исправить, не нарушая существующие кодовые основания. < /P>
или, возможно, Microsoft не знает, что существует несоответствие. Вы можете увидеть демонстрацию в компиляторе. Из трех, только MSVC нет. < /P>
Вот выход из MSVC. Он показывает, что std :: numeric_limits :: signing_nan () устанавливает бит is_quiet на 1 , что указывает на тихой NAN.
Также показывает, что std :: numeric_limits :: signaling_nan () устанавливает код. 754-2019. < /P>
Ищите строки, в которых говорят: «is_quiet.»Predefined Macros
__cplusplus : 199711
_MSVC_LANG : 202302
_MSC_VER : 1943
_MSC_FULL_VER : 194334810
_MSC_BUILD : 0
< /code>
========
float
========

IEEE 754 Support
std::numeric_limits< float >::is_iec559 : true
std::numeric_limits< float >::has_quiet_NaN : true
std::numeric_limits< float >::has_signaling_NaN : true

std::numeric_limits< float >::quiet_NaN()
bits : 01111111110000000000000000000000
exponent : _11111111_______________________
significand : _________10000000000000000000000
is_quiet : _________1______________________

std::numeric_limits< float >::signaling_NaN()
bits : 01111111110000000000000000000001
exponent : _11111111_______________________
significand : _________10000000000000000000001
is_quiet : _________1______________________
========
double
========

IEEE 754 Support
std::numeric_limits< double >::is_iec559 : true
std::numeric_limits< double >::has_quiet_NaN : true
std::numeric_limits< double >::has_signaling_NaN : true

std::numeric_limits< double >::quiet_NaN()
bits : 0111111111111000000000000000000000000000000000000000000000000000
exponent : _11111111111____________________________________________________
significand : ____________1000000000000000000000000000000000000000000000000000
is_quiet : ____________1___________________________________________________

std::numeric_limits< double >::signaling_NaN()
bits : 0111111111110000000000000000000000000000000000000000000000000001
exponent : _11111111111____________________________________________________
significand : ____________0000000000000000000000000000000000000000000000000001
is_quiet : ____________0___________________________________________________
< /code>
исходный код < /h4>
// app23.signaling_nan.main.cpp
// Demonstration Program for Stack Overflow Question
// https://stackoverflow.com/q/79707504/22193627
#include // bit_cast
#include // size_t
#include // uint32_t, uint64_t
#include // cout, ostream
#include // numeric_limits
#include // string
#include // string_view
namespace
{
//==================================================================
// put_predefined_macros
//==================================================================
void put_predefined_macros(std::ostream& log) {
log

Подробнее здесь: https://stackoverflow.com/questions/797 ... atest-ieee