`goto` 是一种 控制流程的语句，它允许程序无条件地跳转到代码中的另一个位置继续执行。`goto` 语句由 `goto` 关键字和标记（label）组成，标记是一个用户定义的标识符，后面跟着冒号，用于标记跳转目标。
使用 `goto` 语句可以在程序中实现无条件的跳转，无论条件是否满足，都可以直接跳转到指定行。这一特性在某些情况下可以提高代码的可读性和运行效率，但同时也容易导致代码的混乱和难以维护。因此，通常建议优先使用结构化的控制流语句（如 `if`、`while`、`for` 等），而不是过度依赖 `goto` 语句。
在C语言中，`goto` 语句的格式通常为：
```c
goto label_name；
```
其中 `label_name` 是要跳转到的标签标识符。标签通常与某个语句行对齐，并单独占一行，以便于阅读和维护。
需要注意的是，虽然 `goto` 语句在某些编程环境中（如数控编程、宏程序编程）可能有其用途，但在大多数现代编程语言中，它被认为是一种不良的编程实践，应尽量避免使用。在C中，`goto` 语句甚至被禁止使用，以强制开发者使用更结构化的控制流语句。