История изменений
Исправление monk, (текущая версия) :
Надеюсь, «one of the following» ясно даёт понять, что значение не может стать invalid pointer value и при этом оставаться pointer to an object.
Но при этом может pointer value может стать invalid pointer value не изменяясь.
int *p;
{ int a = 3;
p = &a;
// здесь p определён
}
// здесь p не изменился, но стал invalid pointer value, так как a не существует
Собственно, basic.stc именно это и утверждает.
Исходная версия monk, :
Надеюсь, «one of the following» ясно даёт понять, что значение не может стать invalid pointer value и при этом оставаться pointer to an object.
Но при этом может pointer value может стать invalid pointer value не изменяясь.
int *p;
{ int a = 3;
p = &a;
// здесь p определён
}
// здесь p не изменился, но стал invalid pointer value, так как a не существует
Собственно, basic.stc именон это и утверждает.