"bigint out of range" 在 PostgresQL 中计算阶乘函数时

Question

作为数据库介绍的一部分 class，我们被告知使用 PL/pgSQL 创建一个函数，它给出一个数字的阶乘。现在因为x！作为一个函数迅速增加，我们决定 return 一个 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

Answer 1

您的条件检查应包含 21:

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

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

"bigint out of range" 在 PostgresQL 中计算阶乘函数时

"bigint out of range" when computing factorial function in PostgresSQL

postgresql

plpgsql

factorial

pgadmin