Ποια είναι η διαφορά μεταξύ στοίβας και σωρού;

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

Στοίβα:

• Χρησιμοποιείται για την αποθήκευση τοπικών μεταβλητών και διευθύνσεων επιστροφής συναρτήσεων.
• Λειτουργεί με την αρχή LIFO (Last In, First Out - τελευταίο εισήλθε, πρώτο εξέλθει).
• Η διαχείριση μνήμης είναι αυτόματη: η μνήμη δεσμεύεται κατά την είσοδο σε μια συνάρτηση και ελευθερώνεται κατά την έξοδο.
• Είναι ταχύτερη από τον σωρό λόγω της απλότητας διαχείρισης και της τοπικότητας των δεδομένων.
• Το μέγεθος είναι σταθερό ή περιορισμένο, και μπορεί να συμβεί υπερχείλιση στοίβας (stack overflow).

Σωρός:

• Χρησιμοποιείται για δυναμική κατανομή μνήμης αντικειμένων που μπορούν να παραμείνουν στη μνήμη μετά την έξοδο από την τρέχουσα συνάρτηση.
• Η διαχείριση μνήμης μπορεί να είναι χειροκίνητη (μέσω malloc/free σε C/C++) ή αυτόματη (ARC/Garbage Collection/Ownership σε Swift/Rust).
• Είναι πιο αργή από τη στοίβα λόγω πιο πολύπλοκης διαχείρισης και πιθανής κατακερματισμού.
• Το μέγεθος είναι πιο ευέλικτο και περιορίζεται μόνο από τη διαθέσιμη μνήμη του συστήματος.
• Μπορεί να προκύψει διαρροή μνήμης αν η δεσμευμένη μνήμη δεν ελευθερωθεί.

Σύγκριση:

Χαρακτηριστικό	Στοίβα	Σωρός
Αρχή λειτουργίας	LIFO	Χωρίς ορισμένη σειρά
Διαχείριση μνήμης	Αυτόματη	Χειροκίνητη ή αυτόματη (ARC/GC/Ownership)
Ταχύτητα	Ταχύτερη	Αργότερη
Χρήση	Τοπικές μεταβλητές, διευθύνσεις επιστροφής	Δυναμικά δεσμευμένα αντικείμενα, τύποι αναφοράς
Μέγεθος	Σταθερό / Περιορισμένο	Ευέλικτο
Πιθανά προβλήματα	Υπερχείλιση στοίβας (stack overflow)	Διαρροή μνήμης, κατακερματισμός

Στη Swift, οι Τύποι Αξίας (π.χ., struct, enum, βασικοί τύποι όπως Int, Bool) αποθηκεύονται γενικά στη στοίβα, ενώ οι Τύποι Αναφοράς (π.χ., class, closure) στον σωρό. Οι μεταβλητές, ακόμη και τύπων αναφοράς, μπορούν να αποθηκευτούν στη στοίβα χάρη σε ορισμένες βελτιστοποιήσεις του μεταγλωττιστή (escape analysis).