IF search_condition THEN statement_list
    [ELSEIF search_condition THEN statement_list] ...
    [ELSE statement_list]
END IF

存储程序中的 IF 语句实现了基本的条件构造。

如果给定的 search_condition 评估为 true，则对应的 THEN 或 ELSEIF 子句 statement_list 执行。如果没有 search_condition 匹配，则 ELSE 子句 statement_list 执行。

每个 statement_list 由一个或多个 SQL 语句组成；不允许空的 statement_list。

一个 IF ... END IF 块，如同所有其他流控制块一样，必须以分号结尾，如下例所示：

DELIMITER //

CREATE FUNCTION SimpleCompare(n INT, m INT)
  RETURNS VARCHAR(20)

  BEGIN
    DECLARE s VARCHAR(20);

    IF n > m THEN SET s = '>';
    ELSEIF n = m THEN SET s = '=';
    ELSE SET s = '<';
    END IF;

    SET s = CONCAT(n, ' ', s, ' ', m);

    RETURN s;
  END //

DELIMITER ;

与其他流控制构造一样，IF ... END IF 块可以嵌套在其他流控制构造中，包括其他 IF 语句。每个 IF 都必须以自己的 END IF 结尾，后跟一个分号。你可以使用缩进来使嵌套的流控制块更易于人类阅读（尽管 MySQL 不需要这样），如下所示：

DELIMITER //

CREATE FUNCTION VerboseCompare (n INT, m INT)
  RETURNS VARCHAR(50)

  BEGIN
    DECLARE s VARCHAR(50);

    IF n = m THEN SET s = 'equals';
    ELSE
      IF n > m THEN SET s = 'greater';
      ELSE SET s = 'less';
      END IF;

      SET s = CONCAT('is ', s, ' than');
    END IF;

    SET s = CONCAT(n, ' ', s, ' ', m, '.');

    RETURN s;
  END //

DELIMITER ;

在这个示例中，只有当 n 不等于 m 时，才会评估内部的 IF。