Как предотвратить неопределенное поведение, с точки зрения пользователя/нового разработчика?

Question

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

int *num=(int *)malloc(n*sizeof(int)); 
int i; 
for(i=0;i<n;i++) 
{ 
scanf("%d",&num[i]);   
}  

for(i=0;i<n-1;i++){ 
temp = some_function(x);   
} 

free(num); 

for(i=0;i<n;i++) 
{ 
    printf("\nnum[%d]= %d\n",i,num[i]);   
} 

P.S .: Приведенный выше код работает и фактически распечатывает данные в массиве. Это не наше намерение. [EDIT] Извините, если я не был достаточно ясен. Кто-то предложил задать этот вопрос как отдельный вопрос, я подумал, почему нет. Вот original post

Answer 1

Тот факт, что ваш код «работает» является проявлением неопределенного поведения, что вы испытываете, когда не чтение памяти, что вы больше не принадлежите.

Вы могли рассмотреть возможность num к NULL после первого free вызова. Тогда запись num[i] почти наверняка приведет к краху программы. Иногда это также может быть полезно: free, вызываемый с NULL, переданный как указатель, не является оператором.

К сожалению, еще мало чего можно сделать.

Но, вообще говоря, установка free d указателей на NULL приводит к небрежному программированию, поэтому я стараюсь избегать его.

Answer 2

Первое, что вы можете сделать, это установить num = NULL.

В общем, вы можете добавить крючок malloc для записи мусора в память перед освобождением памяти (возможно, только отладки). Это приведет к сбою, если память содержит указатели или мусор печати в этом случае при доступе к свободной памяти.

Также, поскольку вы говорите на C++, используйте умные указатели.

Редактировать: исправлена ​​ошибка.