在这种情况下用 goto 很优雅

一种”适合“用goto的情况,也就是用goto更自然的情况如下:

for()
{
    for()
    {
        if(条件A);确保内循环没有符合的内容
        {
            触发A跳出来
        }
    }
    正常跳出来
}

for()
{
    for()
    {
        if(条件A);确保内循环没有符合的内容
        {
            触发A跳出来
            goto it:
        }
    }
    正常跳出来
    it:
    ;
}

如何区分正常跳出来和触发跳出来？只用break是无法满足的.

一个具体例子是:

从A数组排除B数组中已经存在的项，将结果复制到C数组中.
即取A和B的差集.

A[]={0x1,0x2,0x3};
B[]={0x3};
C[3]={0};

for(i=0,z=0;i<sizeof(A);++i)
{
    for(j=0;j<sizeof(B);++j)//只有全部比较完才能确定真的没有匹配
    {
        if(A[i]==B[j])
        {
            //发现这是一个已经存在的,不拷贝
            goto nocopy:
        }
    }
    //平安无事来到这里
    C[z]=A[i];
    ++z;

    nocopy:
}

我们在外面是搞不清楚里面的指令来源是哪里.即是否需要拷贝.
有可能是全部循环完自然需要拷贝来到这里,也有可能是不需要拷贝直接来到这里.

除非我们用一个数字在外面声明,用来标记这种来源.但是用数字标识这样看起来并不优雅.

我在我的项目中自然而然地使用了goto都是类似于此种用法.

总结:

双层循环里面的判断逻辑,缺乏一种手段在需要的情况下来直接打穿双层for,而传统的break则会和内层循环结束的流程混合在一起,此时我们就有必要用goto来进行此操作.

此外goto的替代操作有：

• try…catch
• bool ok

前者暗藏陷阱，而后者过于啰嗦。如果你的语言支持goto，请使用它在合理的位置。