标准目录中只定义了一个平方根操作符（前缀|/），它接受一个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作为解析这些unknown类型文字的具体类型。

PostgreSQL操作符目录中为前缀操作符@提供了多个条目，它们分别实现各种数值数据类型的绝对值操作。其中一个条目对应float8，它是数值分类中的首选类型。因此，当遇到一个unknown输入时，PostgreSQL会使用该条目：

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

这里，系统在应用所选操作符之前，已经把unknown类型文字隐式解析为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）。由于这些多态伪类型（见Section 8.21）都不被视为首选类型，解析器无法据此消除歧义。不过，Step 3.f告诉它可以假定unknown类型文字与另一输入具有相同类型，也就是整数数组。这样两个操作符中只有一个能够匹配，因此会选择数组包含。（如果选中范围包含，就会报错，因为该字符串的格式并不是合法的范围文字。）

用户有时会尝试声明只适用于某个域类型的操作符。这是可行的，但远没有看上去那样有用，因为操作符解析规则被设计成优先选择作用于域基类型的操作符。考虑下面的例子：

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操作符（Step 2.a），但并不存在；然后它会考虑该域的基类型text，并检查是否存在text = text操作符（Step 2.b），而这是存在的；于是它会把unknown类型的文字解析为text，并使用text = text操作符。要让自定义操作符被使用，唯一的方法是显式地对该文字做类型转换：

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

这样就会根据精确匹配规则立即找到mytext = text操作符。如果解析过程进入最佳匹配规则，它们会主动排斥作用于域类型的操作符。如果不是这样，这类操作符会导致过多的操作符歧义失败，因为类型转换规则总是把域视为可以转换到其基类型或从其基类型转换而来，因此域操作符会在所有与基类型上同名操作符相同的场景中都被视为可用。