9.2. 查询语言（SQL）函数

9.2.1. 例子

看看下面这个简单的 SQL 函数的例子， 它将用于对一个银行帐号做扣款（借记消费 debit）动作：

CREATE FUNCTION tp1 (integer, numeric) RETURNS integer AS '
    UPDATE bank 
        SET balance = balance - $2
        WHERE acctountno = $1;
        SELECT 1;'
LANGUAGE 'sql';
     

一个用户可以象下面这样用这个函数给帐户 17 扣款 $100.00：

SELECT tp1( 17,100.0);
     

实际上我们可能喜欢函数有一个比常量 "1" 更有用一些的结果． 所以更有可能的定义是

CREATE FUNCTION tp1 (integer, numeric) RETURNS numeric AS '
    UPDATE bank
        SET balance = balance - $2
        WHERE accountno = $1;
    SELECT balance FROM bank WHERE accountno = $1;
' LANGUAGE SQL;

它修改余额并返回新的余额．

SQL 里面的任何命令集都可以打成一个包， 做成一个函数．这些命令可以包含数据修改(也就是说， INSERT，UPDATE， 和DELETE)以及 SELECT 查询． 不过，最后的命令必须是一条返回函数声明的返回类型的 SELECT． 另外，如果你想定义那些执行动作但是不返回有用的数值的 SQL 函数， 你可以把它定义成返回 void。这时候它不能以 SELECT 为最后一条语句。比如：

CREATE FUNCTION clean_EMP () RETURNS void AS '
    DELETE FROM EMP
        WHERE EMP.salary <= 0;
' LANGUAGE SQL;

SELECT clean_EMP();

 clean_emp
-----------

(1 row)

9.2.2. 基本类型的 SQL 函数

最简单的 SQL 函数可能是不带参数，只是返回一个基本类型如 integer 的函数：

CREATE FUNCTION one() 
    RETURNS integer
    AS 'SELECT 1 as RESULT;' 
    LANGUAGE 'sql';

SELECT one();

 one
-----
   1
  

注意我们给函数定义了目标列（名称为 RESULT）， 但是激活函数的查询语句的目标列覆盖了函数的目标 列．因此，结果的标记是one 而不是RESULT．

定义以基本类型为参数的 SQL 函数几乎一样简单， 注意我们在函数内如何用$1和$2使用参数：

CREATE FUNCTION add_em(integer, integer) 
    RETURNS integer
    AS 'SELECT $1 + $2;' 
    LANGUAGE 'sql';

SELECT add_em(1, 2) AS answer;

+-------+
|answer |
+-------+
|3      |
+-------+
     

9.2.3. 复合类型的SQL函数

当我们声明的函数用复合类型做参数时， 我们不仅要声明我们需要哪个参数（像上面我们使用 $1和$2一样），而且要声明参数的字段．比如， 假设 EMP 是一个包含雇员信息的表，并且因此也是该表每行 的复合类型的名字．这里就是一个函数 double_salary，它计算你薪水翻番之后的数值：

CREATE FUNCTION double_salary(EMP) RETURNS integer AS '
    SELECT $1.salary * 2 AS salary;
'LANGUAGE SQL;

SELECT name, double_salary(EMP) AS dream
    FROM EMP
    WHERE EMP.cubicle ~= point '(2,1)';

 name | dream
------+-------
 Sam  |  2400

请注意这里使用 $1.salary 的语法 选择参数行数值的一个字段．还要注意SELECT命令是如何 使用一个表的名字表示该表的整个当前行作为复合数值．

我们也可以写一个返回复合类型的函数． 下面是一个返回一行 EMP 函数的例子∶

CREATE FUNCTION new_emp() RETURNS EMP AS '
    SELECT text ''None'' AS name,
        1000 AS salary,
        25 AS age,
        point ''(2,2)'' AS cubicle'
    LANGUAGE 'sql';

在这个例子中我们给每个字段都赋予了一个常量， 当然我们可以用任何计算或表达式来代替这些常量． 注意定义这样的函数的两个重要的问题∶

• 目标列表的顺序必须和与该复合类型相关的表中字段的顺序完全一样． (象我们上面那样给字段的命名和系统无关．)

• 你必须对表达式进行类型转换以匹配复合类型的定义． 否则你将看到下面的错误信息：

  ERROR:  function declared to return emp returns varchar instead of text at column 1

返回一行（复合类型）的函数可以用作一个表函数，象下面描述地那样。 我们还可以在 SQL 表达式的环境里调用它，但是只有在你从该行中 抽取一个字段或者把整个行传递给另外一个接受同样复合类型的函数中 才可以。比如，

SELECT (new_emp()).name;

 name
------
 None

我们需要一个额外的圆括弧以防止分析器误解∶

SELECT new_emp().name;
ERROR:  parser: parse error at or near "."

另外一个选择是使用函数表示法进行字段抽取．解释这些问题的简单方法是 我们通常交互使用attribute(table)和 table.attribute 的表示法∶

SELECT name(new_emp());

 name
------
 None

--
-- 下面的与这句话相同∶
--  SELECT EMP.name AS youngster FROM EMP WHERE EMP.age < 30
--
SELECT name(EMP) AS youngster
    FROM EMP
    WHERE age(EMP) < 30;

 youngster
-----------
 Sam

另外一个使用函数返回行结果的方法是声明另外一个函数， 该函数接受一个行类型参数，然后把函数结果传递给这个第二个函数∶

CREATE FUNCTION getname(emp) RETURNS text AS
'SELECT $1.name;'
LANGUAGE SQL;

SELECT getname(new_emp());
 getname
---------
 None
(1 row)

9.2.4. SQL 表函数

一个表函数就是一个可以在查询的 FROM 子句里使用的函数。 所有的 SQL 语言函数都可以用这种方法使用，但是它对于返回复合类型的函数特别 有用。如果该函数定义为返回一个基本类型，那么表函数生成一个单字段表。 如果该函数定义为返回一个复合类型，那么该表函数生成一个复合类型里每个字段 组成的行。

这里是一个例子：

CREATE TABLE foo (fooid int, foosubid int, fooname text);
INSERT INTO foo VALUES(1,1,'Joe');
INSERT INTO foo VALUES(1,2,'Ed');
INSERT INTO foo VALUES(2,1,'Mary');

CREATE FUNCTION getfoo(int) RETURNS foo AS '
    SELECT * FROM foo WHERE fooid = $1;
' LANGUAGE SQL;

SELECT *, upper(fooname) FROM getfoo(1) AS t1;

 fooid | foosubid | fooname | upper
-------+----------+---------+-------
     1 |        1 | Joe     | JOE
(2 rows)

如这个例子显示的那样，我们可以象对待一个普通表的字段一样对待 函数的结果字段。

请注意我们只从该函数中获取了一行。这是因为我们没有说 SETOF。

9.2.5. 返回集合的 SQL 函数

如果一个 SQL 函数声明为返回 SETOF sometype． 这时候，该函数的最后的SELECT查询一直执行到结束，并且它 输出的每行都当做该集合的一个元素返回．

这个特性通常用于把函数当作表函数调用。这个时候函数返回的每一行 都成为查询可见的该表的一行。比如，假设表 foo 有着和 上面一样的内容，而我们说：

CREATE FUNCTION getfoo(int) RETURNS setof foo AS '
    SELECT * FROM foo WHERE fooid = $1;
' LANGUAGE SQL;

SELECT * FROM getfoo(1) AS t1;

 fooid | foosubid | fooname
-------+----------+---------
     1 |        1 | Joe
     1 |        2 | Ed
(2 rows)

目前，返回集合的函数也可以在一个 SELECT 查询的目标列表里 调用。对于该 SELECT 自己生成的每一行，都会调用这个返回集合 的函数，并且相对该函数的结果集中的每个元素都会生成一个输出行。不过， 请注意，这个功能已经废弃了，在将来的版本中可能会被删除。下面就是一个 在目标列表中使用返回集合的函数的例子：

CREATE FUNCTION listchildren(text) RETURNS SETOF text AS
'SELECT name FROM nodes WHERE parent = $1'
LANGUAGE SQL;

SELECT * FROM nodes;
   name    | parent
-----------+--------
 Top       |
 Child1    | Top
 Child2    | Top
 Child3    | Top
 SubChild1 | Child1
 SubChild2 | Child1
(6 rows)

SELECT listchildren('Top');
 listchildren
--------------
 Child1
 Child2
 Child3
(3 rows)

SELECT name, listchildren(name) FROM nodes;
  name  | listchildren
--------+--------------
 Top    | Child1
 Top    | Child2
 Top    | Child3
 Child1 | SubChild1
 Child1 | SubChild2
(5 rows)

在最后的SELECT里，请注意没有出现Child2， Child3等的行． 这是因为listchildren 为这些输入返回一个空集合， 因此不生成任何输出行．