跳转语句（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 语句，程序流会在函数块尾部结束，然后返回到调用该函数的地方。

本文链接：http://task.lmcjl.com/news/4932.html