C/C++ goto——大聪明的挖坑能手，高手的清晰助手

原创已于 2022-06-08 17:59:39 修改 · 588 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c语言 #c++ #开发语言

于 2022-06-08 16:28:30 首次发布

C/C++研学之路专栏收录该内容

8 篇文章

订阅专栏

本文讨论了编程中的goto语句，指出其可能导致逻辑顺序混乱和潜在的错误，如内存泄漏。提出了使用goto的四个注意事项，包括限制在函数内使用，仅用于事件反馈，每个goto留注释，以及良好的函数逻辑划分。尽管goto提供了一定的便捷性，但应谨慎使用以保持代码可读性。建议在必须跳出复杂循环时考虑使用，但要避免在逻辑处理中滥用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

序言

我其实对goto语句一直抱有一定的疑惑，我记得刚开始学C的时候，老师布置作业，是有含着多重循环的某个数组内容匹配查找，我当时灵光一闪，用了goto迅速从多重循环里跳出来到末尾打印结果，结果被老师骂了一顿。

为什么呢？即使以我现在的浅薄水平来看，依然并无任何的问题存在，也很清晰，大概是这样的，我忘了以前的了。

QString func()
{
    const int judgeValue = 3;
    const int array[2][4] = {{5,6,7,8},{1,2,3,4}};

    for (int i = 0; i < 2; i++)
    {
        for (int j = 0; j < 4; j++)
        {
            if (array[i][j] == judgeValue)
            {
                goto FIND_OUT;
            }
        }
    }

    return "ERROR";
FIND_OUT:
    qDebug()<<"find out value";

    return "OK";
}

说起老师的理由也是挺奇葩的，不是因为我写得不好，而是因为我用了goto语句！？

我最近问了一次群友对goto的看法，结果存在相当一部分是看到用了就骂，我十分不赞同，所以我写下这篇。

goto为什么这么令人讨厌

其实我认为工具的好坏取决于使用者，goto不可能是真的不好，其应该存在其该存在的理由，不然甚至都不会还保留着。

逻辑顺序混乱

下文程序来源于invalid s分享的basic程序，充斥着goto语句，这种情况下，如果不缩行，你看得有清晰条理可言吗？

作者：invalid s
链接：https://www.zhihu.com/question/20259336/answer/1779133478
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

10 let int i = 1
20 do sth
30 do other
40 goto 190
50 other
60 gosub 180
70 gosub 170
80 gosub 160
90 XX
100 goto 240
...
160 let int call_flag = 1
170 print("hello world!")
180 let int call_flag2 = 2
190 what the fuck?
200 if call_flag = 1 goto 90 '不return了，将来有伏笔！
210 if call_flag2 = 2 goto 230
220 goto 40  '只有第40行会直接goto 190，直接goto回去就好了
230 goto 70
240 do other
 '注意这里利用了“伏笔”，所以千万别直接goto 160~180，会崩！
250 if call_flag2 = 2 return '本质上，这是把主程序中的若干行代码拿来当函数体内代码用了，因此其中引用的部分变量可能来自函数内部；return后回归本源
260 print("still alive?")
270 goto 10

你能够很快理解其中的功能吗？你只能从开头顺着一步步往下看，跳来跳去，理解都费劲。

当然，C/C++的goto不支持行号，如果支持行号，随便一更改程序就会全部乱套了。

容易越过不能越的代码区

最简单的，我随便写了一点程序代码，当代码足够多时，你可能会想着直接跳到最后返回，一般来说做法挺好的，但是如果存在一些不能跳的代码你忽略了呢？或许你会觉得这么简单的不可能忽略呢？

不要小看人的遗忘能力，看了信息忘了回都是常有的操作，况且我也只是简单的写一下代码。

23 {
24		Test memory = new Test();
		...
27 		for (...; ...; ...)
28		{
29			goto PACKAGE_ERROR;
30		}
		...
57 		if (...)
56 			delete memory;	//跳过了！导致内存泄漏！！！！！
		...
85 PACKAGE_ERROR:
86 		return "OK";
87 }

当某个功能需要编程跳到某行，可能就会直接想了一下，哦，用goto就行了，结果以前这写了什么代码也不太记得了，bug百家争鸣。
.

使用goto的可行方案

这是个人对goto的想法可行方案，非行业规范和标准，如有相似，实属同道中人。

使用goto时，要注意4点关键

1、只在函数里使用

这点很容易理解，当goto和标记在同一个函数里使用时，看这段代码，不需要顺着goto跳到其他地方看，会相对容易看一些，最好函数代码不要超过80行。

2、尽量或最好只作为事件反馈功能

比如说在某个位置判断出了事件所要知道的结果，已经不必要继续往下运行了，可以直接跳到函数的末尾进行函数收尾处理。

...
	if (array[i][j] == judgeValue)
	{
		goto FIND_OUT;
	}
...
FIND_OUT:
	qDebug()<<"find out value";
	//释放栈内存等操作，或者调用一些比如FFmpeg的释放编解码器之类的函数
	return "OK";

其实也可以使用智能指针避免内存泄漏操作。

3、为避免带偏见的人不爽，每个goto语句留下注释

如上，不喜欢用goto的，总会有所偏见，认为用goto会到处跳来跳去，对于这些人是没那么容易改变的，所以，最好写上注释，注明两部分：①为什么要跳；②跳去哪。

比如下面那点的代码，写清楚为什么要跳，要跳到末尾，自然就很快看到跳在哪里。

4、函数划分要划好逻辑块

我随便写一点函数，非正常使用功能函数，有些人喜欢按逻辑功能划块，有些人喜欢按代码功能划块。

都可以，但是一定要清晰明了，让人快速明白你的函数分布，不至于跳过一些不能跳的地方。

QString func()
{
    //第一部分，放定义块
    const int judgeValue = 3;
    const int array[2][4] = {{5,6,7,8},{1,2,3,4}};
    int *test_memory = new int(5);

    //第二部分，放函数代码逻辑块
    if (test_memory == nullptr)
    {
        goto MEMORY_NULL;		//申请内存失败（虽然此处申请无意义，但演示嘛），跳转末尾返回
    }
    
    for (int i = 0; i < 2; i++)
    {
        for (int j = 0; j < 4; j++)
        {
            if (array[i][j] == judgeValue)
            {
                goto FIND_OUT;	//找到该数，跳转至末尾返回
            }
        }
    }

    //第三部分，统一放返回值，函数结束时需解决的事件如内存释放等
    delete test_memory;
    return "can't find";
    
MEMORY_NULL:
    return "memroy is null";
    
FIND_OUT:
    delete test_memory;
    return "find out";
}