Anchor Falldefinition in Rekursion

Question

Anchor Falldefinition lautet wie folgt:

Der Wert der Funktion für einen oder mehrere Werte des Parameters angegeben wird.

Nun schauen wir uns die rekursive Fakultäts-Funktion einen Blick:

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

Ich verstehe dieses Bit: „Der Wert der Funktion angegeben wird ...“ ich das; Wenn die Funktion den Ankerfall erreicht, wird einfach 1 zurückgegeben.

Was ich nicht verstehe ist, dass der Wert der Funktion "für einen oder mehrere Werte des Parameters angegeben" ist?

Wird über den Funktionsparameter oder die mathematischen Parameter gesprochen? Ich sehe einfach nicht, dass der Wert der Funktion für einen oder mehrere Werte der [function] -Parameter angegeben wird, wenn der Laufzeit-Stack aufgerufen wird.

Answer 1

Einige rekursive Funktionen haben mehr als einen Basisfall. Zum Beispiel hat die Fibonacci-Sequenz Werte für die Eingaben 0 und 1 angegeben und rekursiv für höhere Werte.

unsigned int fib(unsigned n) { 
    if (n == 0 || n == 1) { 
     return 1; 
    } else { 
     return fib(n-1) + fib(n-2); 
    } 
} 

Answer 2

Dies bezieht sich auf funktionale Parameter. Dies ist eine statische Eigenschaft der Funktion. Es hat nichts mit Transientenstatus zur Laufzeit zu tun. "Wenn der Run-Time-Stack aufgerufen wird" ist kein Problem.

Das Konzept ist, dass jede Rekursion uns näher an eine Antwort bewegen muss. Das bedeutet, dass am Ende der Aufrufstruktur ein absoluter (nicht rekursiver) Wert vorhanden sein muss. Diese Antwort ist der Ankerfall.

Einige Prozesse haben nur einen Anker. Fibonacci hat zwei. Einige haben mehr, abhängig davon, wo der "Boden" für diesen bestimmten Prozess ist.