🧩 Κεφάλαιο 10: Υποπρογράμματα

📌 Τμηματικός Προγραμματισμός

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

🔹 Τι είναι ο Τμηματικός Προγραμματισμός;

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

🔹 Τι είναι Υποπρόγραμμα;

Υποπρόγραμμα (subprogram) ονομάζουμε ένα τμήμα του προγράμματος το οποίο επιτελεί ένα αυτόνομο έργο και έχει γραφτεί χωριστά από το υπόλοιπο.

🔹 Απαιτήσεις για Σωστή Εφαρμογή

• Μελέτη στην ανάλυση του προβλήματος (δεν υπάρχουν συγκεκριμένοι κανόνες, η δυσκολία αυξάνεται όσο πιο μεγάλο και σύνθετο είναι το πρόβλημα).
• Εμπειρία στον προγραμματισμό.
• Ταλέντο.
• Γνώσεις.

📌 Ιδιότητες Υποπρογραμμάτων

Κάθε υποπρόγραμμα πρέπει να έχει τις εξής ιδιότητες:

1. Μία είσοδος και μία έξοδο: Το υποπρόγραμμα ενεργοποιείται με την είσοδο σε αυτό που γίνεται πάντοτε στην αρχή του, εκτελεί ορισμένες ενέργειες και απενεργοποιείται με την έξοδο από αυτό που γίνεται πάντοτε από το τέλος.
2. Ανεξαρτησία: Το κάθε υποπρόγραμμα πρέπει να μπορεί να σχεδιαστεί, να αναπτυχθεί και να συντηρηθεί αυτόνομα χωρίς να επηρεαστούν άλλα υποπρογράμματα. Στην πράξη η απόλυτη ανεξαρτησία είναι δύσκολο να επιτευχθεί.
3. Όχι πολύ μεγάλο: Το υποπρόγραμμα πρέπει να είναι τόσο, σε μέγεθος, ώστε να είναι εύκολα κατανοητό για να μπορέσει να ελεγχθεί. Πρέπει να εκτελεί μόνο μία λειτουργία — αν εκτελεί περισσότερες τότε θα πρέπει να διασπαστεί σε ακόμα μικρότερα.

📌 Πλεονεκτήματα Τμηματικού Προγραμματισμού

1. Διευκολύνει την ανάπτυξη: Ένα σύνθετο πρόβλημα μπορεί να αναλυθεί σε απλούστερα. Με τη σταδιακή επίλυση των υποπροβλημάτων και τη δημιουργία των αντίστοιχων υποπρογραμμάτων επιλύεται τελικά το συνολικό.
2. Διευκολύνει την κατανόηση και τη διόρθωση: Ο χωρισμός σε μικρότερα αυτοτελή τμήματα επιτρέπει τη γρήγορη διόρθωση ενός συγκεκριμένου τμήματος χωρίς οι αλλαγές να επηρεάσουν όλο το υπόλοιπο πρόγραμμα. Διευκολύνει οποιονδήποτε να διαβάσει και να κατανοήσει τη λειτουργία του προγράμματος.
3. Λιγότερος χρόνος και προσπάθεια: Μια συγκεκριμένη λειτουργία απαιτείται να επαναλαμβάνεται σε διαφορετικά σημεία. Από τη στιγμή που ένα υποπρόγραμμα έχει γραφτεί μπορεί να καλείται από πολλά σημεία. Μειώνεται το μέγεθος του προγράμματος, ο χρόνος συγγραφής και οι πιθανότητες λάθους.
4. Επεκτείνει τις δυνατότητες των γλωσσών: Ένα υποπρόγραμμα μπορεί εύκολα να χρησιμοποιηθεί και σε άλλα προγράμματα. Η συγγραφή πολλών υποπρογραμμάτων και η δημιουργία βιβλιοθηκών ουσιαστικά επεκτείνει την ίδια τη γλώσσα.

📌 Κλήση Υποπρογράμματος & Παράμετροι

🔹 Κλήση Υποπρογράμματος

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

🔹 Παράμετροι

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

📌 Είδη Υποπρογραμμάτων

Υπάρχουν δύο είδη υποπρογραμμάτων: οι διαδικασίες και οι συναρτήσεις. Και τα δύο τοποθετούνται μετά το τέλος του κυρίου προγράμματος.

🔹 Διαδικασίες

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

Ενεργοποιούνται με την εντολή ΚΑΛΕΣΕ και την εμφάνιση του ονόματός τους συνοδευόμενο με τη λίστα παραμέτρων σε παρενθέσεις.

ΚΑΛΕΣΕ Όνομα_Διαδικασίας (λίστα παραμέτρων)

🔹 Συναρτήσεις

Η λειτουργία τους είναι πιο περιορισμένη. Υπολογίζουν μια τιμή (ακέραια, πραγματική, χαρακτήρα ή λογική) και μόνο αυτή επιστρέφουν στο υποπρόγραμμα που την κάλεσε. Μοιάζουν με τις μαθηματικές συναρτήσεις και η χρήση τους είναι όμοια με τις ενσωματωμένες συναρτήσεις της γλώσσας.

Εκτελούνται απλά με την εμφάνιση του ονόματός τους σε μια έκφραση ή εντολή.

📌 Δομή και Σύνταξη Συνάρτησης

ΣΥΝΑΡΤΗΣΗ Όνομα(Λίστα παραμέτρων): Τύπος_Συνάρτησης
  Τμήμα Δηλώσεων
  ΑΡΧΗ
    ...εντολές...
    Όνομα ← Έκφραση
    ...εντολές...
  ΤΕΛΟΣ_ΣΥΝΑΡΤΗΣΗΣ

• Το όνομα της συνάρτησης είναι οποιοδήποτε έγκυρο όνομα της ΓΛΩΣΣΑΣ.
• Η λίστα παραμέτρων είναι μια λίστα μεταβλητών, των οποίων οι τιμές μεταβιβάζονται στη συνάρτηση κατά την κλήση.
• Οι συναρτήσεις μπορούν να επιστρέφουν τιμές όλων των τύπων δεδομένων (Ακέραια, Πραγματική, Χαρακτήρας, Λογική).
• Στο σώμα της συνάρτησης πρέπει υποχρεωτικά να υπάρχει μια εντολή εκχώρησης στο όνομα της συνάρτησης.

📌 Δομή και Σύνταξη Διαδικασίας

ΔΙΑΔΙΚΑΣΙΑ Όνομα(Λίστα παραμέτρων)
  Τμήμα Δηλώσεων
  ΑΡΧΗ
    ...εντολές...
  ΤΕΛΟΣ_ΔΙΑΔΙΚΑΣΙΑΣ

• Το όνομα της διαδικασίας είναι οποιοδήποτε έγκυρο όνομα της ΓΛΩΣΣΑΣ.
• Η λίστα παραμέτρων δεν είναι υποχρεωτική. Όταν δεν υπάρχουν παράμετροι, η διαδικασία ούτε παίρνει τιμές ούτε επιστρέφει (π.χ. μια διαδικασία που εμφανίζει ένα μενού επιλογών).
• Η εκτέλεση του προγράμματος διακόπτεται και εκτελούνται οι εντολές της διαδικασίας. Μετά το τέλος της, η εκτέλεση συνεχίζεται από την εντολή που ακολουθεί.
• Στο σώμα της διαδικασίας μπορεί να υπάρχουν οποιεσδήποτε εντολές της γλώσσας.

📌 Πραγματικές και Τυπικές Παράμετροι

• Τυπικές παράμετροι (ορίσματα): Καθορίζουν τις παραμέτρους στη δήλωση του υποπρογράμματος.
• Πραγματικές παράμετροι: Καθορίζουν τις παραμέτρους στην κλήση του υποπρογράμματος.

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

🔹 Κανόνες Παραμέτρων

1. Ο αριθμός των πραγματικών και τυπικών παραμέτρων πρέπει να είναι ίδιος.
2. Κάθε πραγματική παράμετρος αντιστοιχεί στην τυπική που βρίσκεται στην αντίστοιχη θέση (η πρώτη στην πρώτη, η δεύτερη στη δεύτερη κ.λπ.).
3. Η τυπική παράμετρος και η αντίστοιχη πραγματική πρέπει να είναι του ίδιου τύπου.

📌 Χρήση Στοίβας στην Κλήση Υποπρογραμμάτων

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

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

📌 Εμβέλεια Μεταβλητών

Οι μεταβλητές στη ΓΛΩΣΣΑ έχουν ισχύ μόνο για το τμήμα προγράμματος στο οποίο έχουν δηλωθεί — ισχύουν τοπικά. Το τμήμα του προγράμματος που ισχύουν οι μεταβλητές λέγεται εμβέλεια (scope) μεταβλητών.

Ο μόνος τρόπος για να περάσει μια τιμή από ένα υποπρόγραμμα σε ένα άλλο ή από το κυρίως πρόγραμμα σε ένα υποπρόγραμμα είναι δια μέσου των παραμέτρων κατά το στάδιο της κλήσης και μετά το τέλος της εκτέλεσης.

🔹 Τύποι Εμβέλειας

• Απεριόριστη εμβέλεια: Όλες οι μεταβλητές είναι καθολικές (γνωστές σε οποιοδήποτε τμήμα). Καταστρατηγεί την αρχή της αυτονομίας και δημιουργεί προβλήματα σε μεγάλα προγράμματα.
• Περιορισμένη εμβέλεια: Όλες οι μεταβλητές είναι τοπικές (ισχύουν μόνο στο υποπρόγραμμα που δηλώθηκαν). Αυτό έχει η ΓΛΩΣΣΑ. Πλεονεκτήματα: απόλυτη αυτονομία, δυνατότητα χρήσης οποιουδήποτε ονόματος.
• Μερικώς περιορισμένη εμβέλεια: Κάποιες μεταβλητές είναι τοπικές και κάποιες καθολικές. Προσφέρει πλεονεκτήματα στον πεπειραμένο προγραμματιστή, αλλά για τον αρχάριο περιπλέκει το πρόγραμμα.