HJ
Бинари шланга то есть уже
isExact(0.3) == false, но isExact(0.25) == true или isExact(0.0) == true. Кажется такой может быть compile-time, ведь так?Size: a a a
2020 June 15
AT
Есть какой-то предикат (пусть и специфичный для компилятора, платформы etc), позволяющий для floating-point литерала понять, имеет ли точное представление данный литерал? Например,
АК
Есть какой-то предикат (пусть и специфичный для компилятора, платформы etc), позволяющий для floating-point литерала понять, имеет ли точное представление данный литерал? Например,
isExact(0.3) == false, но isExact(0.25) == true или isExact(0.0) == true. Кажется такой может быть compile-time, ведь так?если посмотреть на IEEE754, можно заметить, чем точные литералы отличаются от остальных
IA
Есть какой-то предикат (пусть и специфичный для компилятора, платформы etc), позволяющий для floating-point литерала понять, имеет ли точное представление данный литерал? Например,
isExact(0.3) == false, но isExact(0.25) == true или isExact(0.0) == true. Кажется такой может быть compile-time, ведь так?В качестве хака можно проверить что
float(x) == double(x).DF
Хитро
v
Есть какой-то предикат (пусть и специфичный для компилятора, платформы etc), позволяющий для floating-point литерала понять, имеет ли точное представление данный литерал? Например,
isExact(0.3) == false, но isExact(0.25) == true или isExact(0.0) == true. Кажется такой может быть compile-time, ведь так?Или можно использовать boost::cpp_rational.
DF
А оно на иррациональных числах эксепшн кидает ?
RR
можно умножать на 2, пока целое число не выйдет, а потом его еще раз проверить. Но это не звучит как лучшее решение
RR
Dollar Føølish
А оно на иррациональных числах эксепшн кидает ?
Я думаю иррациональный дабл сложно будет придумать
FS
qFuzzyCompare жи
AT
qFuzzyCompare жи
мимо
AT
вообще, кажется, предикат был бы чем-то вроде
template<typename CharT, CharT... s> constexpr bool operator ""_is_exact () { return /*что-то с факторизацией числа s...*/; }AT
это расширение gcc, если что
AD
Есть какой-то предикат (пусть и специфичный для компилятора, платформы etc), позволяющий для floating-point литерала понять, имеет ли точное представление данный литерал? Например,
isExact(0.3) == false, но isExact(0.25) == true или isExact(0.0) == true. Кажется такой может быть compile-time, ведь так?Этот предикат должен принимать на вход строку, не так ли? По строкам "0.25" и "0.3" можно что-то сказать, по floating point литералам уже можно сказать только одно: "да, представимо".
AT
Andrey Davydov
Этот предикат должен принимать на вход строку, не так ли? По строкам "0.25" и "0.3" можно что-то сказать, по floating point литералам уже можно сказать только одно: "да, представимо".
мне не надо "представимо", мне надо "представимо точно"
AT
это может быть либо встроенным в язык оператором, либо вот как то расширение g++
AT
мне не надо "представимо", мне надо "представимо точно"
слишком много знаков в мантиссе — тоже должно быть учтено, кстати
IA
это может быть либо встроенным в язык оператором, либо вот как то расширение g++
Вряд ли такое есть. Сконвертируйте в целое и проверьте на что заканчивается мантисса.