命名空间
变体
操作

goto 语句

来自 cppreference.cn
< C‎ | 语言

无条件地将控制转移到所需的位置。

当使用传统结构无法将控制转移到所需位置时使用。

目录

[编辑] 语法

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:

如果 goto 离开 VLA 的作用域,它将被释放(如果再次执行其初始化,则可能会重新分配)

{
   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 起)

[编辑] 关键字

goto

[编辑] 注释

因为声明不是语句,所以声明之前的标签必须使用空语句(紧跟在冒号后的分号)。 这同样适用于块末尾之前的标签。

(截至 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 语句