如何对两个NUMERIC值进行除法运算,得到NUMERIC类型支持的最大位数的结果?

不幸的是,您必须重新编译才能做到这一点。无约束 numeric 允许您存储、处理和操作 16383 小数点后的数字很好-这里有一个零点-16383-zeros作为 numeric constant in exponential notation :
_{demo at db<>fiddle}

create table test(x numeric);
insert into test values(0e-16383)returning scale(x),x;

问题是, numeric/numeric 划分将结果范围限制在 1000 在标准安装中:

select scale(1e-16383/3e-16383)
      ,(1e-16383)/(3e-16383) as x;

你可以查看后面的函数 数字/数字 操作员在 pg_operator :

select oid::regoperator
      ,oprcode 
from pg_operator
where oprname='/'
and oprleft='numeric'::regtype
and oprright='numeric'::regtype;

每当 documentation 如果失败,您可以随时查看源代码,了解它的真正作用以及如何作用。这个 numeric_div 在里面 pg_operator.oprcode 引导您 src/backend/utils/adt/numeric.c:3133 :

/*
 * numeric_div() -
 *
 *  Divide one numeric into another
 */
Datum
numeric_div(PG_FUNCTION_ARGS)
{
    Numeric     num1 = PG_GETARG_NUMERIC(0);
    Numeric     num2 = PG_GETARG_NUMERIC(1);
    Numeric     res;

    res = numeric_div_opt_error(num1, num2, NULL);

    PG_RETURN_NUMERIC(res);
}

在 numeric_div_opt_error 你可以看到它试图估计划分所需的规模:

    /*
     * Select scale for division result
     */
    rscale = select_div_scale(&arg1, &arg2);

该函数最终将刻度限制在当前值 NUMERIC_MAX_DISPLAY_SCALE :

    /* Select result scale */
    rscale = NUMERIC_MIN_SIG_DIGITS - qweight * DEC_DIGITS;
    rscale = Max(rscale, var1->dscale);
    rscale = Max(rscale, var2->dscale);
    rscale = Max(rscale, NUMERIC_MIN_DISPLAY_SCALE);
    rscale = Min(rscale, NUMERIC_MAX_DISPLAY_SCALE);

要了解它是如何为您的 1::numeric/3::numeric ,您可以按照建立上述变量的代码进行操作 select_div_scale 限制结果-在您的情况下,它落在了最低值之上 16 .In src/include/utils /numeric.h:32 你可以找到 NUMERIC_MAX_PRECISION ,最大值为 1000 :

#define NUMERIC_MAX_PRECISION       1000

这就是你必须增加的最大规模 数字 划分结果。你正在调整它,风险由你自己承担,但一旦你这样做了,你可以在任何计算中加入一个非常精确的零,以便一直向上移动到最大规模:

SELECT (1+0e-16383)/3;