Operatory new oraz delete.

Witam, czytając o wskaźnikach w książce Symfonia C++, natrafiłem na wspomniane w temacie operatory. Spodobał mi się ich sposób działania, jednak po przetestowaniu ich, nie uzyskałem satysfakcjonującego mnie wyniku. Napisałem prosty program, który nie powinien się skompilować, a jednak. Czy byłby ktoś tak miły i wytłumaczył mi, dlaczego to "działa"?
OUTPUT

To przypadek, że działa.

który nie powinien się skompilować, a jednak.

Nie ma powodów, żeby to się nie skompilowało. Kompilator nie wyłapie błędów w działaniu programu i nawet specjalnie nie próbuje.

C/C++ //Tutaj *a juz nie powinno istniec, a jednak

Fizycznie wskaźnik o nazwie 'a' nie jest usuwany, tylko zwolniona jest pamięć, na którą wskazywał.
Wszystkie operacje za pośrednictwem tego wskaźnika są możliwe, jednak jest niezdefiniowane zachowanie, więc wyniki mogą być różne.

Dla bezpieczeństwa należy po zwolnieniu pamięci "wyzerować" wskaźnik.

@carlosmay, OP nie pytał o wskaźnik, tylko o pamięć na którą ten wskaźnik wskazuje.

@Knayder, To działa, ponieważ delete nie usuwa pamięci, a jedynie ją zwalnia. Jeśli zwolniona pamięć leży na tej samej stronie pamięci co inne alokacje (w użyciu), wtedy taka pamięć będzie cały czas dostępna i nie wywoła błędu AV. W momencie, gdy zwalniana pamięć jest ostatnią używaną pamięcią na stronie, wtedy sterta może zwolnić i odmapować całą stronę, a wtedy próba dostępu spowoduje błąd AV.

@Knayder a co właściwie twoim zdaniem powinno się zdarzyć po usunięciu *a ?

Jeśli zwolniona pamięć leży na tej samej stronie pamięci co inne alokacje (w użyciu), wtedy taka pamięć będzie cały czas dostępna i nie wywoła błędu AV.

Czy takie zachowanie jest standardem czy jest niezdefiniowane?

Ja sobie wyobrażałem w taki sposób, że po wywołaniu delete na wskaźniku a, obiekt na który wskazuje, zostanie usunięty i wtedy próba wypisania tego na co wskazuje byłaby równoznaczna z czymś takim:
cout << niezdefiniowana_zmienna << endl;

@carlosmay, wszystko zależy od tego, jak zaimplementowana jest sterta, no i generalnie jak wygląda zarządzanie pamięcią w systemie.

@Knayder, niezdefiniowana zmienna powoduje błąd kompilacji, a my tu mówimy o sytuacji w czasie wykonania. Wywołanie delete powoduje, że pamięć zostaje zwolniona, a aplikacja nie powinna się do niej odwoływać, niezależnie od tego, czy fizycznie ona gdzieś tam jeszcze jest czy nie. Koniec, kropka.