在 PostgresSQL 中计算阶乘函数时“bigint out of range”

问题描述

作为数据库类介绍的一部分，我们被告知使用 PL/pgsql 创建一个函数，该函数给出数字的阶乘。现在因为 x!作为一个函数迅速增加，我们决定返回一个 bigint，因为它是一个大范围的整数。

CREATE OR REPLACE FUNCTION getBigFactorial(fn bigint) RETURNS bigint as $$
DECLARE
 product bigint;
 minus1 int;
BEGIN
 if (fn > 21) then
 RAISE EXCEPTION 'Error: computing factorial; numeric value out of range';
 return NULL;
 elsif (fn < 1) then
 RAISE EXCEPTION 'Error: Argument less than 1!';
 return NULL;
 end if;
 
 minus1 := fn - 1;
 if (minus1 > 0) then
 product := fn * getBigFactorial(minus1);
 return product;
 end if;
 return fn;
END;
$$ language plpgsql;

对于这个函数，我们被告知要为输入的数字创建某种验证。 (fn < 1) 的一个运行完美，然而，(fn > 21) 的一个出现了一些问题。

当输入以下内容时：

SELECT getBigFactorial(21);

我们得到：

ERROR:  bigint out of range
CONTEXT:  PL/pgsql function getbigfactorial(integer) line 17 at assignment
sql state: 22003

而不是获得所需的输出。第 17 行对应这一行：

 if (minus1 > 0) then

当我们输入 22 而不是 21 时，我们得到了所需的错误输出。

是否有助于找出导致这种情况的原因？ TIA

解决方法

您的条件检查应包括21：

if (fn >= 21) then
-- ...

因为对于 21 的输入，21 的阶乘（fn * getBigFactorial(minus1)，其中 fn = 21，并且 minus1 = fn - 1），这是一个超出 bigint 范围的整数，被分配给 product，一个 bigint。

factorial pgadmin plpgsql postgresql