goto 语句

来自cppreference.com


 
C
 
C 语言
 
语句
标号
表达式语句
复合语句
选择语句
重复语句
跳转语句
 

将控制无条件转移到所欲位置。

在无法用约定的构造将控制转移到所欲位置时使用。

语法

属性说明符序列(可选) goto 标号 ;
标号 - goto 语句的目标标号
属性说明符序列 - (C23)可选的属性列表，应用到 goto 语句

解释

goto 语句导致无条件跳转（控制的转移）到前附具名 标号 （必须与 goto 语句出现于同一函数中）的语句，除非此跳转会进入非常量长度数组（VLA）或另一可变修改（VM）类型的作用域(C99 起)。

标号 是一个后随冒号（:）和一条语句(C23 前)的标识符。标号是仅有的拥有函数作用域的标识符：能在其所出现于的函数中的任何位置使用它们（在 goto 语句中）。任何语句前可以有多个标号。

容许进入非可变修改对象的作用域： 

goto lab1; // OK：进入常规变量的作用域
    int n = 5;
lab1:; // 注意未初始化 n，如同以 int n; 声明

//   goto lab2;   // 错误：进入二个 VM 类型的作用域
     double a[n]; // VLA
     int (*p)[n]; // VM 指针
lab2:

若 goto 离开 VLA 的作用域，则 VLA 会被解分配（而且可能会被再分配，若再度执行其初始化）： 

{
   int n = 1;
label:;
   int a[n]; // 重分配 10 次，每次拥有不同的大小
   if (n++ < 10) goto label; // 离开 VM 的作用域
}
(C99 起)

关键词

goto

注解

因为声明不是语句，在声明前的标号必须使用空语句（紧随冒号后的分号）。同样的规则适用于块结尾前的标号。

(C23 前)

C++ 在 goto 语句上加上了另外的限制，不过允许标号在声明（它们在 C++ 中是语句）前。

示例

运行此代码
#include <stdio.h>

int main(void)
{
    // goto 可用于简单地离开多层循环
    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 The goto statement （第 110-111 页）
  • C11 标准（ISO/IEC 9899:2011）：
  • 6.8.6.1 The goto statement （第 152-153 页）
  • C99 标准（ISO/IEC 9899:1999）：
  • 6.8.6.1 The goto statement （第 137-138 页）
  • C89/C90 标准（ISO/IEC 9899:1990）：
  • 3.6.6.1 The goto statement

参阅

goto 语句的 C++ 文档