Bu yineleme programı neden çalışıyor?

Question

#include <iostream> 

using namespace std; 

int main() { 
    int n,x; 
    int fact(int); 

    cin >> n; 

    x = fact(n); 

    cout << x; 

    return 0; 
} 

int fact(int n) { 
    if(n!=1) 
     return n*fact(n-1); 
} 

Son durumda, argüman işlev olgusuna iletildiğinde 1, kodumda belirtmeden, fact(1)'un 1'e eşit olduğunu nasıl hesaplayabilir?

Answer 1

Bu program, tanımlanmamış davranışlara dayanmaktadır. Çalışmak kesinlikle garanti edilmez, ancak gönderdiğiniz parametrenin (1), çağıran kodun geri dönüş değeri olarak algıladığı bir yerde bulunduğunu görmüş olabilirsiniz. Bu davranışa bağlı değil yapınız.

Birçok C++ derleyici semantik sorunu sahip olarak, bu kodu reddetmek: tüm kontrol yolları aslında() Bu fonksiyon imzası, bir tamsayı geri

Answer 2

int fact(int n); 

arasında bir değer iade değil, ancak n = 1 verildiğinde, uygulamanızda karşılık gelen bir geri bildirim yok. Bu durumda, işlev herhangi bir int değerini (ör. Bellekte çöp) döndürebilir ve davranış tanımsız olur. Derleyiciniz çalışmasına izin verse de buna güvenmemelisiniz.

Programınızı derlerken bir uyarı gördüğünüzden eminim.

uyarı: Kontrol olmayan boşluk fonksiyonunun son ulaşabilir [-Wreturn tipi]

Kişisel olarak, don benim ortamında (Mac OSX'te g ++), derleyici aşağıdaki uyarıda Bir derleyicinin bu tür bir hataya izin vermesinin iyi bir sebebi olduğunu düşünün (yani derleme başarısız olmalıdır).

Referans: Benzer bir soru aşağıda bulunur:

C++ return value without return statement