Obiekt istnieje po zniszczeniu

Question

Witam.

Może mi ktoś wytłumaczyć jak ten kod działa skoro niszczę utworzony obiekt wskaźnik ustawiam na NULL po czym mój program nie ma problemu żeby odwołać się do zniszczonego obiektu i wyświetlić napis "LOL"?

#include <stdio.h>
#include <string>
#include <iostream>

using namespace std;

class Ctest {
public:
	void show() {
		cout << "LOL" << endl;
	}
};



int main(int argc, char **argv)
{
	Ctest *tt = new Ctest();
	
	
	tt->show(); // Tutaj wyświetla bo powinien
	delete(tt);
	tt = NULL;
	tt->show(); // Ale tutaj chyba już nie powinien?
	
	
	int test;
	cin >> test;
	return 0;
}

 

Answer 1

Zauważ, że metody klas nie są przypisane do konkretnych obiektów, tylko do klasy jako całości.

Jeśli metoda wykorzystywałaby odwołania do danych, przechowywanych w instancji klasy, wtedy dostałbyś błąd wykonania (odwoływałbyś się do adresu, do którego albo nie masz dostępu albo pod którym nie ma danych klasy).

Minimalnie zmodyfikowany kod, ilustrujący to co napisałem:

#include <string>
#include <iostream>

using namespace std;

class Ctest {
    int x;
public:
    Ctest(int i):x(i){}
    void show() {
        cout << "LOL" << x << endl;
    }
};



int main(int argc, char **argv)
{
    Ctest *tt = new Ctest(12);

    tt->show(); // Tutaj wyświetla bo powinien
    delete(tt);

    /*  w metodzie odwołujemy się do danych, posiadających adres,
        do którego już nie mamy dostępu - czasami się uda, czasami
        nie - generalnie nie powinniśmy już używać tego wskaźnika po zwolnieniu pamięci,
        ta operacja jest nieprawidłowa:
    */
    tt->show();

    tt = NULL;
    tt->show(); // tutaj naturalnie również nie zadziała



    int test;
    cin >> test;
    return 0;
}

Nie jestem pewny, czy to co pokazałeś nie jest przykładem UB.

Comments

Co to jest UB

---

Undefined behaviour, czyli niezidentyfikowane zachowanie. Wróg każdego programisty C++ ;)

---

pierwsze słyszę, muszę o tym poczytać.

---

Zapraszam do lektury ;)

http://en.cppreference.com/w/cpp/language/ub

https://en.wikipedia.org/wiki/Undefined_behavior

---

dodam do ulubionych i gdy będę mieć więcej czasu to poczytam :)