энергонезависимые переменные
Если я помечаю переменную как volatile, я получаю гарантированное чтение при каждом доступе в коде.
Но как насчет энергонезависимых переменных?
Гарантируется ли хотя бы одно чтение для каждой функции / блока, или можно оптимизировать значение через границы функций?
Решение
Почему функциональные границы должны быть важны, если они встроены (даже не спровоцированы, т. Е. Нет inline) может их все равно искоренить?
И.О .: Да, по правилу «как будто» возможно почти все: пока программа ведет себя так, как будто компилятор ничего не оптимизировал, ей разрешено что-либо с этим делать. (И границы этого критерия тоже довольно туманные. Например, удаление копий разрешено для сердца компилятора, а недостающие побочные эффекты будут прокляты.)
Другие решения
Других решений пока нет …