PostgreSQL 操作符

在标准目录中只有一个被定义的平方根操作符（前缀|/），它接受一个类型为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类型，它是在数字分类中的首选类型。 因此，PostgreSQL将在遇到一个unknown输入时使用它：

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操作符。如果 到达最佳匹配规则，它们会积极地排斥域类型上的操作符。如果它 们没有，这样一个操作符将创建太多歧义操作符失败，因为转换规 则总是认为一个域可以和它的基类型相互转换，并且因此该域操作 符在所有与该基类型上的一个类似命名的操作符相同的情况中都被 认为可用。