Speicher

D ist eine Systemprogrammiersprache und erlaubt daher manuellen Zugriff auf den Systemspeicher. Manueller Zugriff impliziert jedoch, dass Fehler sehr leicht entstehen können, daher verwendet D standardmäßig einen Garbage Collector um Speicher freizugeben.

D verfügt über Adresstypen (aka Pointer) T* wie in C:

int a;
int* b = &a; // b beinhaltet die Adresse zu a
auto c = &a; // c hat den Typp int* und beinhaltet die Adresse zu a

Mit dem new Ausdruck kann ein neuer Speicherblock auf dem Heap alloziert werden. Der new Ausdruck gibt einen Pointer zu den allozierten Speicher zurück:

int* a = new int;

Sobald der Speicher, welcher durch a adressiert wird, von keiner Variable des Programmes mehr referenziert wird, wird der Speicher durch den Garbage Collector freigegeben.

In D gibt es drei Sicherheitsstufen für Funktionen: @system, @trusted und @safe. Außer explizit angeben, werden Funktionen als @system behandelt. @safe ist ein Subset von D, welches per Definition Speicherfehler verhindert. @safe Code kann nur andere @safe Funktionen oder Funktionen denen explizit mit @trusted vertraut wird, aufrufen. Manuelle Adressarithmetik ist in @safe Code verboten.

void main() @safe {
    int a = 5;
    int* p = &a;
    int* c = p + 5; // Fehler
}

@trusted Funktionen müssen manuell verifiziert werden und erlauben die Brücke zwischen SafeD und der zugrundeliegenden unsicheren, low-level Welt.

In der Tiefe

• SafeD