v
можно умножать на 2, пока целое число не выйдет, а потом его еще раз проверить. Но это не звучит как лучшее решение
А теперь я храню их в двоично десятичной.
Size: a a a
2020 June 15
АК
мне не надо "представимо", мне надо "представимо точно"
0.3 существует лишь в твоём исходном коде, при компиляции он превращается в 0.300000004, поэтому как ты будешь отличать в своей is_exact 0.3 от 0.3000000004, если они одинаковы?
RR
А теперь я храню их в двоично десятичной.
?
AT
0.3 существует лишь в твоём исходном коде, при компиляции он превращается в 0.300000004, поэтому как ты будешь отличать в своей is_exact 0.3 от 0.3000000004, если они одинаковы?
я привёл пример "как"
АК
я привёл пример "как"
is_exact(0.3) для компилятора - is_exact(0.30000000004)AT
меня compile-time интересует. До компиляции
АК
меня compile-time интересует. До компиляции
до компиляции есть только препроцессор
AT
is_exact(0.3) для компилятора - is_exact(0.30000000004)is_exact это гипотетический оператор, конечно жеv
мне не надо "представимо", мне надо "представимо точно"
Это эквивалентно вопросу "имеет ли число представление в виде непериодической дроби в numeric_limits::radix системе с не больше numeric_limits::digits цифр".
AT
до компиляции есть только препроцессор
нет. Есть constexpr
АК
нет. Есть constexpr
в constexpr 0.3 уже не существует, есть только 0.300000000004
v
Что вопос? Иее754 нет в плюсах. Проверяй numeric_limits::is_iec...
VS
меня compile-time интересует. До компиляции
compile-time это все же «в процессе компиляции»
АК
0.3 может существовать или как строка (
"0.3"), или как некий токен для компилятора на очень ранней стадии, где вряд ли можно что-то добытьRR
Что вопос? Иее754 нет в плюсах. Проверяй numeric_limits::is_iec...
как это противоречит возможности реализации арифметических операций на любых литералах(в нашем случае десятичных)?
v
0.3 существует лишь в твоём исходном коде, при компиляции он превращается в 0.300000004, поэтому как ты будешь отличать в своей is_exact 0.3 от 0.3000000004, если они одинаковы?
Компелятор превращает его в нули и еденицы.
AD
это может быть либо встроенным в язык оператором, либо вот как то расширение g++
Как-то так: https://gcc.godbolt.org/z/pnEtZg. Проверку длины мантиссы, обработку ошибок и прочее добавьте по вкусу.
v
как это противоречит возможности реализации арифметических операций на любых литералах(в нашем случае десятичных)?
Реализуй. Я описал задачу, которую надо решать.
RR
Реализуй. Я описал задачу, которую надо решать.
умножение строки "0.314" на 2? ;)
v
умножение строки "0.314" на 2? ;)
Распарси в точное представление и делай че хочешь.