23.6. 控制结构

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

23.6.2.2. IF-THEN-ELSE

IF 

boolean-expression

 THEN
    

statements


ELSE
    

statements


END IF;

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

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;

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

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

最后的 ELSE 段是可选的．

23.6.3.1. LOOP

[
<<label>>
]
LOOP
    

statements


END LOOP;

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

23.6.3.2. EXIT

EXIT [
 

label

 
] [
 WHEN 

expression

 
];

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

如果出现了 WHEN，循环退出只发生在声明的条件为真的时候， 否则控制会落到 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;  -- 非法，不能用 EXIT 退出到 LOOP 外面．
    END IF;
END;

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

23.6.3.4. FOR (整数 for 循环)

[
<<label>>
]
FOR 

name

 IN [
 REVERSE 
] 

expression

 .. 

expression

 LOOP
    

statements


END LOOP;

这种形式的 FOR 对一定范围的整数数值进行迭代的循环．变量 name 会自动定义为整数类型并且只在 循环里存在．给出范围上下界的两个表达式在进入循环的时候计算一次． 迭代步进值总是为 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;