caxapa.ru :: Вы не до конца перевели фразу.

0men (05.07.2018 18:21, просмотров: 577) ответил sladkoejka на Прочитайте вашу цитату из стандарта внимательнее. В ней речь идёт об "объекте, который может быть модифицирован". В случае-же с локальной переменной volatile, никто её модифицировать не может, время её жизни ограничено временем выполнения функции.

Вы не до конца перевели фразу. Объект, имеющий тип с квалификацией volatile, может быть изменен неизвестными для реализации способами или иметь другие неизвестные побочные эффекты. Поэтому любое выражение, относящееся к такому объекту, должно оцениваться строго по правилам абстрактной машины. В стандарте нет никаких если, это все ваши фантазии.

Ответить

- Тут не фантазия, а логика. Если код ничего не делает и ни на что не влияет, то его можно удалять и никакие volatile в этом коде этому не помеха. В стандарте речь идёт о случаях, когда такое удаление может повлиять на наблюдаемое поведение. - sladkoejka(05.07.2018 18:36)
  - не надо собственной ущербной логикой заменять строгие требования стандарта :-)) - =AlexD=(06.07.2018 08:10)
    - поциент слился - SciFi(06.07.2018 08:47, ссылка, ссылка)
      - Я не вижу смысла с вами спорить. Насчёт volatile указателей пример я вам привел. Продублирую и тут: sladkoejka(887 знак., 06.07.2018 15:07 - 15:15)
        
        Кстати у тебя скорй всего компилятор ещё та паделка: fk0(571 знак., 07.07.2018 00:11)
        
        Замени на extern volatile int x и сразу оптимизация пропадёт. - fk0(07.07.2018 00:09)
        
        обдурить оптимизатор можно, т.к. он не все случаи анализирует, но от этого код не становится оптимальным... - sladkoejka(07.07.2018 10:59)
        
        Keil C 8051: Bhg2(1600 знак., 06.07.2018 15:18)
  - весь смысл volatile в указании невозможности для компилятора определить, могут затрагивающие эту переменную оптимизации повлиять на поведение или не могут. - AlexG(05.07.2018 19:00)

Микроконтроллеры