pgsql.cc 提供对 postgresql.org 官网内容的中文翻译，由 Pigsty 团队维护。
操作符类型解析
在 pg_operator 系统目录中检查精确匹配。
如果二元操作符的一个参数是 unknown 类型， 那么在这一步检查中假定它与另一个参数的类型 相同。其他涉及 unknown 的情况在这一步 永远找不到匹配。
寻找最佳匹配。
列出所有同名且输入类型匹配或可以强制转换成匹配的 操作符。（为此目的，假定 unknown 字面量 可以转换成任何类型。）如果只有一个， 就使用它；否则继续下一步。
遍历所有候选，保留输入类型精确匹配 最多的。如果没有任何精确匹配，则保留全部 候选。如果只剩一个候选，就使用它；否则继续下一步。
遍历所有候选，保留输入类型精确匹配或二进制 兼容匹配最多的。如果没有任何精确或二进制 兼容匹配，则保留全部候选。 如果只剩一个候选，就使用它；否则继续下一步。
遍历所有候选，保留在需要类型强制转换的最多个 位置上接受首选类型的。 如果没有任何候选接受首选类型，则保留全部候选。 如果只剩一个候选，就使用它；否则继续下一步。
如果有输入参数是"unknown"，检查其余候选在这些参数 位置上接受的类型类别。在每个位置上，如果有候选接受 "string" 类别就选择该类别（这种偏向字符串的做法 是恰当的，因为未知类型的字面量看起来确实像字符串）。 否则，如果所有剩余候选接受相同的类型类别， 就选择该类别；否则失败，因为没有更多线索 就无法推断出正确的选择。还要注意 是否有候选接受所选类别中的首选数据类型。 现在丢弃不接受所选类型类别的操作符候选； 此外，如果某个候选在给定的参数 位置上接受首选类型，就丢弃在该参数上 接受非首选类型的候选。
如果只剩一个候选操作符，就使用它。如果没有候选操作符或者不止一个候选操作符剩余，则失败。
目录中只定义了一个求幂 运算符，它接受 double precision 类型的参数。 扫描器给这个查询表达式的两个参数 都赋予了初始类型 int4：
tgl=> select 2 ^ 3 AS "Exp"; Exp ----- 8 (1 row)
于是解析器对两个操作数都做类型转换，查询 等价于
tgl=> select CAST(2 AS double precision) ^ CAST(3 AS double precision) AS "Exp"; Exp ----- 8 (1 row)
或
tgl=> select 2.0 ^ 3.0 AS "Exp"; Exp ----- 8 (1 row)
最后这种形式的开销最小，因为没有调用任何函数来做 隐式类型转换。这对小查询不是问题，但可能 影响涉及大表的查询的性能。
类字符串的语法既用于处理字符串类型，也用于 处理复杂的扩展类型。 未指定类型的字符串会与可能的操作符候选 匹配。
一个参数未指定类型：
tgl=> SELECT text 'abc' || 'def' AS "Text and Unknown"; Text and Unknown ------------------ abcdef (1 row)
在这种情况下，解析器会查看是否存在一个两边参数都接受text的操作符。既然存在，它就会假定第二个参数应解释为text类型。
未指定类型上的串接：
tgl=> SELECT 'abc' || 'def' AS "Unspecified"; Unspecified ------------- abcdef (1 row)
这种情况下没有关于使用哪个类型的初始提示，因为查询中 没有指定类型。于是解析器查找所有候选操作符， 发现有候选既接受 string 类别也接受 bitstring 类别的输入。由于 string 类别可用时会被优先选择， 就选择了该类别，然后把字符串的 "preferred type"（首选类型）text 用作解析未知 字面量的具体类型。
这个例子说明了一个有趣的结果。传统上， 阶乘运算符只为整数定义。Postgres 的运算符目录中阶乘只有一个条目，接受整数操作数。 如果给定非整数的数值参数，Postgres 会试图把该参数转换成整数来求 阶乘。
tgl=> select (4.3 !);
?column?
----------
24
(1 row)
当然，这在数学上是可疑的结果， 因为原则上非整数的阶乘没有定义。 不过，数据库的职责不是教数学，而是做数据操纵的工具。 如果用户选择对浮点数求阶乘， Postgres 也会照办。
译文有误、术语不当或页面显示问题，请到译文仓库 pgsty/pgdoc 报告译文问题。 英文原文本身的问题，请在当前版本的对应页面向上游反馈；上游不再修订已结束维护的版本。