Example 10-1. 指数操作符类型解析

只有一个在标准目录里被指定阶乘的操作符，它接受一个参数类型bigint。 扫描器为在查询表达式中的参数指定一个初始类型integer：

SELECT 40 ! AS "40 factorial";

                   40 factorial
--------------------------------------------------
 815915283247897734345611269596115894272000000000
(1 row)

因此，解析器在操作数上做了一个类型转换，该查询相当于：

SELECT CAST(40 AS bigint) ! AS "40 factorial";

Example 10-2. 字符串连接操作符类型解析

一个类字符串性的语法用来处理字符串类型和处理复杂的扩展类型。 为指定类型的字符串与候选操作符进行匹配。

一个未指定参数的例子：

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作为解决未知文字的指定类型。

Example 10-3. 绝对值与否定操作符类型解析

PostgreSQL操作符目录中有几个对于前缀操作符@的条目， 这些都现实了针对各种数字数据类型的绝对值操作符。 其中有一条为float8类型，它是在数字类型中首选的类型。 因此，PostgreSQL将在遇到一个未知类型的输入时使用它：

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

在这里，系统在接受选取操作符之前已经隐含地解决了将未知类型文字作为float8类型。 我们可以确认我们使用的是float8而不是别的类型：

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

ERROR:  "-4.5e500" 超出了双精度类型范围

另一方面，前缀符~只在整数数据类型的时候被指定，并不是为float8。 因此，如果我们尝试一个使用~的类似操作，我们可以这样：

SELECT ~ '20' AS "negation";

ERROR:  操作符不唯一: ~ "未知"
HINT: 不能选择一个最佳的候选操作符。你或许需要添加显式类型。

此情况的发生是由于系统不能决定在几个可能的~符号中哪个是指定的。 我们可以帮助它做出一个明确的选择：

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

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