Distruttore (informatica)

Questa voce o sezione sull'argomento programmazione non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti.

Questa voce o sezione sull'argomento informatica è ritenuta da controllare.

Motivo: Come la voce sul costruttore, contiene imprecisioni ed elementi C++-centrici. Non è propriamente vero che il distruttore ha "lo scopo" di liberare risorse; non in tutti i modelli viene considerato "un metodo"; che debba essere necessariamente pubblico è sicuramente affermazione legata a qualche particolare linguaggio, ecc. Vedere la voce di en

---

Partecipa alla discussione e/o correggi la voce. Segui i suggerimenti del progetto di riferimento.

I distruttori, in informatica e specificamente nella programmazione orientata agli oggetti, sono degli eventi particolari che vengono invocati automaticamente quando l'oggetto viene distrutto.
Sono stati concepiti per liberare le risorse utilizzate dall'oggetto, definite dalla loro classe e create dal corrispondente costruttore ed eventualmente le altre risorse allocate dinamicamente durante l'esecuzione dei metodi dell'oggetto stesso.

Nella creazione del codice di un distruttore occorre agire con particolare attenzione, in quanto per evitare fenomeni di memory leak si deve essere certi che tutte le strutture dati liberino correttamente la memoria da loro utilizzata compresa quella eventualmente utilizzata da altre strutture annidate al loro interno.

Il distruttore, a differenza del costruttore, non può accettare nessun tipo di parametro, perché se non chiamato esplicitamente, sarà il compilatore a inserire a fine programma la chiamata al distruttore. Per questo motivo, per ogni classe può esserci un solo distruttore, rendendo impossibile l'overloading.

Non è obbligatorio che un distruttore sia dichiarato public. L'esempio:

class A {int i;
       ~A() {} 
public: A(int v) {i=v;} 
};

int main(int argc, char* argv[])
{
  A *a = new A(2); // ok
  // A b(1);  <----- non ammesso perché il distruttore è privato (error C2248: 'A::~A' : cannot access private member declared in class 'A')
}

compila perfettamente ma impedisce che un oggetto di classe A venga istanziato sullo stack ma consente che venga istanziato sullo heap. È ovvio tuttavia che un metodo di distruzione debba essere fornito all'utente il quale, a questo punto, può accettare anche dei parametri e tornare dei valori. Esempio:

class A {int i;
static int count;
                ~A ()     {}
public:          A (int v){i=v; count++;}
static bool Delete (A *a) {if (!count) return false; count--; delete a; return true;}
};
int A::count = 0;

int main(int argc, char* argv[])
{
  A *a = new A(2);
  bool b = A::Delete (a);// b=1
  b = A::Delete (a);     // b=0
}

Nei linguaggi che mettono a disposizione un garbage collector, il distruttore è spesso inutile in quanto le risorse occupate da un oggetto vengono automaticamente liberate nel momento in cui non c'è più nessun riferimento all'oggetto stesso. In questi linguaggi è generalmente possibile utilizzare o definire ugualmente appositi metodi per ottenere il medesimo effetto, nei casi in cui si desideri disattivare il garbage collector, in quanto per alcuni task critici potrebbe risultare troppo inefficiente. Esempio di linguaggi di programmazione fra i più conosciuti a utilizzare il meccanismo della garbage collection sono Java e la versione 2 di Objective-C.

In C++ l'implementazione esplicita del distruttore è solitamente necessaria nell'implementazione di classi che gestiscono risorse. In accordo alla regola del tre, solitamente l'implementazione del distruttore è accompagnata dall'implementazione di un costruttore di copia e di un operatore di assegnamento.

class Point
{
public:
   Point();              // Costruttore di default
   ~Point();             // Distruttore
   // ... altri metodi ...
private:
   int x;
   int y;
}

Questo linguaggio possiede il garbage collection rendendo poco usati i distruttori

public class Punto
{
   private float x;
   private float y;
   public ~Punto()  // Distruttore
   { // ... codice qui ...
   }
}

Nella versione 4 (e precedenti) di PHP non esisteva il distruttore. Era presente una semplice gestione degli oggetti con l'uso dei costruttori.

Nella versione 5 il nome della funzione deve essere __destructor().

class Point
{
   private $x;;
   private $y;
   public function __destructor ( )
   {
        // ... codice qui ...
   }
}

• Costruttore
• Programmazione orientata agli oggetti

• (EN) Denis Howe, destructor, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL

Portale Informatica: accedi alle voci di Teknopedia che trattano di informatica