37.7. 控制结构

37.7.1.1. RETURN

RETURN expression;

带表达式的 RETURN 用于终止函数并把 expression的值返回给调用者。这种形式用于不返回集合的 PL/pgSQL 函数。

如果返回标量类型，那么可以使用任何表达式。表达式的类型将被自动转换成函数的返回类型，就像在赋值中描述的那样。要返回一个复合(行)数值，你必须写一个记录或者行变量的 expression 。

如果你声明函数带输出参数，那么就只需要写无表达式的 RETURN 。那么输出参数变量的当前值将被返回。

如果你声明函数返回 void ，那么一个 RETURN 语句可以用于提前退出函数；但是不要在 RETURN 后面写一个表达式。

一个函数的返回值不能是未定义。如果控制到达了函数最顶层的块而没有碰到一个 RETURN 语句，那么它就会发生一个错误。不过，这个限制不适用于带输出参数的函数以及那些返回 void 的函数。在这些例子里，如果顶层的块结束，则自动执行一个 RETURN 语句。

37.7.1.2. RETURN NEXT

RETURN NEXT expression;

如果一个 PL/pgSQL 函数声明为返回 SETOF sometype ，那么遵循的过程则略有不同。在这种情况下，要返回的独立项是在 RETURN NEXT 命令里声明的，然后最后有一个不带参数的 RETURN 命令用于告诉这个函数已经完成执行了。RETURN NEXT 可以用于标量和复合数据类型；对于复合类型，将返回一个完整的结果"表"。

RETURN NEXT 实际上并不从函数中返回，它只是简单地把表达式的值保存起来。然后执行继续执行 PL/pgSQL 函数里的下一条语句。随着后继的 RETURN NEXT 命令的执行，结果集就建立起来了。最后一个 RETURN 应该没有参数，它导致控制退出该函数(或者你可以简单地让控制到达函数的结尾)。

如果你声明函数带有输出参数，那么就只需要写不带表达式的 RETURN NEXT 。输出参数的当前值将被保存，用于最终返回。请注意如果有多个输出参数，比如声明函数为返回 SETOF record 或者是在只有一个类型为 sometype 的输出参数时声明为 SETOF sometype ，这样才能创建一个带有输出参数的返回集合的函数。

使用 RETURN NEXT 的函数应该按照下面的风格调用：

SELECT * FROM some_func();

也就是说，这个函数用做 FROM 子句里面的一个表数据源。

37.7.2.1. IF-THEN

IF boolean-expression THEN
    statements
END IF;

IF-THEN 语句是 IF 的最简单形式。如果条件为真，在 THEN 和 END IF 之间的语句将被执行。否则，将忽略它们。

例子：

IF v_user_id <> 0 THEN
    UPDATE users SET email = v_email WHERE user_id = v_user_id;
END IF;

37.7.2.2. IF-THEN-ELSE

IF boolean-expression THEN
    statements
ELSE
    statements
END IF;

IF-THEN-ELSE 语句增加了 IF-THEN 的分支，让你可以声明在条件为假的时候执行的语句。

例子：

IF parentid IS NULL OR parentid = ''
THEN
    RETURN fullname;
ELSE
    RETURN hp_true_filename(parentid) || '/' || fullname;
END IF;

IF v_count > 0 THEN 
    INSERT INTO users_count (count) VALUES (v_count);
    RETURN 't';
ELSE
    RETURN 'f';
END IF;

37.7.2.3. IF-THEN-ELSE IF

IF 语句可以像下面的例子那样嵌套：

IF demo_row.sex = 'm' THEN
    pretty_sex := 'man';
ELSE
    IF demo_row.sex = 'f' THEN
        pretty_sex := 'woman';
    END IF;
END IF;

这种形式实际上就是在另外一个 IF 语句的 ELSE 部分嵌套了另一个 IF 语句。因此你需要一个 END IF 语句给每个嵌套的 IF ，另外还要一个给父 IF-ELSE 用。这么干是可以的，但是如果有太多候选项需要检查，那么就会变得很乏味。因此有下面的形式。

37.7.2.4. IF-THEN-ELSIF-ELSE

IF boolean-expression THEN
    statements
[ELSIF boolean-expression THEN
    statements
[ELSIF boolean-expression THEN
    statements
    ...]]
[ELSE
    statements]
END IF;

IF-THEN-ELSIF-ELSE 提供了一种更方便的方法用于在一条语句中检查许多候选条件。形式上它和嵌套的 IF-THEN-ELSE-IF-THEN 命令相同，但是只需要一个 END IF 。

一个例子：

IF number = 0 THEN
    result := 'zero';
ELSIF number > 0 THEN 
    result := 'positive';
ELSIF number < 0 THEN
    result := 'negative';
ELSE
    -- hmm, the only other possibility is that number is null
    result := 'NULL';
END IF;

37.7.2.5. IF-THEN-ELSEIF-ELSE

ELSEIF 是 ELSIF 的别名。

37.7.3.1. LOOP

[<<label>>]
LOOP
    statements
END LOOP [label];

LOOP 定义一个无条件的循环，无限循环，直到由 EXIT 或 RETURN 语句终止。可选的 label 可以由 EXIT 和 CONTINUE 语句使用，用于在嵌套循环中声明应该应用于哪一层循环。

37.7.3.2. EXIT

EXIT [label] [WHEN expression];

如果没有给出 label ，那么退出最内层的循环，然后执行跟在 END LOOP 后面的语句。如果给出 label ，那么它必须是当前或者更高层的嵌套循环块或者语句块的标签。然后该命名块或者循环就会终止，而控制落到对应循环/块的 END 语句后面的语句上。

如果声明了 WHEN ，循环退出只有在 expression 为真的时候才发生，否则控制会落到 EXIT 后面的语句上。

EXIT 可以用于在所有的循环类型中，它并不仅仅限制于在无条件循环中使用。在和 BEGIN 块一起使用的时候，EXIT 把控制交给块结束后的下一个语句。

例子：

LOOP
    -- 一些计算
    IF count > 0 THEN
        EXIT;  -- 退出循环
    END IF;
END LOOP;

LOOP
    -- 一些计算
    EXIT WHEN count > 0;  -- same result as previous example
END LOOP;

BEGIN
    -- 一些计算
    IF stocks > 100000 THEN
        EXIT;  -- 导致从 BEGIN 块里退出
    END IF;
END;

37.7.3.3. CONTINUE

CONTINUE [label] [WHEN expression];

如果没有给出 label ，那么就开始最内层循环的下一次执行。也就是说，控制传递回给循环控制表达式(如果有)，然后重新计算循环体。如果出现了 label ，它声明即将继续执行的循环的标签。

如果声明了 WHEN ，那么循环的下一次执行只有在 expression 为真的情况下才进行。否则，控制传递给 CONTINUE 后面的语句。

CONTINUE 可以用于所有类型的循环；它并不仅仅限于无条件循环。

例子：

LOOP
    -- 一些计算
    EXIT WHEN count > 100;
    CONTINUE WHEN count < 50;
    -- 一些在 count 数值在[50 .. 100]里面时候的计算
END LOOP;

37.7.3.4. WHILE

[<<label>>]
WHILE expression LOOP
    statements
END LOOP [label];

只要条件表达式为真，WHILE 语句就会不停的在一系列语句上进行循环，条件是在每次进入循环体的时候检查的。

For example:

WHILE amount_owed > 0 AND gift_certificate_balance > 0 LOOP
    -- 一些计算
END LOOP;

WHILE NOT boolean_expression LOOP
    -- 一些计算
END LOOP;

37.7.3.5. FOR (integer variant)

[<<label>>]
FOR name IN [REVERSE] expression .. expression [BY expression] LOOP
    statements
END LOOP [label];

这种形式的 FOR 对一定范围的整数进行迭代的循环。变量 name 会自动定义为 integer 类型并且只在循环里存在(任何该变量名的现存定义在此循环内都将被忽略)。给出范围上下界的两个表达式在进入循环的时候计算一次。BY 子句指定迭代步长(缺省为 1)，但如果声明了 REVERSE 步长将变为相应的负值。

一些整数 FOR 循环的例子：

FOR i IN 1..10 LOOP
    -- 一些计算
    RAISE NOTICE 'i is %', i;
END LOOP;

FOR i IN REVERSE 10..1 LOOP
    -- 一些计算
END LOOP;

FOR i IN REVERSE 10..1 BY 2 LOOP
    -- 一些计算
    RAISE NOTICE 'i is %', i;
END LOOP;

如果下界大于上界(或者是在 REVERSE 情况下是小于)，那么循环体将完全不被执行。而且不会抛出任何错误。