Τι μπορεί να οδηγήσει σε υπερχείλιση της στοίβας σε ένα πρόγραμμα;

Η υπερχείλιση στοίβας (stack overflow) συμβαίνει όταν η στοίβα κλήσεων γεμίζει λόγω πολύ βαθιάς αναδρομής ή ατέρμονων κλήσεων συναρτήσεων.

Κύριες αιτίες:

• Ατέρμονη αναδρομή — η συνάρτηση καλεί τον εαυτό της χωρίς συνθήκη εξόδου.
• Πάρα πολύ βαθιά αναδρομή — ακόμα και με συνθήκη εξόδου, αλλά το βάθος των κλήσεων είναι πολύ μεγάλο (π.χ., κατά την επεξεργασία μεγάλων δομών δεδομένων).
• Κυκλικές κλήσεις συναρτήσεων — οι συναρτήσεις καλούν η μία την άλλη σε έναν κύκλο χωρίς έξοδο.

Παράδειγμα ατέρμονης αναδρομής σε C#:

void Recursive()
{
    Recursive(); // χωρίς συνθήκη εξόδου
}

Recursive();

Για να αποφύγετε την υπερχείλιση στοίβας, πρέπει πάντα να έχετε μια σωστή συνθήκη εξόδου για την αναδρομή ή να χρησιμοποιείτε επαναληπτικούς αλγορίθμους αν το βάθος των κλήσεων μπορεί να είναι μεγάλο.