在標準目錄中只定義了一個平方根運算子（前置 |/），它接受 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)

在這種情況下，由於查詢中沒有指定任何類型，因此沒有要使用哪種類型的初始提示。因此，剖析器會尋找所有候選運算子，並發現有候選運算子接受字串類別 (string-category) 和位元字串類別 (bit-string-category) 的輸入。由於在可用時首選字串類別，因此會選擇該類別，然後將字串的首選類型 text 用作解析未知類型文字的特定類型。

PostgreSQL 運算子目錄中包含前置運算子 @ 的多個項目，所有這些項目都為各種數值資料類型實現絕對值運算。其中一個項目是 float8 類型，它是數值類別中的首選類型。因此，當遇到 unknown 輸入時，PostgreSQL 將使用該項目

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)。由於這些多型偽類型 (polymorphic pseudo-types) 中沒有一個被認為是首選，因此剖析器無法在此基礎上解決歧義。但是，步驟 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 運算子。如果達到最佳匹配規則，它們會主動區分網域類型上的運算子。如果沒有，這樣的運算子會產生太多不明確的運算子失敗，因為轉換規則始終將網域視為可轉換為或從其基本類型轉換，因此網域運算子將被認為可在所有與基本類型上類似命名的運算子相同的情況下使用。