Destruktor

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Destruktor - w obiektowych językach programowania specjalna metoda, wywoływana przez program przed usunięciem obiektu i niemal nigdy nie jest wywoływana wprost w kodzie używającym obiektu. Pod względem funkcjonalnym jest to przeciwieństwo konstruktora.

Destruktor ma za zadanie wykonać czynności składające się na jego "zniszczenie", inne niż zwolnienie pamięci zajmowanej przez sam obiekt, przygotowujące obiekt do fizycznego usunięcia. Po jego wykonaniu obiekt znajduje się w stanie osobliwym i zazwyczaj nie można już z tym obiektem zrobić nic poza fizycznym usunięciem. Destruktor zwykle wykonuje takie czynności, jak zamknięcie połączenia z plikiem/gniazdem/potokiem, odrejestrowanie się z innych obiektów, czasem również zanotowanie faktu usunięcia, a także usunięcie obiektów podległych, które obiekt utworzył lub zostały mu przydzielone jako podległe (jeśli jest ich jedynym właścicielem) lub wyrejestrowanie się z jego użytkowania (jeśli jest to obiekt przezeń współdzielony).

W większości języków programowania (np. Object Pascal) destruktor jest dziedziczony jak każda inna metoda. Wiele obiektów nie musi mieć wcale destruktora, jeżeli poza zwolnieniem pamięci obiektu nie wymagają innych czynności i takie obiekty nazywamy trywialnie-destruowalnymi (ang. trivially-destructible). W takiej sytuacji wykorzystywany jest destruktor domyślny, tworzony automatycznie przez kompilator języka.

Istnienie destruktora i jego konstrukcja zależy od użytego języka programowania; choć w każdym języku obiekt musi być zniszczony pod koniec swojego życia, nie zawsze jest to oczywiste lub widoczne dla programisty, w niektórych językach istnieje mechanizm rozpoznawania czy obiekt jest używany i program automatycznie usuwa obiekty których nie używa inny obiekt. Tak nie jest np. w C++, ze względu na konieczność "ręcznego" zarządzania pamięcią, większość nietrywialnych klas musi posiadać jawne destruktory. Dla kontrastu, w Pythonie, gdzie normalnie nigdy nie ma miejsca jawny przydział zasobów, destruktory są rzadkością; można stworzyć nawet bardzo rozbudowane hierarchie klas bez napisania jednego destruktora. W praktyce destruktory wymagane są niemal wyłącznie w kodzie znajdującym się na styku Pythona i innego systemu lub języka, w którym wymagane jest jawne zarządzanie zasobami.

Oznaczanie destruktora[edytuj | edytuj kod]

Destruktor:

  • w C++, C# i innych językach których składnia wzorowana jest na C, destruktor ma taką samą nazwę jak klasa, poprzedzoną tyldą [~] (dla odróżnienia od konstruktora)
  • w Pascalu destruktor jest metodą oznaczoną słowem kluczowym destructor
  • w PHP destruktor ma nazwę __destruct

Przykładowy destruktor[edytuj | edytuj kod]

W składni C++:

  class Samochod{
    public:
      string marka;
      //... (pewne dane i metody)
      ~Samochod() {
        std::cout << "Samochod " << marka << " zostal usuniety.\n";
      }
  };

Tu destruktorem jest ~Samochod(). W chwili usuwania obiektu, dokładnie przed zwolnieniem pamięci przeznaczonej dla obiektu jest wywoływany destruktor -- stąd też podczas usuwania danego samochodu zostanie wyświetlona linijka tekstu informująca o tym. Warto zwrócić uwagę, że powyższy przykład jest nieco sztuczny -- destruktor takiej postaci nie jest błędny, ale w rzeczywistych programach (poza momentem testowania powoływania i niszczenia obiektów) nie stosuje się destruktorów do drukowania komunikatów na ekranie.

Destruktor a wyciek pamięci[edytuj | edytuj kod]

Ważnym zadaniem destruktora jest usuwanie podległych obiektów dynamicznych, które są mu przydzielone. Zapomnienie o tym może spowodować wycieki pamięci. Oto przykład klasy w C++, gdzie brak destruktora spowodowałby wyciek:

  class MojaKlasa 
  {
    public:
      MojaKlasa()
        : liczba(new int) 
      {
        *liczba = 0;
      }
      ~MojaKlasa() 
      {
        delete liczba;
      }
    private:
      int *liczba;
  };

Brak destruktora w tym przypadku spowoduje, że zostanie zwolniona pamięć przeznaczona obiekt w którym jest między innymi wskaźnik liczba, ale nie zostanie zwolniona pamięć na którą wskazuje liczba, gdyż zmienna ta jest oddzielnym elementem pamięci. Stąd też widać, że MojaKlasa nie jest klasą trywialnie niszczoną i destruktor domyślny nie jest wystarczający do prawidłowego usunięcia jej obiektów.

Powyższy przykład nie jest kompletną klasą, która działałaby prawidłowo w języku C++, gdyż brak jest konstruktora kopiującego i operatora przypisania. Nie został on jednak dodany ze względu na czytelność przykładu. Sposób przydzielenia pamięci dla zmiennej liczba.

Wirtualny destruktor[edytuj | edytuj kod]

W większości języków destruktor, tak jak każda metoda może być wirtualny. W wielu sytuacjach destruktor musi być wirtualny aby zapewnić prawidłowe wykorzystanie klasy, np. w C++ klasa musi mieć destruktor wirtualny kiedy zachodzi możliwość, że inna klasa będzie po niej dziedziczyła i będzie używany polimorfizm. Jest to możliwość dziedziczenia, nawet kiedy w danej chwili klasa nie ma żadnych potomków; w przeciwnym razie zachodzi konieczność zmiany deklaracji destruktora w momencie dodania klasy pochodnej, a to spowodowałoby zerwanie kompatybilności z już istniejącym kodem wykorzystującym tę klasę.

Przykład w C++[edytuj | edytuj kod]

#include <iostream>
 
class Osoba
{
   public:
      virtual ~Osoba()
      {
         std::cout << "~Osoba(): uruchomiono" << std::endl;
      }
};
 
class Pracownik : public Osoba
{
   public:
      ~Pracownik()
      {
         std::cout << "~Pracownik(): uruchomiono" << std::endl;
      }
};
 
int main()
{
   Osoba *wsk = new Pracownik;
   delete wsk;
 
   return 0;
}

W powyższym przykładzie zostały zdefiniowane dwie klasy - klasa podstawowa Osoba oraz klasa pochodna Pracownik. W sekcji publicznej klasy Osoba został zdefiniowany wirtualny destruktor. Ma to istotne znaczenie w przypadku wykorzystywania polimorfizmu.

W funkcji głównej main() zostaje zdefiniowany wskaźnik typu Osoba, któremu zostaje przypisany adres obiektu typu Pracownik zdefiniowanego dynamicznie. Poprzez wykorzystanie operatora delete, który usuwa z pamięci wcześniej utworzony obiekt typu Pracownik, zostaje wywołany niejawnie destruktor klasy Pracownik.

Wynikiem działania programu będzie wypisanie na ekranie:

~Pracownik(): uruchomiono
~Osoba(): uruchomiono

W przypadku pominięcia słowa virtual przed definicją destruktora w klasie Osoba, destruktor ~Pracownik() nie zostałby wywołany, ponieważ kompilator uznałby, że pokazuje na obiekt typu Osoba (nie zostałby sprawdzony typ obiektu, na który pokazuje wskaźnik, w trakcie działania programu).

Pominięcie wywołania destruktora klasy pochodnej może doprowadzić do poważnych błędów w działaniu programu np. do wycieku pamięci. Oczywiście w tym prostym przykładzie nie doprowadzi to do żadnych poważnych konsekwencji. W przypadku niekorzystania z polimorfizmu, nie ma to znaczenia.

Destruktor klas dla których tworzy się klasy potomne muszą mieć destruktor wirtualny. Każda kolejna klasa, która dziedziczy od klasy potomnej, której rodzic ma destruktor wirtualny, również będzie posiadała destruktor wirtualny, nawet gdy nie użyjemy virtual przy deklaracji czy definicji destruktora w klasie.

Oznacza to, że gdyby dopisać do powyższego przykładu:

(...)
 
class Elektryk : public Pracownik
{
   public:
      ~Elektryk()
      {
         std::cout << "~Elektryk(): uruchomiono" << std::endl;
      }
};
 
int main()
{
   Osoba *wsk = new Elektryk;
   delete wsk;
 
   return 0;
}

to wynikiem działania programu będzie wypisanie na ekranie:

~Elektryk(): uruchomiono
~Pracownik(): uruchomiono
~Osoba(): uruchomiono

natomiast w przypadku pominięcia virtual w klasie podstawowej, wywołanie wszystkich destruktorów (poza destruktorem klasy Osoba) zostanie pominięte i na ekranie będzie wypisane tylko:

~Osoba(): uruchomiono

Finalizator[edytuj | edytuj kod]

W niektórych językach z wbudowanym odśmiecaczem (np. Java i C#) dostępna jest składnia finalizatora - specjalnej metody wywoływanej, gdy obiekt jest usuwany przy odśmiecaniu. W przeciwieństwie do destruktora nie wiadomo, w którym dokładnie momencie działania programu to nastąpi.