goto 语句

 

C

编译器支持

语言

头文件

类型支持

程序工具

变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

语句

标号

label : statement

表达式语句

expression ;

复合语句

{ statement... }

选择语句

if

switch

重复语句

while

do-while

for

跳转语句

break

continue

return

goto

 

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

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

语法

属性说明符序列(可选) 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