Qual è la ragione dell'introduzione della parola chiave abstract nella versione Dart 2.12?

La parola chiave abstract in Dart 2.12 è stata introdotta per contrassegnare esplicitamente le classi astratte. In precedenza, le classi astratte venivano definite in modo implicito, ad esempio se una classe conteneva metodi astratti (senza implementazione). L'introduzione di abstract permette:

• Di marcare esplicitamente una classe come astratta, migliorando la leggibilità del codice.
• Di vietare la creazione di istanze di tali classi direttamente.
• Di migliorare il supporto per l'analisi statica e gli strumenti di sviluppo.

Esempio di utilizzo:

abstract class Animal {
  void makeSound(); // metodo astratto
}

class Dog extends Animal {
  @override
  void makeSound() {
    print('Bark');
  }
}

Qui, Animal è una classe astratta che non può essere istanziata direttamente.