在标准目录中仅定义了一个平方根运算符（前缀 |/），它接受 double precision 类型的参数。扫描器在此查询表达式中为参数分配 integer 的初始类型

SELECT |/ 40 AS "square root of 40";
 square root of 40
-------------------
 6.324555320336759
(1 row)

因此，解析器对操作数执行类型转换，并且查询等效于

SELECT |/ CAST(40 AS double precision) AS "square root of 40";

类似字符串的语法用于处理字符串类型和复杂的扩展类型。未指定类型的字符串与可能的运算符候选对象匹配。

一个带有一个未指定参数的示例

SELECT text 'abc' || 'def' AS "text and unknown";

 text and unknown
------------------
 abcdef
(1 row)

在这种情况下，解析器会查找是否存在一个接受两个 text 类型参数的运算符。由于存在该运算符，它假设第二个参数应解释为 text 类型。

这是两个未指定类型的值的连接

SELECT 'abc' || 'def' AS "unspecified";

 unspecified
-------------
 abcdef
(1 row)

在这种情况下，没有关于使用哪种类型的初始提示，因为查询中未指定任何类型。因此，解析器会查找所有候选运算符，并发现存在同时接受字符串类别和位字符串类别输入的候选运算符。由于在可用时首选字符串类别，因此选择该类别，然后将字符串的首选类型 text 用作解析未知类型字面值的具体类型。

PostgreSQL 运算符目录中有多个前缀运算符 @ 的条目，所有这些条目都实现了各种数值数据类型的绝对值运算。其中一个条目是针对 float8 类型的，它是数值类别中的首选类型。因此，当遇到 unknown 输入时，PostgreSQL 将使用该条目

SELECT @ '-4.5' AS "abs";
 abs
-----
 4.5
(1 row)

在这里，系统在应用所选运算符之前，已隐式地将未知类型字面值解析为 float8 类型。我们可以验证使用的是 float8 而不是其他类型

SELECT @ '-4.5e500' AS "abs";

ERROR:  "-4.5e500" is out of range for type double precision

另一方面，前缀运算符 ~（按位取反）仅针对整数数据类型定义，而不针对 float8 类型定义。因此，如果我们尝试使用 ~ 的类似情况，则会得到

SELECT ~ '20' AS "negation";

ERROR:  operator is not unique: ~ "unknown"
HINT:  Could not choose a best candidate operator. You might need to add
explicit type casts.

发生这种情况是因为系统无法决定应该首选多个可能的 ~ 运算符中的哪一个。我们可以使用显式转换来帮助它

SELECT ~ CAST('20' AS int8) AS "negation";

 negation
----------
      -21
(1 row)

这是另一个解析具有一个已知输入和一个未知输入的运算符的示例

SELECT array[1,2] <@ '{1,2,3}' as "is subset";

 is subset
-----------
 t
(1 row)

PostgreSQL 运算符目录中有多个中缀运算符 <@ 的条目，但是唯一两个可能接受左侧为整数数组的运算符是数组包含（anyarray <@ anyarray）和范围包含（anyelement <@ anyrange）。由于这些多态伪类型（请参阅第 8.21 节）均不被认为是首选类型，因此解析器无法在此基础上解决歧义。但是，步骤 3.f 告诉它假设未知类型的字面值与另一个输入的类型相同，即整数数组。现在，只有两个运算符中的一个可以匹配，因此选择了数组包含。（如果选择了范围包含，则我们会收到错误，因为字符串没有正确的格式来表示范围字面值。）

用户有时会尝试声明仅适用于域类型的运算符。这是可能的，但并没有它看起来那么有用，因为运算符解析规则旨在选择适用于域的基类型的运算符。例如，请考虑

CREATE DOMAIN mytext AS text CHECK(...);
CREATE FUNCTION mytext_eq_text (mytext, text) RETURNS boolean AS ...;
CREATE OPERATOR = (procedure=mytext_eq_text, leftarg=mytext, rightarg=text);
CREATE TABLE mytable (val mytext);

SELECT * FROM mytable WHERE val = 'foo';

此查询将不会使用自定义操作符。解析器将首先查看是否存在一个 mytext = mytext 操作符（步骤 2.a），但不存在；然后它将考虑域的基本类型 text，并查看是否存在一个 text = text 操作符（步骤 2.b），而存在；因此它将 unknown 类型的字面量解析为 text，并使用 text = text 操作符。要使自定义操作符被使用，唯一的方法是显式地强制转换该字面量

SELECT * FROM mytable WHERE val = text 'foo';

这样，根据精确匹配规则，就可以立即找到 mytext = text 操作符。如果达到最佳匹配规则，它们会主动排斥域类型上的操作符。如果它们不这样做，这样的操作符会产生太多歧义操作符失败，因为强制转换规则始终认为一个域可以强制转换为或从其基本类型强制转换，因此域操作符将被认为可以在与基本类型上类似名称的操作符相同的所有情况下使用。