[C++] Pytanie o życie destruktora

Question

Mam pytanie dotyczące czasu istnienia destruktora w klasie.

Do moich testów stworzyłem kod:

#include <iostream>
#include <vector>

using namespace std;
class Klasa;

std::vector <Klasa *> tab;

class Klasa
{
public:
   int x;
   void foo() { delete this; }
   Klasa(){ x = 5; }
   ~Klasa()
   {
      cout<<"Niszczenie... x = "<<x<<endl;
   }
};

int main()
{
   for(std::size_t i = 0;i<3;i++)
      tab.push_back(new Klasa);

   tab[1]->foo();
   
   cout<<"tab[1]->x wynosi: "<<tab[1]->x<<endl<<endl;

   cout<<"Destruktory:"<<endl;
   for(std::size_t i = 0;i<3;i++)
      delete tab[i];
   return 0;
}

I zauważyłem pewien problem: mimo, że usunąłem obiekt (przez delete this) jego destruktor nadal żyje (spodziewałem się crashu aplikacji(odwołanie do nieistniejącego obiektu)), lecz składowe klasy są już inne.

Moje pytanie brzmi:

Czy używając delete this zwalniam pamięć oraz dlaczego destruktor nadal "żyje"?

Answer 1

1. You must be absolutely 100% positively sure that this object was allocated via new (not by new[], nor by placement new, nor a local object on the stack, nor a namespace-scope / global, nor a member of another object; but by plain ordinary new).
2. You must be absolutely 100% positively sure that your member function will be the last member function invoked on this object.
3. You must be absolutely 100% positively sure that the rest of your member function (after the delete this line) doesn’t touch any piece of this object (including calling any other member functions or touching any data members). This includes code that will run in destructors for any objects allocated on the stack that are still alive.
4. You must be absolutely 100% positively sure that no one even touches the this pointer itself after the delete this line. In other words, you must not examine it, compare it with another pointer, compare it with nullptr, print it, cast it, do anything with it.

isocpp.org

Comments

Jeżeli używasz C::B to spróbuj tego: Link

---

Hmm, a wytłumaczy mi ktoś dlaczego mimo ustawienia na NULL to działa?

#include <iostream>

using namespace std;

class Klasa
{
public:
   void foo() { cout<<"12"<<endl;}
};
int main()
{
   Klasa *o = new Klasa;

   delete o;
   o = NULL;

   o->foo();//nadal dziala

   if(o == NULL)
      cout<<"obiekt usunienty"<<endl;
   else
      cout<<"obiekt istnieje"<<endl;

   //delete o; //"teoretycznie" juz go usunalem
   return 0;
}

Czyżby obiekt nadal istniał?

Nie, obiekt nie istniał. Metody obiektu traktowane są nieco inaczej, niż zmienne instancyjne. Zauważ, że metody nie są odrębne dla każdego obiektu, a są wspólne dla klasy.

Stąd, mając informację o typie danej klasy (a wskaźnik przecież takie informacje posiada), MOŻESZ się odwołać wskaźnikiem do metody obiektu.

Ale nie powinieneś tego robić. Wszystkie zmienne obiektu znajdują się pod adresami niedozwolonymi już dla Twojej aplikacji (poprzez delete powiedziałeś systemowi żeby oznaczył tę pamięć jako wolną).

---

To wszystko tłumaczy - obiekt nie istnieje, ale mogę użyć jego metod, lecz nie powinienem, bo zmienne tego obiektu zostały już usunięte. A destruktor "żyje", ponieważ to nadal metoda. Dziękuję wszystkim za pomoc.

---

destruktor nie żyje. Może być co najwyżej callable

---

destruktor nie żyje

Answer 2

co masz na myśli że nadal żyje

Comments

Działa i nie wywołuje crashu a wydaje mi się, że powinien. W końcu usunąłem już jego obiekt.

Answer 3

ale wiesz, że

delete this;

nie wywołuje destruktora, bo nie usuwa danego obiektu

Comments

Co to za bzdury?

---

ale wiesz, że

delete this;

nie wywołuje destruktora, tylko usuwa wskaźnik na klasę

Ściślej mówiąc - usuwa wskaźnik na instancję klasy*. A w kwestii, czy nie wywołuje destruktora, polecam przetestować poniższy kodzik:

#include <iostream>

class Foo
{
public:
    ~Foo()
    {
        std::cout<<"Destruktor";
    }
    void delete_this()
    {
        delete this;
    }
};

int main()
{
    Foo *f = new Foo;
    f -> delete_this();

    char wait;
    std::cout<<"Czekam na pobranie znaku by zakończyć program\n";
    std::cin.get(wait);
    return 0;
}

---

*- też jestem nieprecyzyjny. Nie usuwa wskaźnika - wskaźnik nadal sobie w programie istnieje. Operator delete po prostu zwalnia fragment pamięci, wskazywany przez wskaźnik. Zaś sam wskaźnik może pokazywać jedynie instancję klasy, czyli obiekt. Składając to do kupy: delete może zwolnić pamięć, zajmowaną przez obiekt. I oczywiście destruktor zostanie wywołany - tym przede wszystkim delete z C++ różni się od free() z C.

---

przepraszam, zrozumiałem swój błąd, zasugerowałem się, źle zinterpretowanym kodem z innej strony