я поглядел что по этому поводу говорят всякие драфты ближе к 2003-му году. Приблизительно то же самое.
Так вот, поправь меня если я не прав, но чтение обычной, не volatile переменной (в отличие от её записи) - это никак не side-effect - согласно тому определению, на которое ты ссылаешься.
Но тогда компилятор вообще не обязан сериализовать относительно seqence point чтение памяти, на которую указывают указатели - будь они указателями на константу, будь они обычнми указателями.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2011-11-12 01:16 am (UTC)Приблизительно то же самое.
Так вот, поправь меня если я не прав, но чтение обычной, не volatile переменной (в отличие от её записи) - это никак не side-effect - согласно тому определению, на которое ты ссылаешься.
Но тогда компилятор вообще не обязан сериализовать относительно seqence point чтение памяти, на которую указывают указатели - будь они указателями на константу, будь они обычнми указателями.
Не правда ли, парадоксальный вывод? ;-)