Τι εμποδίζει τη χρήση υπερφόρτωσης μεθόδων που διαφέρουν μόνο στον τύπο του αποτελέσματος που επιστρέφεται;

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

Για παράδειγμα, αν υπάρχουν δύο μέθοδοι:

func getValue() -> Int { ... }
func getValue() -> String { ... }

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

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