复杂的尾递归案例

Question

编译器是否有可能在这种情况下识别尾递归？

void f(int x) { 
    if (x == 1) { 
     /* do_1... */ 
    } 
    else if (x == 2) { 
     /* do_2... */ 
    } 
    else if (x == 3) { // here, we want do_2 and do_3; the order doesn't matter 
     /* do_3... */ 
     f(2); // this should be tail recursive 
    } 
    else if (x == 4) { 
     /* do_4... */ 
    } 
} 

会放置return;后f(2);帮助编译器将其识别为一个尾递归的情况下？

Answer 1

一个识别tail-call优化机会的编译器在该特定用例中应该没有问题的识别。