Указывает ли язык C какую-либо неявную инициализацию только для указателей void?

Question

Вот мой код:

int main() 
{ 
    int *p; 
    void *x; 
    printf("%p\n", p); 
    printf("%p\n", x); 
    return 0; 
} 

, который будет печатать:

koraytugay $ ./a.out
0x7fff53b35ad0
0x0
koraytugay $ ./a.out
0x7fff5803fad0
0x0
koraytugay $ ./a.out
0x7fff512c9ad0
0x0
koraytugay $ ./a.out
0x7fff55213ad0
0x0
koraytugay $ ./a.out
0x7fff52dbdad0
0х0

Есть ли объяснение этому поведению в языке?

Answer 1

Я думаю, что стандарт C11 совершенно ясен в этом отношении. Обращаясь к пункту 6.7.9 раздела 6.7.9,

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

Теперь, значение неопределенными, ну, неопределенными (который вы имеете в виду как мусор и/или NULL здесь). Вы не можете знать, что там будет.

---

EDIT:

Просто для уточнения, в соответствии с замечанием,

"Но void *p кажется, NULL всегда"

Правильно. Это похоже. Ничего не гарантировано (указано), поскольку считается, что стандарт C.

^{Только примечание: Предпочитаемый int main(void) над int main(). Первый рекомендуется.}

Answer 2

Вы спросили:

В C, поэтому является недействительным указатель NULL при объявлении, но другие типы содержат мусор?

Это ошибочный вывод с использованием небольшой программы. Неинициализированные указатели в области функций получают случайные значения. Вы не можете полагаться на какой-либо шаблон в своих значениях.