C语言跳转语句(break语句,continue语句,goto语句,return语句)

跳转语句(jump statement)可以中断当前程序的执行流程,并从另一个不同的点继续执行程序。如果程序跳转到变量的作用域范围之外,变量会被销毁。C 语言有四种语句会造成无条件跳转:break、continue、goto 和 return。

break 语句

break 语句只能用于循环体内或 switch 语句内,并且会使得程序流跳转到该循环或该 switch 语句后面的第一条语句。break 语句的语法如下:

break;


因此,无论在循环体内什么位置,break 语句都可以造成循环的结束。例如,例 1 的 while 循环可以依据用户的请求而结束(输入非数字的字符串),也可能因为数字超出程序许可范围而结束。

【例1】break 语句
// 读取用户输入的分数,范围在0到100之间
// 将分数存储在数组中
// 返回值:所存储值的个数
//---------------------------------------------------------------
int getScores( short scores[ ], int len )
{
   int i = 0;
   puts( "Please enter scores between 0 and 100.\n"
         "Press <Q> and <Return> to quit.\n" );
   while ( i < len )
   {
      printf( "Score No. %2d: ", i+1 );
      if ( scanf( "%hd", &scores[i] ) != 1 )
         break;      // 未读到数据:结束循环
      if ( scores[i] < 0 || scores[i] > 100 )
      {
         printf( "%d: Value out of range.\n", scores[i] );
         break;      // 抛弃这个值,并结束循环
       }
       ++i;
   }
   return i;         // 已存储的数据个数
}

continue 语句

continue 语句只能在循环体内使用,并且会造成程序流跳过当前循环中尚未执行的代码部分。它的语法如下:

continue;


在 while 或 do...while 循环中,当遇到 continue 语句时,程序会跳转到循环的控制表达式,并进行下一次的循环条件计算。在 for 循环中,程序会跳转到循环头部的第三个表达式,并进行下一次的循环条件计算。

在例 1 中,一旦输入值超出许可范围,第二条 break 语句会立即中止数据输入循环。为了让用户还有机会输入正确的值,把第二条 break 语句用 continue 取代。那么这个程序就会跳转到 while 循环的下一次循环,忽略自增 i 的语句:
// 读取分数
// --------------------------
int getScores( short scores[ ], int len )
{
   /* ... (同例6-7) ... */
   while ( i < len )
   {
      /* ... (同例6-7) ... */
      if ( scores[i] < 0 || scores[i] > 100 )
      {
         printf( "%d : Value out of range.\n", scores[i] );
         continue;             // 抛弃这个值,并读取另一个值
      }
      ++i;                     // 已存储的数据个数加1
   }
   return i;           // 已存储的数据个数
}

goto 语句

goto 语句会造成无条件跳转,它跳转到同一个函数中的另一条语句。跳转的目的地使用标签名称来指定,语法如下:

goto 标签名称;


一个标签由标签名称及其后面的冒号组成:

标签名称: 语句


标签有自己的命名空间,也就是说,标签可以使用与变量或类型一样的名称,而不会发生冲突。标签可以被放在任何语句的前面,并且一条语句也可以有多个标签。

标签的目的是标识 goto 语句的目的地,对于语句本身,没有任何影响,被贴上标签的语句依然可以由上而下顺序地执行。下面的函数在 return 语句后面加上了标签,标记了一个错误处理程序的进入点:
// 在函数内部处理错误
// ----------------------------------
#include <stdbool.h>                            // 定义布尔值,true和false(C99)
#define MAX_ARR_LENGTH 1000
bool calculate( double arr[ ], int len, double* result )
{
   bool error = false;
   if ( len < 1 || len > MAX_ARR_LENGTH )
     goto error_exit;
   for ( int i = 0; i < len; ++i )
   {
     /* ... 一些计算操作,其可能造成错误标志error被设定...
      */
     if ( error )
        goto error_exit;
     /* ... 继续计算;结果被存储到变量 *result 中...
      */
   }
   return true;                               // 如果没有错误,程序会执行到此处

   error_exit:                        // 错误处理子程序
   *result = 0.0;
   return false;
}

如果跳转会跨越变量的声明与初始化语句,那么就不应该利用goto语句从语句块外跳转到语句块内。然而,如果跳转跨越了对可变长度数组的定义,而跳到了其作用域的内部,那么这种跳跃是非法的:
static const int maxSize = 1000;
double func( int n )
{
   double x = 0.0;
   if ( n > 0 && n < maxSize )
   {
      double arr[n];                      // 一个变长度数组
      again:
      /* ... */
      if ( x == 0.0 )
        goto again;                           // 合法:在arr的作用域内跳转
   }
   if ( x < 0.0 )
      goto again;                             // 非法: 从arr的作用域外跳转到作用域内

   return x;
}

如果使用太多 goto 语句,程序代码会变得可读性很差,因此,只有在非常有必要时才应该使用 goto 语句,比如从很深的嵌套循坏中跳离。实际上,在任何使用到 goto 语句的地方,都可以采用其他方式的语句进行改写。

goto 语句只允许进行局部跳转:也就是在当前所在函数的内部跳转。C 语言还提供了一个特性,允许进行非局部跳转,即可以跳转到程序的任何点,做法是利用标准宏 setjmp()和标准函数 longjmp()。

宏 setjmp()在程序中设置一个地点,将程序流的必要处理信息存储起来,这样的话,当调用函数 longjmp()时,就可以在任何时刻返回到该地点继续执行。

return 语句

return 语句会中止执行当前函数,跳转回到调用该函数的位置

return [表达式];


这里的表达式会被计算,且结果会被传送给函数调用者,当作被调用函数的返回值。如有必要,返回值会被转换到被调用函数的返回值类型。

一个函数内可以有任意多个 return 语句:
// 返回两个整数类型参数中的较小值
int min( int a, int b )
{
   if ( a < b ) return a;
   else             return b;
}

该函数体内的 if else 语句可以用下面这一条语句来替代:
return ( a < b ? a : b );

括号不会影响 return 语句的执行行为。然而,复杂的 return 表达式常常被放在括号内,以提高代码的可阅读性。

不带任何表达式的 return 语句仅能在类型为 void 的函数中使用。事实上,这样的函数也根本不需要 return 语句。如果在函数内没有 return 语句,程序流会在函数块尾部结束,然后返回到调用该函数的地方。