L'arithmétique des pointeurs sur les structures de données non-tableaux est-elle un comportement défini ou non défini en C ?

L'arithmétique du pointeur sur les structures de données non-tableaux a-t-elle un comportement non défini ?

La question découle du conflit apparent entre la norme C 17 concernant le pointeur ajout et la fonctionnalité de la macro offsetof. Selon le paragraphe cité, l'ajout d'un pointeur "char " devrait entraîner un comportement indéfini s'il ne pointe pas vers un tableau de caractères. Cependant, l'exemple de code fourni implique d'ajouter à un pointeur "char " obtenu à partir de reinterpret_casting l'adresse d'une structure "Foo". Cela ne semble pas suivre la règle, car le pointeur ne pointe pas vers un tableau de caractères.

Cependant, après un examen plus approfondi de la norme, nous trouvons des conseils dans la section 3.9.2 : "Pour tout objet (autre qu'un sous-objet de classe de base) de type T trivialement copiable, que l'objet contienne ou non une valeur valide de type T, les octets sous-jacents composant l'objet peuvent être copiés dans un tableau de caractères ou non signés. char."

Cette déclaration suggère que la norme considère les octets sous-jacents de tout objet comme copiables, qu'ils représentent ou non un tableau. Cela implique que l'ajout que vous effectuez dans votre code doit être valide, même si le pointeur ne pointe pas vers un tableau. L'ajout est défini sur les octets bruts et la valeur résultante est utilisée pour accéder au membre flottant souhaité de la structure "Foo".

Ainsi, l'opération d'ajout dans l'exemple de code fourni n'est pas un comportement indéfini. Il vous permet d'accéder et de modifier les octets représentant le membre de la structure en utilisant reinterpret_casting et offsetof.

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!