C++, kwestia ze zwracaniem wskaźnika na zmienną lokalną

Question

Witam, słyszałem wiele razy że funkcja zwracająca wskaźnik lub referencje na coś co jest lokalne to potworny błąd (często nawet kompilatory nie pozwalają skompilować takiego programu). Jednak chcąc to sprawdzić zrobiłem coś takiego:

int* f() {
	int n = 4;
	return &n;
}

int main(){
	int* x = f(); 
	std::cout << *x << std::endl;
	return 0;
}

Ewidentnie zwracamy tu adres zmiennej lokalnej, co "najgorsze" wszystko działa jak po maśle:

C++ chyba nigdy nie przestanie mnie zaskakiwać :/ Dlaczego ten błędny zabieg okazał się tu możliwy do zrealizowania?

Korzystam z MS Visual Studio Community 2017.

Dziękuje serdecznie za pomoc i pozdrawiam :)

* co najgorsze adres: 00000049294FF704 zmiennej n nie wygląda na zbyt poprawny...

Comments

Doprecyzujmy, adres do zmiennej lokalnej, której istnienie się już zakończyło w momencie zwracania jej adresu, z powodu wyjścia programu z zakresu jej istnienia.  Możemy np. zwrócić wskaźnik do zmiennej statycznej (która traktowana jest jak globalna o lokalnym zasięgu, ale wciąż jest to zmienna lokalna), która istnieje przez cały czas trwania programu, wtedy nie jest to błąd.

Answer 1

Undefined Behaviour.
To miejsce w pamięci nie jest już zarezerwowane, ale nic innego w tym czasie nie zmieniło danych, więc 4 nadal jest tam wpisane. Ale to w każdej chwili może się zmienić, ponieważ jakiś inny program może zarezerwować ten kawałek dla siebie i zmienić to na coś innego.

Comments

A to jest adres 64 bitowego systemu.

---

Ale to w każdej chwili może się zmienić, ponieważ jakiś inny program może zarezerwować ten kawałek dla siebie i zmienić to na coś innego.

Stos, na którym znajdują się zmienne lokalne, jest zarezerwowany na stałe przez cały czas trwania programu. Wtedy takowa zmienna może być nadpisana, co najwyżej, przez jakąś funkcję. Inny proces nie ma do tej pamięci dostępu.

---

True