Problem med rekursion i C.

@Oggaaaa: det kompilatorn klagar på är detta

return arr[nr] * mulArray2(arr, nr--);

Detta är ett uttryck, det är tillåtet att evaluera saker i vilken ordning som helst inom ett och samma uttryck.

Det betyder att det inte finns någon garanti att

arr[nr]

beräknas innan

mulArray2(arr, nr--)

Ser du problemet? nr kan alltså vara eller inte vara ökat med ett när arr[nr] evalueras.

Du ska nog även fundera lite över din jämförelse för när rekursionen ska avbrytas...

Det första elementet har ju index 0, och din if-sats ser till att nr-1 aldrig blir mindre än just 0. Så nej, du kommer inte gå utanför arrayen (inte åt det hållet i alla fall, den som anropar funktionen kan förstås ange ett för stort index).

I din ursprungliga jämförelse if(nr>=1 && nr!= '\0') så har för övrigt karaktären '\0' värdet 0, så det är bara ett krångligt sätt att skriva if(nr >= 1 && nr != 0) (och nr != 0 är förstås helt överflödig där).

Finns lite småputsning du kan göra, antagligen inte alls nödvändigt här.

Vid rekursion skiljer man mellan svansrekursiva anrop och sådan som inte är svansrekursiva. Fördelen med svansrekursion är att kompilatorn kan göra en del optimeringar, bl.a. så att anropsstacken inte växer vilket gör det möjligt att hantera godtyckligt djup rekursion.

Vissa språk garanterar svansrekursionoptimering, detta då de kanske inte har något annat sätt att göra loopar på. C ger inte denna garanti, men i praktiken utförs den när man slår på optimeringar.

Det skulle kunna se ut så här

int mulArray2(int arr[], int nr, int accProduct) {
    int product = accProduct * arr[--nr];
    if (nr == 0) {
        return product;
    }
    return mulArray2(arr, nr, product);
}

// Nu slipper man också dra bort ett från andra argumentet, 
// där skickar man in antal element initialt. 
// Kan inte hantera en array av längd noll som det står nu!!!
int productOfAllElements = mulArray2 (arrToMultiply, numberOfElementsOfArr, 1);

"Tricket" här är att sista uttrycket inte gör något annat än returnerar resultatet från det rekursiva anropet. Multiplikationen utförs som argument, inte på returvärdet!