如何在 icase 中允许混合整数和数字参数

根据链接：

https://www.postgresql.org/docs/current/xfunc-sql.html#XFUNC-SQL-多态函数

使用如上声明的 make_array，您必须提供两个数据类型完全相同的参数；系统不会尝试解决任何类型差异。

另一种方法是使用“通用”多态类型系列，这使得系统可以尝试识别合适的通用类型。

所以：

CREATE OR REPLACE FUNCTION public.icase(cond1 boolean, res1 anycompatible, cond2 boolean, res2 anycompatible, conddefault anycompatible)
 RETURNS anycompatible
 LANGUAGE sql
 IMMUTABLE
AS $function$ 
SELECT CASE WHEN $1 THEN $2 WHEN $3 THEN $4 ELSE $5 END; 
$function$
;

运行时会执行：

select icase(false, 0, false, 0.,0.);                                                                               
 
icase 
-------
     0


select icase(false, 0, false, 0.,0.0);
 
icase 
-------
   0.0

但正如您所见，它会将输出强制转换为常见的合适类型。

如何允许混合 integer和numeric参数

多态类型导致一种通用的、统一的数据类型。将作为 4x相同Anyelement类型的占位符，并且如果您传递 3 种不同的东西（第 4 种是结果类型，将根据 3 个参数进行调整），它就会放弃。

Anycompatible不会放弃，而是尝试将 3 种不同的东西转换为一种通用类型（如果可能的话），并且只有一种唯一的方式来转换它们。它将允许您使用混合类型调用例程，但它们最终都会被转换。

如果你想要更多的控制权（并计划继续使用 v12），请重载你的函数：
_{db<>fiddle 上的演示}

CREATE OR REPLACE FUNCTION public.icase(--inn
   bool,int,bool,numeric,numeric)    
RETURNS numeric IMMUTABLE AS $body$
SELECT CASE WHEN $1 THEN $2 
            WHEN $3 THEN $4 
            ELSE $5 
       END 
$body$ LANGUAGE sql;

CREATE OR REPLACE FUNCTION public.icase(--nin
   bool,numeric,bool,int,numeric)    
RETURNS numeric IMMUTABLE AS $body$
SELECT CASE WHEN $1 THEN $2 
            WHEN $3 THEN $4 
            ELSE $5 
       END 
$body$ LANGUAGE sql;

CREATE OR REPLACE FUNCTION public.icase(--iin
   bool,int,bool,int,numeric)    
RETURNS numeric IMMUTABLE AS $body$
SELECT CASE WHEN $1 THEN $2 
            WHEN $3 THEN $4 
            ELSE $5 
       END 
$body$ LANGUAGE sql;

CREATE OR REPLACE FUNCTION public.icase(--nnn
   bool,numeric,bool,numeric,numeric)    
RETURNS numeric IMMUTABLE AS $body$
SELECT CASE WHEN $1 THEN $2 
            WHEN $3 THEN $4 
            ELSE $5 
       END 
$body$ LANGUAGE sql;

CREATE OR REPLACE FUNCTION public.icase(--iii
   bool,int,bool,int,int)    
RETURNS int IMMUTABLE AS $body$
SELECT CASE WHEN $1 THEN $2 
            WHEN $3 THEN $4 
            ELSE $5 
       END 
$body$ LANGUAGE sql;

通过上述 5 个定义，3 个位置上int和的 8 种可能组合中的任何一种都可以得到很好的解决：numeric

如果您想在不同的调用之间混合参数类型，而不是在单个调用中，只要您使用显式、统一的类型转换，您的定义就已经起作用了：
_{demo at db<>fiddle}

select icase(false, 0::numeric,false, 0.::numeric,0.::numeric);
select icase(false, 0::float4, false, 0.::float4, 0.::float4);
select icase(false, 0::float8, false, 0.::float8, 0.::float8);
select icase(false, 0::int2,   false, 0.::int2,   0.::int2);
select icase(false, 0::int4,   false, 0.::int4,   0.::int4);
select icase(false, 0::int8,   false, 0.::int8,   0.::int8);