goto 语句
来自 cppreference.cn
无条件地将控制转移到所需的位置。
当使用传统结构无法将控制转移到所需位置时使用。
目录 |
[编辑] 语法
attr-spec-seq(可选) goto label ; |
|||||||||
标签 | - | goto 语句的目标标签 |
attr-spec-seq | - | (C23)应用于 goto 语句的可选属性列表 |
[编辑] 解释
goto
语句导致无条件跳转(控制转移)到以命名标签为前缀的语句(该标签必须与 goto 语句出现在同一函数中),除非此跳转将进入变长数组或另一种可变修改类型的作用域。(自 C99 起)
一个标签是一个标识符,后跟一个冒号 (:
) 和一个语句(截至 C23)。 标签是唯一具有函数作用域的标识符:它们可以在它们出现的同一函数中的任何位置使用(在 goto 语句中)。 任何语句之前可能存在多个标签。
允许进入非可变修改变量的作用域 goto lab1; // OK: going into the scope of a regular variable int n = 5; lab1:; // Note, n is uninitialized, as if declared by int n; // goto lab2; // Error: going into the scope of two VM types double a[n]; // a VLA int (*p)[n]; // a VM pointer lab2: 如果 { int n = 1; label:; int a[n]; // re-allocated 10 times, each with a different size if (n++ < 10) goto label; // leaving the scope of a VM } |
(自 C99 起) |
[编辑] 关键字
[编辑] 注释
因为声明不是语句,所以声明之前的标签必须使用空语句(紧跟在冒号后的分号)。 这同样适用于块末尾之前的标签。 |
(截至 C23) |
C++ 对 goto
语句施加了额外的限制,但允许在声明之前使用标签(在 C++ 中声明是语句)。
[编辑] 示例
运行此代码
#include <stdio.h> int main(void) { // goto can be used to leave a multi-level loop easily for (int x = 0; x < 3; x++) { for (int y = 0; y < 3; y++) { printf("(%d;%d)\n",x,y); if (x + y >= 3) goto endloop; } } endloop:; }
输出
(0;0) (0;1) (0;2) (1;0) (1;1) (1;2)
[编辑] 参考
- C17 标准 (ISO/IEC 9899:2018)
- 6.8.6.1 goto 语句 (p: 110-111)
- C11 标准 (ISO/IEC 9899:2011)
- 6.8.6.1 goto 语句 (p: 152-153)
- C99 标准 (ISO/IEC 9899:1999)
- 6.8.6.1 goto 语句 (p: 137-138)
- C89/C90 标准 (ISO/IEC 9899:1990)
- 3.6.6.1 goto 语句
[编辑] 参见
C++ 文档 关于
goto 语句 |