複雜的尾遞歸案例

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優化機會的編譯器在該特定用例中應該沒有問題的識別。