goto 语句

来自cppreference.com
< c‎ | language

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

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

语法

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

解释

goto 语句导致无条件跳转(控制的转移)到前附具名 标号 (必须与 goto 语句出现于同一函数中)的语句,除非此跳转会进入非常量长度数组或另一可变修改类型的作用域 (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

参阅