C++代码中goto的作用讲解

心已赠人 2024-04-20 05:42 84阅读 0赞

> 提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

#### 文章目录 ####

*  前言
 *  一、标签作用域
 *  二、使用
 *   *  1.普通用法
     *  2.跳出循环
     *  3.跳入语句
 *  三、注意
 *   *  1.初始化错误
     *  2.异常错误
 *  总结

--------------------

## 前言 ##

goto语句在大多数由程序员直接完成的高级程序设计任务中都没什么用，但是在由别的程序生成的C++代码中非常重要。例如，goto可能会出现在一个由解析生成器生成的解析程序中。

--------------------

## 一、标签作用域 ##

标签的作用域是标签所处的函数。这意味着你能用goto从块的范围跳进跳出，唯一的`限制`是`不能跳过初始化器`或者`跳入到异常处理程序中`。

## 二、使用 ##

### 1.普通用法 ###

根据条件判断来选择跳转时机。

int a = 1;
    	if(a == 1)
    		goto exit;
        cout << "a != 1" << endl;
        exit:
        cout << "a == 1" << endl;

`注意：无论跳不跳转，exit后面的代码最终都会执行，goto跳过的是exit前的代码。`

### 2.跳出循环 ###

goto可以直接跳出多层循环，break只能跳出离自己最近的那个循环。

int a = 1;
        for (int i = 0; i < 10; ++i) {
        
            cout << "i == " << i << endl;
            for (int j = 0; j < 10; ++j) {
        
                cout << "j == " << j << endl;
                if (j == 3)
                    goto exit;
            }
        }
        cout << "a != 1" << endl;
        exit:
        cout << "a == 1" << endl;

### 3.跳入语句 ###

goto可以跳入标签作用域内几乎任何语句，比如if语句。一般if语句会判断条件来确定是否执行，goto不用判断if条件也能跳转，你要确定这么做是不是有意义。

int a = 1;
        for (int i = 0; i < 10; ++i) {
        
            cout << "i == " << i << endl;
            for (int j = 0; j < 10; ++j) {
        
                cout << "j == " << j << endl;
                if (j == 4)
                    goto exit2;
            }
        }
        cout << "a != 1" << endl;
        exit1:
        cout << "a == 1" << endl;
        if (a != 0) {
        
            exit2:
            cout << "a != 0" << endl;
            goto exit1;
        }

`注意：上面的程序段会陷入 死循环！`

## 三、注意 ##

### 1.初始化错误 ###

goto代码之后不能存在初始化语句，否则编译不通过。

int a = 1;
        for (int i = 0; i < 10; ++i) {
        
            cout << "i == " << i << endl;
            for (int j = 0; j < 10; ++j) {
        
                cout << "j == " << j << endl;
                if (j == 3)
                    goto exit;
            }
        }
        int b = 1;//初始化语句，编译报错
        cout << "a != 1" << endl;
        exit:
        cout << "a == 1" << endl;

这段代码编译不通过，具体报错为：

/tmp/tmp.pGCVxb1Mvn/main.cpp: In function 鈥�void test_goto()鈥�:
    /tmp/tmp.pGCVxb1Mvn/main.cpp:55:5: error: jump to label 鈥�exit鈥�
       55 |     exit:
          |     ^~~~
    /tmp/tmp.pGCVxb1Mvn/main.cpp:50:22: note:   from here
       50 |                 goto exit;
          |                      ^~~~
    /tmp/tmp.pGCVxb1Mvn/main.cpp:53:9: note:   `crosses initialization` of 鈥�int b鈥�
       53 |     int b = 1;
          |         ^

### 2.异常错误 ###

goto语句的标签不能放在异常处理程序中，导致编译不通过。

int a = 1;
        for (int i = 0; i < 10; ++i) {
        
            cout << "i == " << i << endl;
            for (int j = 0; j < 10; ++j) {
        
                cout << "j == " << j << endl;
                if (j == 4)
                    goto exit2;
            }
        }
        cout << "a != 1" << endl;
        exit1:
        cout << "a == 1" << endl;
        try {
        
            exit2:
            cout << "try" << endl;
        } catch (...) {
        
        }

这段代码编译不通过，具体报错为：

/tmp/tmp.pGCVxb1Mvn/main.cpp: In function 鈥�void test_goto()鈥�:
    /tmp/tmp.pGCVxb1Mvn/main.cpp:61:9: error: jump to label 鈥�exit2鈥�
       61 |         exit2:
          |         ^~~~~
    /tmp/tmp.pGCVxb1Mvn/main.cpp:52:22: note:   from here
       52 |                 goto exit2;
          |                      ^~~~~
    /tmp/tmp.pGCVxb1Mvn/main.cpp:61:9: note:   `enters 鈥�try鈥� block`
       61 |         exit2:
          |         ^~~~~
    gmake[3]: *** [CMakeFiles/Vector.dir/build.make:76: CMakeFiles/Vector.dir/main.cpp.o] Error 1
    gmake[2]: *** [CMakeFiles/Makefile2:83: CMakeFiles/Vector.dir/all] Error 2
    gmake[1]: *** [CMakeFiles/Makefile2:90: CMakeFiles/Vector.dir/rule] Error 2
    gmake: *** [Makefile:124: Vector] Error 2

--------------------

## 总结 ##

1、应该来说跳出循环可能是最有用的功能了  
2、goto可以通过逻辑语句替代