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 可以在不破坏引用该函数的对象的前提下修改函数定义。
创建这个函数的用户将成为函数的所有者。
要创建的函数名字(可以用模式修饰)
参数的模式：IN(缺省), OUT, INOUT
一个参数的名字。有些语言(目前只有 PL/pgSQL)允许你在函数体里使用参数名字。对于其它语言，这个参数名字只是额外的文档。但是输出参数的名字是非常重要的，因为它定义了结果行类型的字段名。如果你省略了输出参数的名字，那么系统会自动选择一个缺省名字。
该函数的数据类型(可以有模式修饰)，如果有的话。可以是基本类型，也可以是复合类型、域类型、或者可以引用一个现有字段相同的类型。
根据实现语言的不同，还可以在这上面声明"伪类型"(比如 cstring)。伪类型表示实际的参数类型要么是没有完整地声明，要么是在普通的 SQL 数据类型之外。
一个字段的类型是用 tablename.columnname%TYPE 表示的；使用这个特性有时候可以帮助创建一个不受表定义变化影响的函数。
返回值的数据类型。可以声明为一个基本类型、复合类型、域类型、或者引用一个表的现有字段。根据实现语言的不同，还可以在这上面声明"伪类型"(比如 cstring)。如果不打算返回任何值可以指定 void 作为返回类型。
如果存在 OUT 或 INOUT 参数，那么可以省略 RETURNS 子句。如果出现了，那么它必须隐含的和输出参数结果类型兼容：如果有多个输出参数，则必须是 RECORD ，如果只有一个输出参数，则与其相同。
SETOF 修饰词表示该函数将返回一个集合，而不是单独一项。
一个字段的类型是通过 tablename.columnname%TYPE 引用的。
用以实现函数的语言的名字。可以是 SQL, C, internal ，或者是用户定义的过程语言名字。为了保持向下兼容，该名字可以用单引号包围。
这些属性告诉系统把对该函数的多次调用替换成一次是否安全，主要用于运行时优化。缺省是 VOLATILE 。
IMMUTABLE 表示该函数不能修改数据库，并且在给出同样的参数值时总是返回同样的结果；也就是说，它不查询数据库或者只使用那些没有出现在参数列表里的信息。如果给出这个选项，那么任何全部使用常数对该函数的调用都将立即替换为该函数的值。
STABLE 表示该函数不能修改数据库，对相同参数值，在同一次表扫描里，该函数的返回值不变，但是返回值可能在不同 SQL 语句之间变化。这个选项对那些结果依赖数据库查找、参数变量(比如当前时区)之类的函数很合适。还要注意 current_timestamp 函数族是稳定的，因为它们的值在一次事务中不会变化。
VOLATILE 表示该函数值甚至可以在一次表扫描内改变，因此不会做任何优化。只有很少的数据库函数在这个概念上是易变的；一些例子是 random(), currval(), timeofday() 。请注意任何有副作用的函数都必需列为易变类，即使其结果相当有规律也应该这样，这样才能避免它被优化；一个例子就是 setval() 。
更多细节，请参阅节33.6。
CALLED ON NULL INPUT(缺省)表明该函数在自己的某些参数是 NULL 的时候还是可以按照正常的方式调用。函数的作者必须负责检查 NULL 以及相应地做出反应。
RETURNS NULL ON NULL INPUT 或 STRICT 表明如果它的任何参数是 NULL ，此函数总是返回 NULL 。如果声明了这个参数，则如果存在 NULL 参数时不会执行该函数；而只是自动假设一个 NULL 结果。
SECURITY INVOKER(缺省)表明该函数将带着调用它的用户的权限执行。SECURITY DEFINER 声明该函数将以创建它的用户的权限执行。
关键字 EXTERNAL 的目的是和 SQL 兼容，但是它是可选的，因为这个特性适合于所有函数，而不仅仅外部函数。
一个定义函数的字符串常量，含义取决于语言。它可以是一个内部函数名字、一个指向某个目标文件的路径、一个 SQL 查询、一个过程语言文本。
这个形式的 AS 子句用于在函数的 C 源文件里的名字和 SQL 名字不同时可动态加载 C 语言函数。字符串 obj_file 是包含可动态加载对象的文件名，而 link_symbol 是函数的链接符号，也就是该函数在 C 源文件里的名字。如果省略了链接符号，那么就假设它和被定义的 SQL 函数同名。
历史遗留的函数可选信息。下面的属性可以在此出现：
等效于 STRICT 或 RETURNS NULL ON NULL INPUT
isCachable 是 IMMUTABLE 的过时的等效物；不过出于向下兼容，仍然接受它。
属性名是大小写无关的。
请参阅节33.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 删除一个用户定义函数。
通常，使用美元符界定(参阅 节4.1.2.2)书写函数定义字符串，而不是使用普通的单引号包围语法会更方便。如果不使用美元符界定，那么函数体里面的任何单引号或反斜杠都必须用双写的方法逃逸。
要能定义函数，用户必须对该语言有 USAGE 权限。
这里是一些简单的例子，用于帮助你开始掌握这个命令。更多信息和例子，参阅节33.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);