Conversions vers et depuis les types pointeur
Un pointeur vers un type valeur peut être converti en un pointeur vers un type différent. Toutefois, le résultat peut être indéfini en raison des spécifications d'alignement et des tailles de types différents présents dans le stockage. Un pointeur vers un objet peut être converti en un pointeur vers un objet dont le type requiert moins d'alignement ou un alignement aussi strict, et inversement sans modification.
Un pointeur vers void peut être converti vers ou depuis un pointeur vers tout type, sans restriction ni perte d'informations. Si le résultat est converti vers le type d'origine, le pointeur d'origine est récupéré.
Si un pointeur est converti en un autre pointeur avec le même type mais des qualificateurs différents ou supplémentaires, le nouveau pointeur est identique à l’ancien, mais des restrictions sont imposées par le nouveau qualificateur.
Une valeur de pointeur peut également être convertie en une valeur intégrale. Le chemin de conversion dépend de la taille du pointeur et de la taille du type intégral selon les règles indiquées ci-dessous.
Si la taille du pointeur est supérieure ou égale à la taille du type intégral, le pointeur se comporte comme une valeur non signée dans la conversion, mais il ne peut pas être converti en une valeur à virgule flottante.
Si le pointeur est plus petit que le type intégral, il est d'abord converti en un pointeur avec la même taille qu'un type intégral puis en type intégral.
Inversement, un type intégral peut être converti en un type pointeur selon les règles indiquées ci-dessous.
Si le type intégral est de la même taille que le type pointeur, la conversion fait simplement que la valeur intégrale est traitée comme un pointeur (un entier non signé).
Si la taille du type intégral est différente de la taille du type pointeur, le type intégral est d’abord converti en la taille du pointeur, en utilisant les chemins de conversion indiqués dans les tableaux Conversion de types intégraux signés et Conversion de types intégraux non signés. Il est ensuite traité comme une valeur de pointeur.
Une expression constante intégrale avec la valeur 0 ou cette même expression castée en type void* peut être convertie par un cast de type, par assignation ou par comparaison en un pointeur de tout type. Cette opération produit un pointeur null qui équivaut à un autre pointeur null du même type, mais n’est pas égal à un pointeur vers une fonction ou un objet. Les entiers autres que la constante 0 peuvent être convertis en type pointeur, mais le résultat n’est pas portable.