Decimal, Decimal(P), Decimal(P, S), Decimal32(S), Decimal64(S), Decimal128(S), Decimal256(S)
Знаковые фиксированные числовые значения, которые сохраняют точность при операциях сложения, вычитания и умножения. Для деления наименее значащие цифры отбрасываются (не округляются).
Параметры
- P - точность. Допустимый диапазон: [ 1 : 76 ]. Определяет, сколько десятичных цифр может содержать число (включая дробную часть). По умолчанию точность составляет 10.
- S - масштаб. Допустимый диапазон: [ 0 : P ]. Определяет, сколько десятичных цифр может иметь дробная часть.
Decimal(P) эквивалентен Decimal(P, 0). Аналогично, синтаксис Decimal эквивалентен Decimal(10, 0).
В зависимости от значения параметра P, Decimal(P, S) является синонимом для:
- P от [ 1 : 9 ] - для Decimal32(S)
- P от [ 10 : 18 ] - для Decimal64(S)
- P от [ 19 : 38 ] - для Decimal128(S)
- P от [ 39 : 76 ] - для Decimal256(S)
Диапазоны Значений Decimal
- Decimal(P, S) - ( -1 * 10^(P - S), 1 * 10^(P - S) )
- Decimal32(S) - ( -1 * 10^(9 - S), 1 * 10^(9 - S) )
- Decimal64(S) - ( -1 * 10^(18 - S), 1 * 10^(18 - S) )
- Decimal128(S) - ( -1 * 10^(38 - S), 1 * 10^(38 - S) )
- Decimal256(S) - ( -1 * 10^(76 - S), 1 * 10^(76 - S) )
Например, Decimal32(4) может содержать числа от -99999.9999 до 99999.9999 с шагом 0.0001.
Внутреннее представление
Внутренне данные представлены как обычные знаковые целые числа с соответствующей разрядностью. Реальные диапазоны значений, которые могут храниться в памяти, немного больше указанных выше, что проверяется только при преобразовании из строки.
Поскольку современные ЦП не поддерживают 128-разрядные и 256-разрядные целые числа нативно, операции с Decimal128 и Decimal256 эмулируются. Таким образом, Decimal128 и Decimal256 работают значительно медленнее, чем Decimal32/Decimal64.
Операции и тип результата
Двоичные операции над Decimal приводят к более широкому типу результата (с любым порядком аргументов).
Decimal64(S1) <op> Decimal32(S2) -> Decimal64(S)
Decimal128(S1) <op> Decimal32(S2) -> Decimal128(S)
Decimal128(S1) <op> Decimal64(S2) -> Decimal128(S)
Decimal256(S1) <op> Decimal<32|64|128>(S2) -> Decimal256(S)
Правила для масштаба:
- сложение, вычитание: S = max(S1, S2).
- умножение: S = S1 + S2.
- деление: S = S1.
Для аналогичных операций между Decimal и целыми числами результат будет Decimal того же размера, что и аргумент.
Операции между Decimal и Float32/Float64 не определены. Если они вам нужны, вы можете явно привести один из аргументов с использованием встроенных функций toDecimal32, toDecimal64, toDecimal128 или toFloat32, toFloat64. Имейте в виду, что результат потеряет точность, а преобразование типов является вычислительно затратной операцией.
Некоторые функции над Decimal возвращают результат в виде Float64 (например, var или stddev). Промежуточные вычисления могут по-прежнему выполняться в Decimal, что может привести к различным результатам между входными значениями Float64 и Decimal с одинаковыми значениями.
Проверки на переполнение
Во время вычислений с Decimal могут происходить переполнения целых чисел. Избыточные цифры в дробной части отбрасываются (не округляются). Избыточные цифры в целой части приведут к исключению.
Проверка на переполнение не реализована для Decimal128 и Decimal256. В случае переполнения возвращается некорректный результат, исключение не выбрасывается.
Проверки на переполнение замедляют операции. Если известно, что переполнения невозможны, имеет смысл отключить проверки, используя настройку decimal_check_overflow
. Когда проверки отключены и переполнение происходит, результат будет некорректным:
Проверки на переполнение происходят не только при арифметических операциях, но и при сравнении значений:
См. также