Est-il légal de faire référence à une mémoire ininitialisée sans y avoir accès?

Je suppose que var est un objet de pointeur et que sa valeur actuelle est un pointeur null. Ceci est impliqué par votre déclaration:

var est ininitialisé la première fois que cette structure est remplie. (Comme dans: null )

Je suppose également que var n'est pas défini à la portée du bloc. S'il est défini à la portée de bloc, et vous n'avez pas été initialisé ni attribué une valeur à celle-ci, sa valeur est une ordures, pas nécessairement une valeur de pointeur NULL, et toute tentative de référence à sa valeur a un comportement indéfini.

Le comportement est indéfini.

si var == null , puis & var [n] a un comportement indéfini.

arr [index] est par définition équivalent à * (Arr + index) , donc & var [n] est équivalent à & (* (Var + n)) . Le comportement de l'arithmétique du pointeur est défini en termes d'éléments de l'objet de réseau dans lesquels les points de pointeur (avec un seul objet traité comme une matrice d'un élément) et un pointeur null ne souligne rien.

une digression:

c explicitement dit que & * x est évalué sous forme x et & [x [i]) est évalué comme x + i ; C ++ ne dit pas cela, de sorte que l'opérande de & doit être valide. C ++ a un cas particulier pour ajouter 0 , qui est bien défini, même pour un pointeur NULL (C n'a pas de cas particulier). Mais & var [0] est toujours invalide dans C et C ++, mais pour différentes raisons. Dans C, il est équivalent à var + 0 , mais ajouter 0 sur un pointeur NULL a un comportement non défini. En C ++, il est pas équivalent à var + 0 ; il est plutôt équivalent à & (* (var + 0)) ; var + 0 est un pointeur NULL et la désirficite qu'il a un comportement non défini.)

fin de digression.

Oui, il suffit de calculer une adresse invalide comporte un comportement non défini, même s'il n'est jamais déréférencé.

Voici le texte pertinent de la norme ISO C ++ 2011, 5.7 [EXPR.ADD] Paragraphe 5; Remarque particulièrement la fin:

Lorsqu'une expression qui a un type intégral est ajoutée ou soustraite À partir d'un pointeur, le résultat a le type de l'opérande de pointeur. Si la Pointeur Opérande pointe vers un élément d'un objet de tableau et le tableau est assez grand, le résultat pointe vers un élément décalé de la élément original tel que la différence des sous-domes de la Les éléments de tableau résultants et originaux sont égaux à l'expression intégrale. En d'autres termes, si l'expression p pointe sur le i-ème élément d'un objet de tableau, expressions (p) + n (équivalent, n + (p)) et (p) -n (où n a la valeur n) pointe vers, respectivement, le i + n-e et je - N-ème éléments de l'objet Array, à condition d'exister. De plus, si L'expression p pointe sur le dernier élément d'un objet de tableau, le expression (p) +1 points un après le dernier élément de l'objet Array, et si l'expression q pointe un après le dernier élément d'un tableau objet, l'expression (q) -1 pointe du dernier élément de la matrice objet. Si l'opérande du pointeur et le résultat indiquent des éléments du même objet de tableau, ou un passé le dernier élément de la matrice objet, l'évaluation ne doit pas produire de débordement; Sinon, le le comportement est indéfini.