lvalue не обозначает объект после оценки?

Question

C99 [Раздел 6.3.2.1/1] говорит

lvalue - это выражение с типом объекта или неполным типом, отличным от void; если lvalue не обозначает объект при оценке, поведение не определено.

Что означает часть в полужирный ?Может кто-нибудь объяснить это на примере?

Answer 1

На ум приходят нулевые указатели, указатели на освобожденные объекты и указатели на объекты с автоматическим хранением, чье время жизни уже закончилось.Разыменование этих результатов в недопустимых lvalues;Неопределенное поведение, с которым вы чаще всего сталкиваетесь, - это ошибки сегмента, если вам повезет, и случайное повреждение кучи или стека, если нет.

Answer 2

#include <stdio.h>

int* ptr;

void f(void) {
    int n = 1;
    ptr = &n;
}

int main(void) {
    f();
    // UB: *ptr is an lvalue that is not an object:
    printf("%d\n", *ptr);
    return 0;
}