Τι είναι η 'εξαγωγή τύπου' στο Kotlin;

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

Παραδείγματα:

// Υπόθεση τύπου για var
var count = 10 // Ο μεταγλωττιστής αποδίδει τύπο Int
// count = "hello" // Σφάλμα σύνταξης: δεν μπορεί να αποδοθεί String σε Int

// Υπόθεση τύπου για val
val name = "Kotlin" // Ο μεταγλωττιστής αποδίδει τύπο String
// name = "Java" // Σφάλμα σύνταξης: το val είναι αμετάβλητο

// Υπόθεση τύπου για εκφράσεις
val sum = 5 + 3.14 // Ο μεταγλωττιστής αποδίδει τύπο Double

Οφέλη:

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

Σημαντικά σημεία:

• Η υπόθεση τύπου είναι περιορισμένη. Σε ορισμένες περιπτώσεις (π.χ., δήλωση μεταβλητής χωρίς αρχική τιμή) απαιτείται ρητή δήλωση τύπου.
• Οι μεταβλητές που δηλώνονται με var μπορούν να αλλάξουν τιμή, αλλά όχι τύπο, μετά την υπόθεση τύπου.

var number: Int // Απαιτείται ρητή δήλωση τύπου, καθώς δεν υπάρχει αρχική τιμή