Распределение памяти в стеке

Question

Говорят, что локальная переменная будет выделена и освобождена автоматически, когда функция закончится на C/C++.

Согласно моему пониманию, когда оно было освобождено, значение, удерживаемое локальной переменной, также будет уничтожено !!! Пожалуйста, поправьте меня, если я ошибаюсь

Рассмотрим следующий код:

void doSomething(int** num) 
{ 
    int a = 10; 
    *num = &a; 
} // end of function and a will be destroyed 

void main() 
{ 
    int* number; 
    doSomething(&number); 
    cout << *number << endl; // print 10 ??? 
} 

Может кто-нибудь прояснить для меня?

Answer 1

Вы верны. ваш cout может или не может печатать 10. Он будет вызывать неопределенное поведение.

---

Чтобы сделать немного больше примечания, попробуйте запустить следующий код под своим компилятором без включения оптимизации.

#include <iostream> 
using namespace std; 

void doSomething(int** num) 
{ 
    int a = 10; 
    *num = &a; 
} 

void doSomethingElse() { 
    int x = 20; 
} 

int main() 
{ 
    int* number; 
    doSomething(&number); 
    doSomethingElse(); 
    cout << *number << endl; // This will probably print 20! 
} 

Answer 2

В этом случае целое число a находится в стеке. Вы возвращаете адрес этой переменной в основную программу. Значение в этом адресе после вызова не определено. В некоторых ситуациях можно напечатать 10, если эта часть стека не была перезаписана (но вы, конечно, не хотели бы полагаться на нее).

Answer 3

Содержимое памяти фактически не уничтожено. Для этого случая num укажет на местоположение, которое не выделяется для какой-либо переменной, но оно будет содержать его содержимое, которое было установлено на 10.

Answer 4

Описанная память была возвращена обратно в систему , Это означает, что он сохранит любое значение, которое оно имело до тех пор, пока система не назначит этот блок памяти другой переменной, и она будет переопределена значением.

Локальные переменные освобождаются при выходе из сферы действия. Если вы пытаетесь вернуть значение с помощью из параметра в функции:

void doSomething(int** num) 
{ 
    int* a = new int; 
    *a = 10; 
    *num = a; 
} 

int main() 
{ 
    int* number = 0; 
    doSomething(&number); 
    std::cout << *number << std::endl; // print 10 ??? 
    if (number) delete number; 
} 

Хотя, для чего-то это просто, вам лучше всего сделать это:

int doSomething() 
{ 
    return 10; 
} 

int main() 
{ 
    std::cout << doSomething() << std::endl; 
}