leave只能通过指定已声明的标签跳出对应代码块，不能单独提前结束存储过程；必须为begin...end或循环打标签，如proc_main: begin...leave proc_main;，才能彻底终止后续执行。
LEAVE 不能单独“提前结束存储过程”，它只能跳出带标签的循环或代码块；想真正退出整个存储过程，必须给 BEGIN...END 块加标签，并用 LEAVE 跳出该标签。
LEAVE 必须配合标签使用，否则报错
MySQL 不允许裸写 LEAVE，必须指定一个已声明的标签名。这个标签可以打在 LOOP、WHILE、REPEAT 上，也可以打在整个 BEGIN...END 复合语句上。
- 没标签直接写
LEAVE my_loop;→ 报错ERROR 1305 (42000): LEAVE with no matching label - 标签名大小写敏感，且必须紧贴
BEGIN或循环语句前，中间不能换行或空格 - 常见写法：
main: BEGIN ... LEAVE main;或my_loop: WHILE ... DO ... LEAVE my_loop;
跳出多层嵌套时，LEAVE 只作用于最近一层标签
如果在 WHILE 内又嵌套了 LOOP，两个都打了标签，那么 LEAVE inner_loop; 只退出内层，不影响外层 WHILE。
- 想从深层直接退出整个过程？必须给外层
BEGIN打标签（如proc: BEGIN），并在任意位置执行LEAVE proc; - 嵌套过深时，容易混淆哪个
LEAVE对应哪层——建议只给最外层BEGIN和关键循环打标签，避免满屏loop1/loop2 -
ITERATE同理，也只影响当前最内层带标签的循环
LEAVE 不能替代 RETURN，也不抛异常
LEAVE 是流程跳转，不是错误处理机制。它不会终止事务、不会回滚、也不会向调用方返回状态码。
- 需要事务回滚？得手动加
ROLLBACK，再LEAVE - 想让调用方知道“提前退出”？得配合
SELECT或OUT参数传递信息，例如SELECT 'early exit' AS status; - 遇到 SQL 错误（比如插入失败）？
LEAVE不会自动触发，需搭配DECLARE CONTINUE HANDLER FOR SQLEXCEPTION捕获后再LEAVE
实际写法：给 BEGIN 打标签是提前退出存储过程最稳妥的方式
这是唯一能确保“彻底停止后续所有语句执行”的做法，比在每个循环里反复判断更清晰。
DELIMITER // CREATE PROCEDURE check_and_exit(IN user_id INT) proc_main: BEGIN DECLARE cnt INT DEFAULT 0; <p>SELECT COUNT(*) INTO cnt FROM users WHERE id = user_id; IF cnt = 0 THEN SELECT 'User not found, exiting.' AS message; LEAVE proc_main; -- 直接跳出整个 BEGIN 块 END IF;</p><p>UPDATE users SET last_login = NOW() WHERE id = user_id; SELECT 'Login updated.' AS message; END // DELIMITER ;</p>
- 注意
proc_main:紧贴BEGIN，不能写成BEGIN proc_main: - 标签名（如
proc_main）在同一个存储过程中必须唯一 - 一旦执行
LEAVE proc_main;，后面所有语句（包括UPDATE和最后的SELECT）全被跳过
真正容易被忽略的是：LEAVE 的作用域完全由标签绑定，而不是由语法结构自动推断；写错标签位置、拼错标签名、或误以为它能跨作用域生效，是调试时最耗时间的三类问题。
