Τι επιτρέπουν οι σταθεροί κατασκευαστές στο Dart;

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

Πλεονεκτήματα της χρήσης σταθερών κατασκευαστών:

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

Όροι για τη χρήση σταθερού κατασκευαστή:

• Όλα τα πεδία της κλάσης πρέπει να είναι τελικά (final).
• Το σώμα του κατασκευαστή πρέπει να είναι κενό ή να περιέχει μόνο μια κλήση στον γονέα (super()).
• Ο κατασκευαστής πρέπει να επισημανθεί με τη λέξη-κλειδί const.

Παράδειγμα:

class Point {
  final double x;
  final double y;

  // Σταθερός κατασκευαστής
  const Point(this.x, this.y);
}

void main() {
  // Δημιουργία σταθερών αντικειμένων
  const Point p1 = Point(0.0, 0.0);
  const Point p2 = Point(0.0, 0.0);

  // p1 και p2 αναφέρονται στο ίδιο αντικείμενο στη μνήμη
  print(p1 == p2); // Θα εμφανίσει true
}