goto语句

< c‎ | language
 
C
 
C 语言
 
语句
标号
表达式语句
复合语句
选择语句
迭代语句
跳转语句
goto
 

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

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

语法

goto 标号 ;
标号 : 语句

解释

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

标号 是一个后随冒号（ : ）和一条语句的的标识符。标号是仅有的拥有函数作用域的标识符：能在其所出现于的函数中的任何位置使用它们（在 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

注意

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

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)

引用

  • C11 standard (ISO/IEC 9899:2011):
  • 6.8.6.1 The goto statement (p: 152-153)
  • C99 standard (ISO/IEC 9899:1999):
  • 6.8.6.1 The goto statement (p: 137-138)
  • C89/C90 standard (ISO/IEC 9899:1990):
  • 3.6.6.1 The goto statement

参阅