Où dans la norme C le déréférencement d'un pointeur non initialisé est-il défini comme un comportement non défini ?

Détermination du comportement non défini pour le déréférencement des pointeurs non initialisés dans la norme C

La question posée cherche à comprendre la section spécifique de la norme C qui considère déréférencer un pointeur non initialisé en tant que comportement non défini. Bien que les références précédentes aux versions 5.3.1/1 et 3.7.3.2/4 fournissent des informations pertinentes, elles n'indiquent pas explicitement le comportement non défini lié à l'utilisation de pointeurs non initialisés.

La réponse se trouve dans la section 4.1, qui traite de la conversion de lvalue. à rvalue (soulignement ajouté):

"Une lvalue (3.10) d'un Le type non-fonctionnel et non-tableau T peut être converti en une rvalue. Si T est un type incomplet, un programme qui nécessite cette conversion est mal formé si l'objet auquel la lvalue fait référence n'est pas un objet de type T et. n'est pas un objet d'un type dérivé de T, ou si l'objet n'est pas initialisé, un programme qui nécessite cette conversion a un défini behavior."

Cette section indique clairement que tenter d'utiliser une lvalue (telle qu'un pointeur) qui fait référence à un objet non initialisé entraînera un comportement indéfini. Par conséquent, l'exemple de code fourni :

int* ptr;
*ptr = 0;

présente effectivement un comportement indéfini car le pointeur ptr est utilisé sans initialisation.

Pour进一步深入了解 ce sujet, recherchez dans le standard C "non initialisé " révélera des sections supplémentaires qui abordent le comportement non défini associé aux objets non initialisés.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!