RETURN expression;

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

如果函数返回的是标量类型，任何表达式都可以使用。表达式结果会按照赋值部分的说明自动转换为函数的返回类型。但要返回一个复合（行）值，你必须把记录变量或行变量写为 expression。

一个函数的返回值不能是未定义。如果控制到达了函数最顶层块的末尾而没有碰到一个RETURN语句，那么会发生一个运行时错误。

如果你已把函数声明为返回void，那么仍然必须提供RETURN语句；但在这种情况下，RETURN后面的表达式是可选的，如果出现也会被忽略。

RETURN NEXT expression;

当 PL/pgSQL 函数被声明为返回 SETOF sometype 时，返回过程会略有不同。在这种情况下，要返回的各个项通过一系列 RETURN NEXT 命令指定，最后再用一个不带参数的 RETURN 命令表明函数已经执行完毕。RETURN NEXT 可用于标量和复合数据类型；对于后一种情况，会返回完整的结果“表”。

使用RETURN NEXT的函数应当按照下面的方式调用：

SELECT * FROM some_func();

也就是说，该函数必须作为表源在FROM子句中使用。

RETURN NEXT 实际上不会从函数中返回；它只是把表达式的值保存起来。然后会继续执行PL/pgSQL函数中的下一条语句。随着后继的RETURN NEXT命令的执行，结果集就建立起来了。最后一个RETURN（应该没有参数）会导致控制退出该函数。

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;

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;

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语句嵌套在外层IF语句的ELSE部分中。这样，每个嵌套的IF都需要一个END IF语句，外层的IF-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;

ELSEIF是ELSIF的一个别名。

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

LOOP 定义了一个无条件循环，它会无限重复，直到被 EXIT 或 RETURN 语句终止。可选的标签可以被嵌套循环中的 EXIT 语句使用，以指定应终止哪一层嵌套。

EXIT [ label ] [ WHEN expression ];

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

如果出现了 WHEN，则只有当指定条件为真时才会退出循环，否则控制传递到 EXIT 之后的语句。

EXIT 可以用来提前退出所有类型的循环；它并不限于在无条件循环中使用。

示例：

LOOP
    -- some computations
    IF count > 0 THEN
        EXIT;  -- exit loop
    END IF;
END LOOP;

LOOP
    -- some computations
    EXIT WHEN count > 0;  -- same result as previous example
END LOOP;

BEGIN
    -- some computations
    IF stocks > 100000 THEN
        EXIT;  -- causes exit from the BEGIN block
    END IF;
END;

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

只要条件表达式的计算结果为真，WHILE 语句就会重复一个语句序列。在每次进入到循环体之前都会检查该表达式。

例如：

WHILE amount_owed > 0 AND gift_certificate_balance > 0 LOOP
    -- some computations here
END LOOP;

WHILE NOT done LOOP
    -- some computations here
END LOOP;

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

这种形式的 FOR 会创建一个在一个整数范围上迭代的循环。变量 name 会自动定义为类型 integer 并且只在循环内存在。给出范围上下界的两个表达式在进入循环的时候计算一次。迭代步长通常为 1，但在指定了 REVERSE 时为 -1。

整数 FOR 循环的一些示例：

FOR i IN 1..10 LOOP
    -- i will take on the values 1,2,3,4,5,6,7,8,9,10 within the loop
END LOOP;

FOR i IN REVERSE 10..1 LOOP
    -- i will take on the values 10,9,8,7,6,5,4,3,2,1 within the loop
END LOOP;

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