Classes

D supporte les classes et les interfaces comme en Java ou en C++.

Toutes les classes héritent de Object implicitement:

class Foo { } // hérite de Object
class Bar : Foo {} // Bar est également un Foo

Les classes en D sont générallement instanciées sur le tas en utilisant new:

auto bar = new Bar;

Les objets de type classe sont toujours des types par référence et contrairement aux struct ne sont pas copiés par valeur:

Bar bar = foo; // bar pointe vers foo

Le ramasse-miette s'assurera que la mémoire est libérée quand il n'y a plus aucune référence vers un objet.

Héritage

Si une méthode d'une classe de base est surchargée, le mot clé override doit être utilisé pour l'indiquer. Cela protège des surcharges accidentelles de fonctions:

class Bar : Foo {
    override fonctionDeFoo() {}
}

En D, les classes ne peuvent hériter que d'une seule classe.

Méthodes final et abstract

  • Une fonction peut être déclarée final dans une classes parente pour empêcher la surchage dans les classes filles
  • Une fonction peut être déclarée abstract dans une classe parente pour forcer la surcharge dans les classes filles
  • Une classe complète peut être déclarée abstract pour empêcher qu'elle ne soit instanciée
  • super(...) peut être utilisé pour appeller explicitement le constructeur de base.

Comparer des classes

Pour les objets de type classe, les opérateurs == et != comparent le contenu des objets. De ce fait, comparer une classe avec null est une erreur, puisque null n'a pas de contenu. L'opérateur is comparent deux classes pour voir si elles sont identiques. Pour tester la différence, utilisez e1 !is e2:

MaClasse c;
if(c == null) // ERREUR
    //...
if(c is null) // ok
    //...

Les structs sont comparées bit à bit lorsqu'utilisées avec is. Pour les autres types, l'identité est équivalent à l'égalité.

Pour aller plus loin

rdmd playground.d