LEAVE必须配合显式声明的标签使用，标签需冒号结尾、大小写敏感且不能重名；仅跳出最近可见标签，跨层需前置声明；不自动清理资源，须手动CLOSE游标、ROLLBACK事务。
必须显式声明标签，否则直接报错 ERROR 1064
MySQL 的 LEAVE 不是裸指令，它只能配合提前定义的标签使用。写成 LEAVE; 或 LEAVE my_loop; 却没声明 my_loop:，就会触发语法错误。标签必须用冒号结尾、紧贴在 LOOP（或 BEGIN）前，且大小写敏感。
-
my_loop: LOOP是合法声明；MY_LOOP: LOOP和LEAVE my_loop;就会失败 - 标签名不能和变量、游标、存储过程名重复，否则报
ERROR 1305 (42000): PROCEDURE does not exist - 推荐把外层标签（如
proc_main:或outer_loop:）放在存储过程最顶部的BEGIN之前，避免嵌套时不可见
LEAVE 只跳出最近一层可见标签，无法穿透嵌套
在三层 LOOP 嵌套中，如果只在中间层声明了 middle_loop:，内层写 LEAVE middle_loop; 是可行的；但若写 LEAVE outer_loop;，而 outer_loop: 只定义在外层 BEGIN 内部，内层就看不到它——不是报错，而是静默跳到错误位置，甚至跳过事务清理逻辑。
- 安全做法：所有需跨层引用的标签，统一前置到存储过程开头，例如
outer_loop: BEGIN ... inner_loop: LOOP ... LEAVE outer_loop; - 更稳替代：不用
LEAVE跨层跳转，改用布尔变量（如should_exit BOOLEAN DEFAULT FALSE）+ 多层IF should_exit THEN LEAVE current_loop; END IF; - 调试技巧：在每个
LEAVE前加SELECT CONCAT('leaving ', 'outer_loop');，确认实际跳转路径
LEAVE 不自动清理资源，游标/事务/Handler 都得手动处理
LEAVE 是纯控制流跳转，不触发回滚、不关闭游标、不重置 HANDLER。常见事故是：循环里打开游标 cur_data，中途 LEAVE 跳出，但没 CLOSE cur_data;，下次调用直接报 Cursor is already open。
- 必须在
LEAVE前手动CLOSE游标，顺序不能反（CLOSE→LEAVE） - 事务中提前退出，要显式
ROLLBACK;或COMMIT;，否则连接可能持锁或处于未决状态 -
DECLARE CONTINUE HANDLER FOR NOT FOUND的作用域仅限当前BEGIN ... END块，跨块LEAVE后 handler 失效，异常可能漏捕获
LEAVE 可以跳出 LOOP，也能跳出带标签的 BEGIN 块
很多人以为 LEAVE 只用于循环，其实只要给 BEGIN 加标签（如 proc_body: BEGIN），就能用 LEAVE proc_body; 直接退出整个存储过程逻辑体——效果类似 goto exit;，但更可控。
- 适用场景：初始化失败（如参数校验不通过）、关键资源获取失败（如
OPEN游标报错）、或需要快速返回默认值 - 注意：这种跳转仍绕过后续代码，所以所有前置资源（临时表、变量赋值、锁）都得在跳转前清理或释放
- 和
RETURN不同，LEAVE不终止存储过程执行本身，只是跳出指定作用域；若无更外层标签，就自然结束
最容易被忽略的是标签作用域和资源清理的耦合性——写对标签名只是第一步，跳出去之后那几行 CLOSE 和 ROLLBACK 才真正决定逻辑是否健壮。
