CREATE FUNCTION

Name

CREATE FUNCTION -- 定义一个新函数

Synopsis

CREATE [ OR REPLACE ] FUNCTION
    name ( [ [ argmode ] [ argname ] argtype [, ...] ] )
    [ RETURNS rettype ]
  { LANGUAGE langname
    | IMMUTABLE | STABLE | VOLATILE
    | CALLED ON NULL INPUT | RETURNS NULL ON NULL INPUT | STRICT
    | [ EXTERNAL ] SECURITY INVOKER | [ EXTERNAL ] SECURITY DEFINER
    | AS 'definition'
    | AS 'obj_file', 'link_symbol'
  } ...
    [ WITH ( attribute [, ...] ) ]

描述

CREATE FUNCTION 定义一个新的函数。 CREATE OR REPLACE FUNCTION 将要么创建一个新函数, 要么替换现有的定义。

如果包含了一个模式名,那么函数就在指定的模式中创建。否则它会在当前模式中创建。 新函数的名字不能和同一个模式中的任何带有同样参数类型的函数同名。 不过,参数类型不同的函数可以同名(这叫做重载)。

要更新一个现有函数的定义,使用 CREATE OR REPLACE FUNCTION。 我们不能用这个方法修改一个函数的名字或者参数类型(如果你这么干,那么你就会创建一个新的,不同的函数)。 同样,CREATE OR REPLACE FUNCTION 也不会允许你修改一个现有函数的返回类型。 要做这些事情,你必须删除并重新创建函数。 (如果使用 OUT 参数,那就意味着除了删除函数,你不能修改任何 OUT 参数的类型或者名字。)

如果你删除然后重建一个函数,新函数和旧的将是不同的实体;你就需要删除现有引用了老函数的规则,视图,触发器等等。 使用 CREATE OR REPLACE FUNCTION 可以在不破坏引用该函数的对象的前提下修改函数定义。

创建这个函数的用户成为函数的所有者。

参数

name

要创建的函数名字(可以用模式修饰)。

argmode

参数的模式:是 INOUT、或者 INOUT。 如果省略,缺省是 IN

argname

一个参数的名字。有些语言(目前只有 PL/pgSQL)允许你在函数体里使用参数名字。 对于其它语言,这个参数名字只是额外的文档。 但是输出参数的名字是非常重要的,因为它定义了结果行类型的字段名。 (如果你省略了一个输出参数的参数名,那么系统会选取缺省的字段名。)

argtype

该函数的数据类型(可以有模式修饰)。 如果有的话,参数类型可以是基本类型,也可以是复合类型,域类型,或者可以引用一个现有字段相同的类型。

根据实现语言的不同,我们还可以在这上面声明 "伪类型", 比如 cstring。伪类型表示实际的参数类型要么是没有完整地声明,要么是在普通的 SQL 数据类型之外。

一个字段的类型是用 tablename.columnname%TYPE 表示的;使用这个东西可以帮助函数独立于表定义的修改。

rettype

返回数据类型。输出类型可以声明为一个基本类型,复合类型,域类型, 或者引用一个表的现有字段。 根据实现语言的不同,我们还可以在这上面声明 "伪类型", 比如 cstring

如果存在 OUT 或者 INOUT 参数,则可以省略 RETURNS 子句。 如果出现了,那么它必须和输出参数隐含的结果类型兼容:如果有多个输出参数,必须是 RECORD, 如果只有一个输出参数,则与其相同。

SETOF 修饰词表示该函数将返回一套条目, 而不是一条条目。

一个字段的类型是通过写 tablename.columnname%TYPE 来引用的。

langname

用以实现函数的语言的名字。 可以是 SQLCinternal,或者是用户定义的过程语言名字。 为了保持向下兼容,该名字可以用单引号包围。

IMMUTABLE
STABLE
VOLATILE

这些属性告诉系统把对该函数的多次调用替换成一次是否安全。 主要用于运行时优化。 至少应该声明一个选择。如果任何一个都没有出现,那么 VOLATILE 是缺省假设。

IMMUTABLE 表示该函数在给出同样的参数值时总是返回相同的结果; 也就是说,它不做数据库查找或者是使用那些并没有直接出现在其参数列表里面的信息。 如果给出这个选项,那么任何带着全部是常量参数对该函数的调用都将立即替换为该函数的值。

STABLE 表示在一次表扫描里,对相同参数值, 该函数将稳定返回相同的值,但是它的结果可能在不同 SQL 语句之间变化。 这个选项对那些结果倚赖数据库查找,参数变量(比如当前时区),等等的函数是很合适的。 还要注意 current_timestamp 族函数是 stable (稳定)的,因为它们的值在一次事务中不会变化。

VOLATILE 表示该函数值甚至可以在一次表扫描内改变, 因此不会做任何优化。很少数据库函数在这个概念上是易变的; 一些例子是 random()currval()timeofday()。请注意任何有副作用的函数都必需列为易变类, 即使其结果相当有规律也应该这样,这样才能避免它被优化;一个例子就是 setval()

更多细节,请参阅 Section 32.6

CALLED ON NULL INPUT
RETURNS NULL ON NULL INPUT
STRICT

CALLED ON NULL INPUT (缺省)表明该函数在自己的某些参数是空值的时候还是可以按照正常的方式调用。 剩下的事情是函数的作者必须负责检查空值以及相应地做出反应。

RETURNS NULL ON NULL INPUTSTRICT 表明如果它的任何参数是 NULL,此函数总是返回 NULL。 如果声明了这个参数,则如果存在 NULL 参数时不会执行该函数; 而只是自动假设一个 NULL 结果。

[EXTERNAL] SECURITY INVOKER
[EXTERNAL] SECURITY DEFINER

SECURITY INVOKER 表明该函数将带着调用它的用户的权限执行。 这是缺省。SECURITY DEFINER 声明该函数将以创建它的用户的权限执行。

关键字 EXTERNAL 的目的是和 SQL 兼容, 但是我们和 SQL 不同的是,这个特性不仅仅适用于外部的函数, 所以它是可选的。

definition

一个定义函数的字串常量;含义取决于语言。它可以是一个内部函数名字, 一个指向某个目标文件的路径,一个 SQL 查询,或者一个用过程语言写的文本。

obj_file, link_symbol

这个形式的 AS 子句用于在函数的 C 源文件里的函数名字和 SQL 函数的名字不同的时候可动态装载 C 语言函数。 字串 obj_file 是包含可动态装载的对象的文件名,而 link_symbol 是函数的链接符号,也就是该函数在 C 源文件里的名字。 如果省略了链接符号,那么就假设它和被定义的 SQL 函数同名。

attribute

历史遗留的函数可选信息。下面的属性可以在此出现:

isStrict

等效于 STRICT 或者 RETURNS NULL ON NULL INPUT

isCachable

isCachableIMMUTABLE 的过时的等效物;不过出于向下兼容,我们仍然接受它。

属性名是大小写无关的。

注意

请参阅 Section 32.3 获取更多关于书写函数的信息。

我们允许你将完整的 SQL 类型语法用于输入参数和返回值。 不过,有些类型声明的细节(比如,numeric 类型的精度域)是由下层函数实现负责的, 并且会被 CREATE FUNCTION 命令悄悄地吞掉。 (也就是说,不再被识别或强制)。

PostgreSQL 允许函数重载; 也就是说,同一个函数名可以用于几个不同的函数, 只要它们的参数可以区分它们。不过,所有函数的 C 名字必须不同, 也就是说你必须给予重载的 C 函数不同的 C 名字(比如,使用参数类型作为 C 名字的一部分)。

如果两个函数有同样的名字,并且输入参数类型相同, 那么就认为这两格函数是一样的,忽略所有 OUT 参数。 因此,下面的声明是冲突的:

CREATE FUNCTION foo(int) ...
CREATE FUNCTION foo(int, out text) ...

如果重复调用 CREATE FUNCTION,并且都指向同一个目标文件, 那么该文件只装载一次。要卸载和恢复装载该文件(可能是在开发过程中),你可以使用 LOAD 命令。

使用 DROP FUNCTION 删除一个用户定义函数。

通常来说,使用美元符包围(参阅 Section 4.1.2.2)来书写函数定义字串, 而不是使用普通的单引号包围语法会方便很多。如果不使用美元符包围, 那么函数体里面的任何单引号或反斜杠都必须用书写双份的方法逃逸。

要能定义函数,用户必须对该语言有 USAGE 权限。

例子

这里是一些简单的例子,用于帮助你开始掌握这个命令。 更多信息和例子,参阅 Section 32.3

CREATE FUNCTION add(integer, integer) RETURNS integer
    AS 'select $1 + $2;'
    LANGUAGE SQL
    IMMUTABLE
    RETURNS NULL ON NULL INPUT;

PL/pgSQL 自增一个整数,利用参数名:

CREATE OR REPLACE FUNCTION increment(i integer) RETURNS integer AS $$
      BEGIN
              RETURN i + 1;
      END;
$$ LANGUAGE plpgsql;

返回一个包含多个输出参数的记录:

CREATE FUNCTION dup(in int, out f1 int, out f2 text)
    AS $$ SELECT $1, CAST($1 AS text) || ' is text' $$
    LANGUAGE SQL;

SELECT * FROM dup(42);

你可以通过命名明确的复合类型的访法冗长地干同样的事情:

CREATE TYPE dup_result AS (f1 int, f2 text);

CREATE FUNCTION dup(int) RETURNS dup_result
    AS $$ SELECT $1, CAST($1 AS text) || ' is text' $$
    LANGUAGE SQL;

SELECT * FROM dup(42);

兼容性

在 SQL:1999 里定义了一个CREATE FUNCTION PostgreSQL 的和它类似但是不兼容。 这个属性是不可移植的,可以使用的不同语言也是如此。

为了和一些其他的数据库系统兼容,argmode 可以在 argname 之前或者之后写,但是只有第一种访法是标准兼容的。

又见

ALTER FUNCTION, DROP FUNCTION, GRANT, LOAD, REVOKE, createlang