C++流程控制中用于跳转的return和goto语句学习教程

return 语句
终止函数的执行并返回对调用函数的控制（或对操作系统的控制，如果您从 main 函数转移控制）。紧接在调用之后在调用函数中恢复执行。
语法

return [expression];

备注
expression 子句（如果存在）将转换为函数声明中指定的类型，就像正在执行初始化一样。从该类型的表达式到 return 类型的函数的转换会创建临时对象。

expression 子句的值将返回调用函数。如果省略该表达式，则函数的返回值是不确定的。构造函数和析构函数以及类型为 void的函数无法在 return 语句中指定表达式。所有其他类型的函数必须在 return 语句中指定表达式。
当控制流退出封闭函数定义的块时，结果将与执行不带表达式的 return 语句所获得的结果一样。这对于声明为返回值的函数无效。
一个函数可以包含任意数量的 return 语句。
以下示例将一个表达式与 return 语句一起使用来获取两个整数中的最大者。

// return_statement2.cpp
#include <stdio.h>

int max ( int a, int b )
{
  return ( a > b ? a : b );
}

int main()
{
  int nOne = 5;
  int nTwo = 7;

  printf_s("\n%d is bigger\n", max( nOne, nTwo ));
}

goto 语句

goto 语句无条件地将控制权转移给由指定的标识符标记的语句。
语法

goto identifier;

备注
由 identifier 指定的标记语句必须位于当前函数中。所有 identifier 名称都是内部命名空间的成员，因此不会干扰其他标识符。
语句标签仅对 goto 语句有意义；其它情况下，语句标签将被忽略。不能重新声明标签。
尽可能使用 break、continue 和 return 语句而不是 goto 语句是一种好的编程风格。但是，因为 break 语句仅退出循环的一个级别，所以可能必须使用 goto 语句退出深度嵌套的循环。

在此示例中，当 i 等于 3 时，goto 语句将控制权转移给标记为 stop 的点。

// goto_statement.cpp
#include <stdio.h>
int main()
{
  int i, j;

  for ( i = 0; i < 10; i++ )
  {
    printf_s( "Outer loop executing. i = %d\n", i );
    for ( j = 0; j < 2; j++ )
    {
      printf_s( " Inner loop executing. j = %d\n", j );
      if ( i == 3 )
        goto stop;
    }
  }

  // This message does not print: 
  printf_s( "Loop exited. i = %d\n", i );

  stop: 
  printf_s( "Jumped to stop. i = %d\n", i );
}

输出：

正在执行外部循环。i = 0
 正在执行内部循环。j = 0
 正在执行内部循环。j = 1
正在执行外部循环。i = 1
 正在执行内部循环。j = 0
 正在执行内部循环。j = 1
正在执行外部循环。i = 2
 正在执行内部循环。j = 0
 正在执行内部循环。j = 1
正在执行外部循环。i = 3
 正在执行内部循环。j = 0
跳转以停止。i = 3

控制的转移
可以在 goto 语句中使用 语句或 switchcase 标签来指定分支超出初始值设定项的程序。此类代码是非法的，除非包含初始值设定项的声明在跳转语句发生的块所封闭的块中。
下面的示例显示了声明和初始化对象 total、ch 和 i 的循环。也存在将控制权传递过初始值设定项的错误 goto 语句。

// transfers_of_control.cpp
// compile with: /W1
// Read input until a nonnumeric character is entered.
int main()
{
  char MyArray[5] = {'2','2','a','c'};
  int i = 0;
  while( 1 )
  {
   int total = 0;

   char ch = MyArray[i++];

   if ( ch >= '0' && ch <= '9' )
   {
     goto Label1;

     int i = ch - '0';
   Label1:
     total += i;  // C4700: transfers past initialization of i.
   } // i would be destroyed here if goto error were not present
  else
   // Break statement transfers control out of loop,
   // destroying total and ch.
   break;
  }
}

在前面的示例中，goto 语句尝试将控制权传递过 i 的初始化。但是，如果已声明但未初始化 i，则该传递是合法的。
在用作 total 语句的 chstatement 的块中声明的对象 和 while 在使用 break 语句退出此块时将被销毁。