Le déréférencement d'un pointeur non initialisé en C est-il un comportement indéfini ?

Comportement non défini : déréférencement de pointeurs non initialisés en C

Un point de confusion courant en C est de comprendre quand le déréférencement d'un pointeur non initialisé constitue un comportement non défini (UB). Bien que la norme C contienne de nombreuses règles, il peut être difficile de localiser les dispositions exactes qui définissent ce comportement.

L'extrait de code en question :

int* ptr;
*ptr = 0;

soulève la question de savoir si le déréférencement de ptr mène à l'UB. Pour clarifier cela, nous examinerons les sections pertinentes de la norme C.

Dispositions standard

La section 4.1 de la norme fournit des informations cruciales. Il indique que :

"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 le nécessite la conversion a un comportement indéfini."

Dans notre cas, ptr est un pointeur non initialisé vers un entier. Ainsi, tenter de le déréférencer sans l'initialiser au préalable relève de la condition décrite dans la section 4.1 et aboutit à UB.

La section 3.7.3.2/4, souvent citée en relation avec UB, ne s'applique pas directement au code extrait de code en question en ce qui concerne l'utilisation de fonctions de désallocation sur des pointeurs non nuls.

Supplémentaire Ressources

La recherche de « non initialisé » dans la norme peut révéler d'autres sections pertinentes, telles que 8.5.1, qui clarifie davantage les règles d'accès 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!