Πότε συμβαίνει υπερφόρτωση κατά τη χρήση ενσωματωμένων συναρτήσεων;

Η υπερφόρτωση των inline συναρτήσεων στο Kotlin δεν συμβαίνει με τον κλασικό τρόπο, όπως με τις κανονικές συναρτήσεις. Στην πραγματικότητα, μια inline συνάρτηση στις θέσεις κλήσης αντικαθίσταται με το σώμα της. Αυτό σημαίνει ότι κατά τη μεταγλώττιση, ο bytecode της JVM δεν περιέχει μια ξεχωριστή κλήση στη συνάρτηση, αλλά αντίθετα ο κώδικας από το σώμα της συνάρτησης εισάγεται στη θέση της.

Ακολουθούν τα βασικά σημεία σχετικά με την "υπερφόρτωση" και τις inline συναρτήσεις:

• Χωρίς άμεση κλήση: Μια inline συνάρτηση δεν δημιουργεί μια ξεχωριστή μέθοδο στον bytecode που θα μπορούσε να υπερφορτωθεί.
• Αντικατάσταση κώδικα: Το σώμα της inline συνάρτησης εισάγεται άμεσα στις θέσεις κλήσης.
• Επίδραση των γενικών παραμέτρων: Αν η inline συνάρτηση έχει γενικές παραμέτρους, κατά την εισαγωγή του κώδικα, ο μεταγλωττιστής μπορεί να δημιουργήσει εξειδικευμένες εκδόσεις του κώδικα για διαφορετικούς συγκεκριμένους τύπους. Αυτό μοιάζει με την εξειδίκευση σε C++, αλλά δεν είναι κλασική υπερφόρτωση.
• Επίδραση των συναρτήσεων ανώτερου επιπέδου: Οι inline συναρτήσεις συχνά χρησιμοποιούνται με συναρτήσεις ανώτερου επιπέδου. Αν η έκφραση lambda που περνάει στη inline συνάρτηση ενσωματώνεται επίσης, τότε ο bytecode της lambda εισάγεται άμεσα. Αν η lambda δεν ενσωματώνεται (noinline), δημιουργείται ένα ξεχωριστό αντικείμενο και μέθοδος γι' αυτή.

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