PostgreSQL 操作符

在標(biāo)準(zhǔn)目錄中只有一個(gè)被定義的平方根操作符（前綴|/），它接受一個(gè)類型為double precision的參數(shù)。在下面這個(gè)查詢表達(dá)式中，掃描器會(huì)為該參數(shù)分配一個(gè)初始類型integer：

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

因此，解析器在操作數(shù)上做了一個(gè)類型轉(zhuǎn)換，該查詢等價(jià)于：

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

一個(gè)類字符串的語(yǔ)法被用來(lái)處理字符串類型和處理復(fù)雜的擴(kuò)展類型。未指定類型的字符串與可能的候選操作符匹配。

一個(gè)未指定參數(shù)的例子：

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

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

在這種情況下，解析器查看是否有一個(gè)操作符的兩個(gè)參數(shù)都使用text。既然有，那么它假設(shè)第二個(gè)參數(shù)應(yīng)被解釋為text類型。

下面是兩個(gè)未指定類型的值的連接：

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

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

在這種情況下，沒(méi)有對(duì)于使用哪種類型的初始提示，因?yàn)樵诓樵冎袥](méi)有指定類型。 因此，解析器查找所有的候選操作符并找到候選者同時(shí)接受字符串分類和位串分類的輸入。 因?yàn)樽址诸愒诳捎脮r(shí)是首選的，該分類會(huì)被選中，并且接下來(lái)字符串的首選類型（text）會(huì)被用作解決未知類型文字的指定類型。

PostgreSQL操作符目錄中有幾個(gè)對(duì)于前綴操作符@的條目， 這些都現(xiàn)實(shí)了針對(duì)各種數(shù)字?jǐn)?shù)據(jù)類型的絕對(duì)值操作。其中之一用于float8類型，它是在數(shù)字分類中的首選類型。 因此，PostgreSQL將在遇到一個(gè)unknown輸入時(shí)使用它：

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

在這里，系統(tǒng)在應(yīng)用所選操作符之前已經(jīng)隱式地解決了將未知類型文字作為float8類型。 我們可以驗(yàn)證我們使用的是float8而不是別的類型：

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

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

另一方面，前綴符~（按位取反）只為整數(shù)數(shù)據(jù)類型定義，而沒(méi)有為float8定義。因此，如果我們嘗試一個(gè)與使用~類似的情況，我們會(huì)得到：

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.

這是因?yàn)橄到y(tǒng)不能決定在幾個(gè)可能的~符號(hào)中應(yīng)該選擇哪一個(gè)。我們可以用一個(gè)顯式造型來(lái)幫助它：

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

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

這里是另一個(gè)決定帶有一個(gè)已知和一個(gè)未知輸入的操作符的例子：

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

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

PostgreSQL操作符目錄有一些條目用于中綴操作符<@，但是僅有的兩個(gè)可以在左手邊接受一個(gè)整數(shù)數(shù)組的是數(shù)組包含（anyarray <@ anyarray）和范圍包含（anyelement <@ anyrange）。因?yàn)檫@些多態(tài)偽類型（見(jiàn)第 8.21 節(jié)）中沒(méi)有一個(gè)被認(rèn)為是首選的，解析器不能以此為基礎(chǔ)來(lái)解決歧義。不過(guò)，本文中操作符類型決定中第3點(diǎn)中的 f 告訴它假定位置類型的文字和其他輸入的類型相同，即整數(shù)數(shù)組。現(xiàn)在這兩個(gè)操作符中只有一個(gè)可以匹配，因此數(shù)組包含被選擇（如果選擇范圍包含，我們將得到一個(gè)錯(cuò)誤，因?yàn)樵撟址疀](méi)有成為一個(gè)范圍文字的正確格式）。

用戶有時(shí)會(huì)嘗試聲明只適用于一種域類型的操作符。這是可能的， 但是遠(yuǎn)非它看起來(lái)那么有用，因?yàn)椴僮鞣馕鲆?guī)則被設(shè)計(jì)為選擇 適用于域的基類型的操作符?？紤]這個(gè)例子：

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';

這個(gè)查詢將不會(huì)使用自定義操作符。解析器將首先看看是否有一個(gè) mytext = mytext操作符（ 本文中操作符類型決定中第 2點(diǎn)中 a），當(dāng)然這里沒(méi)有； 然后它將會(huì)考慮該域的基類型text，并且看看是否有一 個(gè)text = text操作符（ 本文中操作符類型決定中第2點(diǎn)中.b），這里也沒(méi)有；因 此它會(huì)把unknown-類型文字解析為text 并使用 text = text操作符。 讓自定義操作符能被使用的唯一方法是顯式地轉(zhuǎn)換改文字：

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

這樣根據(jù)準(zhǔn)確匹配規(guī)則會(huì)立即找到 mytext = text操作符。如果 到達(dá)最佳匹配規(guī)則，它們會(huì)積極地排斥域類型上的操作符。如果它 們沒(méi)有，這樣一個(gè)操作符將創(chuàng)建太多歧義操作符失敗，因?yàn)檗D(zhuǎn)換規(guī) 則總是認(rèn)為一個(gè)域可以和它的基類型相互轉(zhuǎn)換，并且因此該域操作 符在所有與該基類型上的一個(gè)類似命名的操作符相同的情況中都被 認(rèn)為可用。