36.7. 控制结构

36.7.1.1. RETURN

RETURN expression;

带表达式的 RETURN 是用于终止函数, 然后 expression 的值返回给调用者。

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

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

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

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

36.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子句里面的一个表数据源的。

36.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;

36.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;

36.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用． 这么干是可以的，但是如果我们有太多候选项需要检查，那么就会变得很乏味． 因此有下面的形式。

36.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
    -- 另外一个唯一的可能是它是空值
    result := 'NULL';
END IF;

36.7.2.5. IF-THEN-ELSEIF-ELSE

ELSEIF 是 ELSIF 的别名。

36.7.3.1. LOOP

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

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

36.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;  -- exit loop
    END IF;
END LOOP;

LOOP
    -- 一些计算
    EXIT WHEN count > 0;
END LOOP;

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

36.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;

36.7.3.4. WHILE

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

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

比如:

WHILE amount_owed > 0 AND gift_certificate_balance > 0 LOOP
    -- 可以在这里做些计算
END LOOP;

WHILE NOT BOOLEAN_expression LOOP
    -- 可以在这里做些计算
END LOOP;

36.7.3.5. FOR （整数变种）

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

这种形式的FOR对一定范围的整数数值进行迭代的循环。 变量name 会自动定义为integer类型并且只在循环里存在。 给出范围上下界的两个表达式在进入循环的时候计算一次。 迭代步进值总是为 1，但如果声明了REVERSE就是 -1。

一些整数FOR循环的例子∶

FOR i IN 1..10 LOOP
  -- 这里可以放一些表达式
    RAISE NOTICE 'i IS %', i;
END LOOP;

FOR i IN REVERSE 10..1 LOOP
    -- 这里可以放一些表达式
END LOOP;

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