35.7. 控制結構

35.7.1.1. RETURN

RETURN expression;

帶資料表達式的 RETURN 是用於終止函數, 然後 expression 的值返回給調用者。

如果返回標量類型，那麼可以使用任何資料表達式。資料表達式的類型將被自動轉換成函數的返回類型， 就像我們在賦值中描述的那樣。 要返回一個復合（行）數值，您必須寫一個記錄或者行變量做 expression。

一個函數的返回值不能是未定義。如果控制到達了函數的最頂層的塊而沒有碰到一個 RETURN 語句， 那麼它就會發生一個錯誤。

請注意如果您聲明了該函數返回 void，那麼仍然必須聲明 RETURN 語句；但是，跟在 RETURN 後面的資料表達式是可選的，並且在任何情況下都會被忽略。

35.7.1.2. RETURN NEXT

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， 導致控制退出該函數。

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

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

35.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用． 這麼干是可以的，但是如果我們有太多候選項需要檢查，那麼就會變得很乏味． 因此有下面的形式。

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

35.7.2.5. IF-THEN-ELSEIF-ELSE

ELSEIF 是 ELSIF 的別名。

35.7.3.1. LOOP

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

LOOP 定義一個無條件的循環，無限循環，直到由EXIT或者RETURN語句終止。 可選的標籤可以由EXIT語句使用，用於在嵌套循環中聲明應該結束哪一層循環。

35.7.3.2. EXIT

EXIT [ label ] [ WHEN expression ];

如果沒有給出 label， 那麼退出最內層的循環，然後執行跟在END LOOP後面的語句。 如果給出 label， 那麼它必須是目前或者更高層的嵌套循環塊或者塊的標籤。 然後該命名塊或者循環就會終止，而控制落到對應循環/塊的 END 語句後面的語句上。

如果出現了WHEN，循環退出只發生在聲明的條件為真的時候， 否則控制會落到EXIT後面的語句上。

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;

35.7.3.3. WHILE

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

只要條件資料表達式為真，WHILE語句就會不停在一系列語句上進行循環. 條件是在每次進入循環體的時候檢查的.

比如:

WHILE amount_owed > 0 AND gift_certificate_balance > 0 LOOP
    -- 可以在這裡做些計算
END LOOP;

WHILE NOT BOOLEAN_expression LOOP
    -- 可以在這裡做些計算
END LOOP;

35.7.3.4. FOR （整數變種）

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

這種形式的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 情況下是小於），那麼循環體將完全不被執行。 而且不會拋出任何錯誤。