Question

功能或方法如：

void DoSomething(...){

  if( ... ) return;

  ...
}

检查是否满足条件时跳过整个功能。编译器是否将检查代码移到函数/方法之外以避免无用的函数调用？

Answer 1

这取决于编译器。使用-cc上的gcc，调用将被忽略。

试试看，我写道：

int g;                                       

int dosomething(int x) {                     
    if (x == 0) return g;                    

    int y = 0;                               
    for (int i = 0; i < x; i++)              
        y += i;                              
    return y;                                
}                                            

int docall() {                               
    return dosomething(0);                   
}

（有一个全球性的，以确保最后一次通话不会被轻视优化）用-s编译但没有O标志我在汇编程序中得到这个：

_Z6docallv:
.LFB1:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    movl    $0, %edi
    call    _Z11dosomethingi
    popq    %rbp
    .cfi_def_cfa 7, 8
    ret

有一个完全成熟的dosomething调用0作为参数，而使用-O3我得到：

_Z6docallv:
.LFB1:
    .cfi_startproc
    movl    g(%rip), %eax
    ret

所以它返回默认值dosomething而不调用它。

Answer 2

如果满足if条件，则将执行return语句，并跳过函数的其余部分。如果没有，则执行函数体的其余部分（取决于正文）。

编译器是否将跳过检查移到函数调用之外？

2 个答案: