postgre是想对标Oracle的。所以在定义操作符上也对标了
操作符
看下面这条语句:
/* by yours.tools - online tools website : yours.tools/zh/imagetopng.html */ SELECT 3 OPERATOR(pg_catalog.+) 4 sum; -- 1️⃣这条 SQL 看起来很怪,但它在 PostgreSQL 里是完全合法的,并且会正常返回 7。
实际上,它就是我们熟悉的
/* by yours.tools - online tools website : yours.tools/zh/imagetopng.html */ SELECT 3 + 4; -- 2️⃣1️⃣ 那行代码其实就是在玩 PostgreSQL 的一个“冷门但正式支持”的语法:显式使用 OPERATOR() 语法来调用操作符。
2️⃣这条语句执行时,PostgreSQL 内部会把+解析成一个真正的操作符对象,它的全名是pg_catalog.+(在系统目录 pg_operator 里能查到)。而1️⃣就是把平时隐藏的内部机制直接写出来了,只不过是用最“啰嗦、最底层”的方式调用加法操作符,你可以把 OPERATOR(schema.操作符名) 理解成“强制指定用哪个操作符来操作左右两边”。
实际上,1️⃣还能写得更短:
SELECT 3 OPERATOR(+) 4; -- 可以省略 schema,默认 pg_catalog自定义操作符
PostgreSQL 目前具有主流数据库里最强的自定义操作符:
完全自定义新操作符
重载已有操作符(如重定义 +)
操作符可绑定索引(B-Tree, GiST, GIN…)
操作符可以有 commutator / negator
操作符直接影响优化器、索引选择
在这一方面,连Oracle也难以匹敌。
1. 语法
CREATE OPERATOR operator_name ( { LEFTARG = left_type -- 左操作数类型(单目操作符可省略) | RIGHTARG = right_type -- 右操作数类型(单目操作符可省略) | BOTHARG = both_type } -- 左右类型相同时代替上面两个 [, PROCEDURE = function_name ] -- 必须:真正执行的函数 [, COMMUTATOR = com_op ] -- 可选:交换律操作符(如 + 和 + 本身) [, NEGATOR = neg_op ] -- 可选:取反操作符(如 = 的取反是 <>) [, RESTRICT = res_proc ] -- 可选:用于优化器选择性估计 [, JOIN = join_proc ] -- 可选:用于优化器连接估计 [, HASHES ] -- 可选:支持 HASH JOIN 和 hash 聚合 [, MERGES ] -- 可选:支持 MERGE JOIN );2. 最简单的例子:创建 !!(双感叹号)前缀操作符,表示“转成大写”
-- 第1步:先创建一个底层函数 CREATE OR REPLACE FUNCTION immutable_upper(text) RETURNS text AS $$ SELECT upper($1); $$ LANGUAGE sql IMMUTABLE STRICT; -- 第2步:创建前缀操作符(右操作数,没有左操作数) CREATE OPERATOR !! ( RIGHTARG = text, -- 只有右操作数,在右边 → 前缀操作符 PROCEDURE = immutable_upper -- 调用上面那个函数 ); -- 第3步:试用 SELECT !! 'hello'; -- 返回 HELLO SELECT !! column_name FROM users;不知道你有没有疑惑:这不还是用PG定义的函数吗?不还是PG本来就支持的东西吗?
没错。操作符只是一种“糖”,让你更方便、简洁的使用本来就有的能力。
3. 中级例子:创建自定义的 === 操作符,表示“可空相等”(带索引支持)
先创建函数
CREATE OR REPLACE FUNCTION geometry_strict_equal(anyelement, anyelement) RETURNS boolean AS $$ SELECT $1 IS NOT DISTINCT FROM $2; $$ LANGUAGE sql IMMUTABLE;IS NOT DISTINCT FROM是什么?这是 PostgreSQL 特有的“空值安全的相等比较”
- 当 a = b → true
- 当 a 和 b 都是 NULL → true (普通的=,NULL = NULL → null (不为 true))
- 其他情况 → false
- 普通的=,NULL = NULL时 → null (不为 true)。
mysql中这个操作叫<=>“太空船运算符”,但是PG已经存在这个操作符了,主要在pg_trgm扩展中计算相似度,所以这里我们定义成===。
IMMUTABLE 表示同样输入,永远返回同样的输出;可以用于索引;可以内联与优化。
anyelement 表示任意类型的参数,但是两个参数类型要一样。
接下来创建操作符
CREATE OPERATOR === ( LEFTARG = anyelement, RIGHTARG = anyelement, PROCEDURE = geometry_strict_equal, COMMUTATOR = ===, -- 自己和自己交换律 NEGATOR = !==, -- 稍后会创建它的取反 HASHES, -- 支持 hash join / hash agg MERGES -- 支持 merge join ); -- 创建取反操作符 !== CREATE OPERATOR !== ( LEFTARG = anyelement, RIGHTARG = anyelement, PROCEDURE = geometry_strict_equal, NEGATOR = === -- 互相指向对方 );看一下例子:
比较的两个对象必须是同类型的,不然会报错,所以要明确指出null是什么类型。
如果是用在表查询语句中,因为表结构和字段类型是确定的,所以不用指出来。
4. 查询操作符
SELECT n.nspname AS schema, o.oprname AS operator, -- 操作符名称 format_type(o.oprleft, NULL) AS left_type, format_type(o.oprright, NULL) AS right_type, p.proname AS function_name -- 函数名称 FROM pg_operator o JOIN pg_namespace n ON n.oid = o.oprnamespace JOIN pg_proc p ON p.oid = o.oprcode WHERE n.nspname NOT IN ('pg_catalog') and o.oprname = '!!'; -- 可以去掉过滤看看5. 删除操作符
DROP OPERATOR IF EXISTS !! (NONE, text); -- 先删除操作符,必须传左右两个参数,没有的写NONE DROP FUNCTION public.immutable_upper(text); -- 函数如果还要用可以不删小练习
给ilike写一个操作符。我定义好函数了:
CREATE OR REPLACE FUNCTION chinese_ilike(text, text) RETURNS boolean AS $$ SELECT $1 ILIKE $2; $$ LANGUAGE sql IMMUTABLE STRICT;