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

Déréférencement de pointeurs non initialisés : un voyage vers un comportement non défini

Définir le déréférencement d'un pointeur non initialisé comme un comportement non défini dans la norme C nécessite une compréhension globale de la sémantique du langage. Bien que l'identification d'un comportement indéfini (UB) ne soit pas facilement apparente dans les sections citées de la norme, une exploration plus approfondie révèle la justification sous-jacente.

La section 4.1 de la norme C définit la conversion d'une lvalue (telle que un pointeur) vers une rvalue (une expression qui peut être évaluée en une valeur). Cette conversion est autorisée pour les types sans fonction et sans tableau, à condition que la lvalue fasse référence à un objet initialisé du type spécifié ou à son type dérivé. Cependant, si la lvalue fait référence à un objet non initialisé ou invalide, la conversion entraîne un comportement non défini.

Dans l'extrait de code fourni :

int* ptr;
*ptr = 0;

Le pointeur ptr est déclaré mais non initialisé, ce qui rend c'est un objet non initialisé. La tentative ultérieure de déréférencer ce pointeur (*ptr) constitue une conversion lvalue en rvalue, violant la condition spécifiée à la section 4.1. Étant donné que la conversion implique un objet non initialisé, le comportement est considéré comme indéfini.

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!