目录中只定义了一个取幂 运算符，它接受 double precision 类型的参数。 扫描器给这个查询表达式的两个 参数都赋予了初始类型 integer：

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 类别也接受 bit-string 类别的输入。由于 string 类别可用时会被优先选择， 就选择了该类别，然后把字符串的 “首选类型” text 用作解析未知 字面量的具体类型。

PostgreSQL 运算符目录中前缀运算符 @ 有若干条目，它们为各种数值数据类型实现 绝对值操作。其中一个 条目面向 float8 类型，它是数值类别中的首选 类型。因此，PostgreSQL 遇到非数值输入时会使用那个条目：

tgl=> select @ text '-4.5' as "abs";
 abs
-----
 4.5
(1 row)

这里系统在应用选中的运算符之前做了一次隐式的 text 到 float8 转换。我们可以验证用的是 float8 而 不是别的类型：

tgl=> select @ text '-4.5e500' as "abs";
ERROR:  Input '-4.5e500' is out of range for float8

另一方面，后缀运算符 !（阶乘） 只为整数数据类型定义，不为 float8 定义。因此，如果我们 用 ! 尝试类似的情形，会得到：

tgl=> select text '20' ! as "factorial";
ERROR:  Unable to identify a postfix operator '!' for type 'text'
        You may need to add parentheses or an explicit cast

这是因为系统无法决定几个可能的 ! 运算符中应该首选哪个。我们可以用 显式转换来帮它解决：

tgl=> select cast(text '20' as int8) ! as "factorial";
      factorial
---------------------
 2432902008176640000
(1 row)