goto进入if...else分支的问题

tajial

1. int main()
   
2. {
   
3.     int i = 12, j = 20;
   
4. 
   
5.     goto XX;
   
6. 
   
7.     if (i > j)
   
8.     {
   
9. XX:
   
10.         printf("I'm here!\n");
    
11.     }
    
12.     else
    
13.     {
    
14.         printf("I'm there!\n");
    
15.     }
    
16. 
    
17.     return 0;
    
18. }

复制代码

执行结果是
I'm here!
谁能给我解释一下goto进入if分支之后，为什么不判断else的条件是否满足就直接跳出了？

maxxfire

else在那里但编译后就消失了。
判断jump指令是在XX之前做的。。

xiexiecn

else并没有什么条件，就算有也不会判断。假设上面没有goto的代码，你如果理解了，那么就能理解有goto的代码。
int main()
{
    int i = 12, j = 20;

    if (i > j)
    {
        printf("I'm here!\n");
    }
    else
    {
        printf("I'm there!\n");
    }

    return 0;
}
等价于：
int main()
{
    int i = 12, j = 20;

    if (i > j)
    {
        printf("I'm here!\n");
        goto out;
    }
    else
    {
        printf("I'm there!\n");
        goto out;
    }

out:

    return 0;
}

sunlan

楼主需要搞清楚条件判断的概念

langue

goto: unconditional jump
既然是无条件跳转，那么跳出block也是无条件的。有时编译器会采取优化，在生成的指令中去除else或者其它不被执行的部分，但这与执行逻辑无关，因为无论是否优化，那段代码都不会被执行。

bluesea666

goto: unconditional jump
既然是无条件跳转，那么跳出block也是无条件的。有时编译器会采取优化，在生成的 ...
langue 发表于 2010-05-08 19:27

    学习了.

huangwei0413

反汇编看