更新时间:2023-10-23 GMT+08:00

CREATE OPERATOR

功能描述

定义一个新操作符。

注意事项

CREATE OPERATOR定义一个新的 name操作符。 定义该操作符的用户将成为其所有者。如果给出了一个模式名, 那么该操作符将在指定的模式中创建。否则它会在当前模式中创建。

操作符 name 是一个由下列字符组成的字符串:

+ - * / < > = ~ ! @ # % ^ & | ` ?

选择名字的时候有几个限制:

  • --和/*不能在操作符名的任何地方出现, 因为它们会被认为是一个注释的开始。
  • 一个多字符的操作符不能以+或-结尾, 除非该名字还包含至少下面字符之一:

    ~ ! @ # % ^ & | ` ?

  • => 作为一个操作符名的使用已经废弃了。

操作符!=在输入时映射成<>, 因此这两个名称总是等价的。

至少需要定义一个LEFTARG和RIGHTARG。对于双目操作符来说, 两者都需要定义。对右目操作符来说,只需要定义LEFTARG, 而对于左目操作符来说,只需要定义RIGHTARG。

同样,function_name 过程必须已经用CREATE FUNCTION定义过, 而且必须定义为接受正确数量的指定类型参数(一个或是两个)。

其它子句声明可选的操作符优化子句。他们的含义在第 35.13 节里定义。

要想能够创建一个操作符,你必须在参数类型和返回类型上有USAGE权限, 还要在底层函数上有EXECUTE权限。如果指定了交换或者负操作符, 你必须拥有这些操作符。

语法格式

CREATE OPERATOR name (
    PROCEDURE = function_name
    [, LEFTARG = left_type ] [, RIGHTARG = right_type ]
    [, COMMUTATOR = com_op ] [, NEGATOR = neg_op ]
    [, RESTRICT = res_proc ] [, JOIN = join_proc ]
    [, HASHES ] [, MERGES ]
)

参数说明

  • name

    要定义的操作符。可用的字符见上文。其名字可以用模式修饰, 比如CREATE OPERATOR myschema.+ (...)。如果没有模式, 则在当前模式中创建操作符。同一个模式中的两个操作符可以有一样的名字, 只要他们操作不同的数据类型。这是一个重载过程。

  • function_name

    用于实现该操作符的函数。

  • left_type

    操作符左边的参数数据类型,如果存在的话。如果是左目操作符,这个参数可以省略。

  • right_type

    操作符右边的参数数据类型,如果存在的话。如果是右目操作符,这个参数可以省略。

  • com_op

    该操作符对应的交换操作符。

  • neg_op

    该操作符对应的负操作符。

  • res_proc

    此操作符约束选择性评估函数。

  • join_proc

    此操作符连接选择性评估函数。

  • HASHES

    表明此操作符支持 Hash 连接。

  • MERGES

    表明此操作符可以支持一个融合连接。

    使用OPERATOR()语法在com_op 或者其它可选参数里给出一个模式修饰的操作符名,比如:
    COMMUTATOR = OPERATOR(myschema.===) ,

示例

下面命令定义一个新操作符:面积相等,用于box数据类型。

CREATE OPERATOR === (
    LEFTARG = box,
    RIGHTARG = box,
    PROCEDURE = area_equal_procedure,
    COMMUTATOR = ===,
    NEGATOR = !==,
    RESTRICT = area_restriction_procedure,
    JOIN = area_join_procedure,
    HASHES, MERGES
);