Проверьте, не была ли строка нераспределенной.

Question

Это может быть более глубокий вопрос, чем я ожидаю, но можете ли вы видеть, не указана ли указатель на символ? Например, строка, нераспределенные не NULL, как видно из когда я побежал этот код:

char *ptr; /* Unallocated char pointer */ 
if (ptr == NULL) { 
     ptr = malloc(10); /* Not casted cause it doesn't matter */ 
     printf("ptr is allocated\n"); 
     return(0); 
} 
printf("ptr is unallocated\n"); 
return(0); 

Когда я запускал код, я получил сообщение ptr is unallocated. Это имеет смысл, потому что строка не может иметь память для нулевого символа. Итак, есть ли способ увидеть, что строка нераспределена? Или я задаю неправильный вопрос?

Answer 1

Нет, это невозможно. В вашем случае ptr является uninitialised, что означает, что он может содержать любое значение, пока вы в первый раз не присвоите ему что-либо. Это может быть NULL, иначе это может быть не так.

Answer 2

Это потому, что вы определили ptr, но не инициализировали его. Попробуйте следующее:

char *ptr = NULL; 

Это хороший стиль кодирования для инициализации указателя на нулевой указатель в целом; очень важно, если вы хотите проверить, инициализирована ли она некоторой допустимой строкой.

Answer 3

Невозможно сделать это без предоставления начального значения, поскольку неинтеллизированные автоматические переменные будут иметь неопределенное значение . Они должны быть инициализированы; в противном случае невозможно определить начальное значение автоматических переменных. Фактически использование неинициализированной переменной - undefined behavior.

Проект стандарта C99 говорится в разделе 6.7.8инициализации пункт говорит:

Если объект, который имеет автоматическую продолжительность хранения не инициализирована явно, его значение является неопределенным. [...]

и Приложение J.2Неопределенное поведение пункт говорит:

поведение не определено в следующих случаях:

и включает в себя следующую пулю :

Значение объекта с автоматической продолжительностью хранения используется, когда оно равно неопределенным (6.2.4, 6.7.8, 6.8).