为何PostgreSQL中real与numeric运算结果为double precision？

你观察到的现象是正确的：在PostgreSQL中，numeric与real类型执行数学运算时，结果类型为double precision，而非real。你的测试SQL验证了这一点：

SELECT 
   pg_typeof(0::numeric + 0::numeric), -- numeric
   pg_typeof(0::real    + 0::real),    -- real
   pg_typeof(0::numeric + 0::real),    -- double precision
   pg_typeof(0::real    + 0::numeric); -- double precision

关键：类型转换的代价与精度优先级 #

你的理解偏差在于忽略了PostgreSQL运算符选择时的转换代价评估和精度优先原则，具体逻辑如下：

1. 候选运算符的转换路径分析
   对于numeric + real的场景，有两个可行的候选运算符：

   • real + real：需要将numeric隐式转换为real（仅需转换一个操作数）
   • double precision + double precision：需要将numeric转换为double precision，同时将real转换为double precision（转换两个操作数）

2. 转换代价的核心差异
   虽然real + real看起来转换次数更少，但numeric转real是有损转换：numeric支持更高的精度和更大的数值范围，转换为real时可能丢失精度或触发溢出；而numeric转double precision的精度损失极小，real转double precision是无损转换（double的精度和范围完全覆盖real）。

3. PostgreSQL的选择逻辑
   PostgreSQL在选择运算符时，会优先避免有损转换，并倾向于保留更高的精度。因此它会选择double precision + double precision运算符——这条转换路径的精度损失更小，能更好地保留原始数据的信息。

补充验证：隐式转换的特性 #

你查询的pg_cast结果中，numeric -> real虽然是隐式转换，但它属于有损转换（可通过pg_cast的castfunc查看对应的转换函数numeric_real，该函数会做精度截断）；而numeric -> double precision和real -> double precision的转换则更安全。

文档的正确解读 #

《10.2. Type Conversion: Operators》章节中提到的步骤，在没有精确匹配运算符时，会评估所有可行的隐式转换路径，并选择代价最低、精度最高的路径，而非仅看转换次数。你之前误以为“转换次数少就优先”，但实际上转换的安全性（是否有损）和目标类型的精度权重更高。

内容的提问来源于stack exchange，提问作者XXB