6

Я создаю функцию, единственным аргументом которой будет указатель на int **. В теле функции я создаю автоматическую переменную и инициализирую ее неким значением. Затем своему указателю присваиваю адрес данной переменной. Код выглядит примерно так:

void function(int ** p){

    int count = 5;
    *p = &count;

}

В main() я создаю указатель на int * и для него вызываю данную функцию, тобишь:

int main(){

    int * p = NULL;
    function(&p);

    printf("MAIN = %d\n\n", *p); /* выводит 5 */

   return 0;
}

И у меня возникает вопрос - почему не уничтожаются данные в памяти переменной count после того, как поток выходит из функции? Неужели данные в памяти у любого класса хранения живут на протяжении выполнения всей программы?

2
  • 5
    это UB, в данном случае просто повезло и данные не успел кто-либо перезаписать... где-то здесь уже должно было обсуждаться с полноценным ответом.
    – Fat-Zer
    25 янв 2018 в 11:39
  • 1
    Когда-то, давным-давно, умный человек сказал мне: "не жмакай на две звёздочки до тех пор, пока не разобрался с одной".
    – PinkTux
    25 янв 2018 в 20:08

1 ответ 1

7

Потому что в си программист сам следит за памятью. Автоматически ничего не инициализируется и ничего не затирается. Неинициализированная или неправильно инициализированная переменная содержит мусор. Любой мусор.

Помимо этого, если программист не уследил за указателями или инициализацией, возникает так называемое неопределённое поведение, при котором программа может вести себя непредсказуемым образом.

2
  • 1
    Как это "ничего" не инициализируется автоматически? Статические данные, например, инициализируются нулями неявно.
    – αλεχολυτ
    25 янв 2018 в 13:25
  • @alexolut, да, про статические согласен.
    – Qwertiy
    25 янв 2018 в 13:43

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.