goto 是批处理脚本中最基础也是最重要的流程控制命令之一，它的作用是无条件地将脚本的执行流程跳转到脚本中指定的标签（Label）处。
（图片来源网络，侵删）
基本语法
goto 命令的语法非常简单：
goto label
goto：这是关键字，表示“跳转到”。label：这是你想要跳转到的目标位置的名称，标签的命名规则如下：- 必须以冒号 开头。
- 标签名称可以由字母、数字和下划线组成。
- 标签名称中不能包含空格或特殊字符。
示例标签：
start
end_of_program
check_file_exists
1
标签是 goto 的目标，它本身不执行任何操作,只是一个标记。
语法：
（图片来源网络，侵删）
:label_name
示例：
@echo off echo 程序开始... goto :start_processing echo 这一行永远不会被执行，因为上面的 goto 已经跳走了。 :start_processing echo 正在处理中... echo 处理完毕。 goto :end_of_program :end_of_program echo 程序结束。
运行结果：
程序开始...
正在处理中...
处理完毕。
程序结束。goto 的主要用途
goto 主要用于以下场景：
a. 创建循环
goto 是在批处理中创建 for 循环之外的自定义循环的主要方式。
（图片来源网络，侵删）
示例：一个简单的计数循环
@echo off
setlocal enabledelayedexpansion
set count=0
:loop_start
echo 当前的计数是: %count%
set /a count+=1
if %count% lss 5 (
goto :loop_start
)
echo 循环结束。
代码解释：
set count=0：初始化计数器变量count为 0。loop_start：定义循环的起始标签。echo ...：打印当前的计数值。set /a count+=1：让计数器加 1。if %count% lss 5 (...)：判断计数器是否小于 5。- 如果是，则执行
goto :loop_start，跳回到循环的起始位置,继续下一次循环。 - 如果否（即
count大于或等于 5），则不执行goto，程序继续向下执行,循环结束。
- 如果是，则执行
运行结果：
当前的计数是: 0
当前的计数是: 1
当前的计数是: 2
当前的计数是: 3
当前的计数是: 4
循环结束。b. 条件分支（与 if 结合使用）
虽然 if...else 结构可以通过 if 和 goto 结合实现，但现代批处理更推荐使用 if...else 的便捷语法，了解 goto 的这种用法有助于理解批处理的历史和工作原理。
示例：简单的 if-else
@echo off set /p user_input=请输入一个数字 (1 或 2): if "%user_input%"=="1" goto :option_one if "%user_input%"=="2" goto :option_two echo 无效的输入。 goto :end :option_one echo 你选择了选项一。 goto :end :option_two echo 你选择了选项二。 goto :end :end echo 程序执行完毕。
代码解释：
- 用户输入后，
if命令判断输入内容。 - 如果输入是 "1"，则跳转到
option_one标签,执行对应的命令。 - 如果输入是 "2"，则跳转到
option_two标签,执行对应的命令。 - 如果既不是 "1" 也不是 "2"，则直接执行
echo 无效的输入。 - 每个分支最后的
goto :end非常重要，它用于跳出if语句块，防止程序继续执行到其他分支的代码，这被称为“避免代码贯穿”（fall-through）。
goto 的特殊用法：EOF
在脚本中，goto :eof 是一个约定俗成的用法,它有特殊的含义。
eof(End Of File) 是一个内置的标签，它不是跳转到脚本的物理末尾。goto :eof的作用是从当前脚本或子例程中正常退出,并将控制权返回给调用者。
用途1：作为脚本的正常退出点
@echo off
echo 脚本开始...
REM 如果某个条件不满足，就退出脚本
if not exist "C:\important_file.txt" (
echo 错误：找不到重要文件，脚本终止。
goto :eof
)
echo 文件存在，继续执行...
echo 脚本主逻辑...
用途2：从子例程（Subroutine）中返回
在批处理中，可以通过 call :subroutine_name 来调用一段代码块，这段代码块就是一个子例程。goto :eof 用于从子例程返回。
@echo off call :my_subroutine echo 已从子例程返回，继续执行主脚本。 exit /b :my_subroutine echo 你好！这是子例程内部。 echo 子例程即将结束。 goto :eof
代码解释：
call :my_subroutine：调用my_subroutine标签下的代码。- 子例程执行
echo命令。 goto :eof：告诉脚本子例程执行完毕，返回到call命令的下一行继续执行。exit /b：这是一个良好的实践，确保脚本在主逻辑执行完毕后退出,而不会意外执行到后面的子例程代码。
重要注意事项和最佳实践
a. 避免过度使用 goto
goto 被一些程序员称为“恶魔的代码”（spaghetti code），因为它容易导致代码逻辑混乱，难以阅读和维护，在现代批处理中,应优先使用结构化的命令：
- 循环：优先使用
for循环。 - 条件判断：优先使用
if...else...结构。 - 函数/子例程：优先使用
call :label结构。
只有在 for 或 if...else 无法满足复杂逻辑需求时，才考虑使用 goto 来构建自定义循环或分支。
b. goto 与 call 的区别
goto：直接跳转，执行流程不会返回到goto命令的下一行,它会改变脚本的调用栈。call：调用一个子例程，执行完子例程后（通过goto :eof或到达标签末尾），会返回到call命令的下一行继续执行,它会在调用栈上创建一个新的帧。
错误示例：
@echo off goto :my_subroutine echo 这一行不会被执行。 :my_subroutine echo 这是子例程。 REM 如果这里用 goto :eof，脚本会直接退出，而不会返回。 goto :eof
上面的脚本执行到 goto :eof 后就会结束，call 的返回机制在这里不成立，因为我们用的是 goto。
c. 变量延迟扩展
在 goto 构建的循环中，如果循环体内修改了变量，并且需要立即在循环条件中使用该变量的新值,必须开启变量延迟扩展。
setlocal enabledelayedexpansion：开启延迟扩展。- 使用
!variable!代替%variable%来读取变量的当前值。
请参考上面的计数循环示例，其中就使用了 !count!。
| 特性 | 描述 |
|---|---|
| 功能 | 无条件跳转到脚本中的指定标签。 |
| 语法 | goto label |
以冒号 开头的标记，如 start。 |
|
| 主要用途 | 创建自定义循环。 实现复杂的条件分支（与 if 结合）。 |
| 特殊用法 | goto :eof 用于从当前脚本或子例程中正常退出。 |
| 优点 | 灵活，是批处理最底层的流程控制机制。 |
| 缺点 | 容易造成代码逻辑混乱（意大利面代码），难以维护。 |
| 最佳实践 | 优先使用 for、if...else 和 call，仅在必要时使用 goto，在循环中注意使用 !var! 进行延迟扩展。 |
