Гарантирует ли стандартное описание оператора косвенности С++, что запись в память не оптимизирована? ⇐ C++

[Anonymous]

По сути, это продолжение этого вопроса. Пока что это выглядит так, если у меня есть такая функция:

Код: Выделить всё

void SecureZeroMemory( void* ptr, size_t cnt )
{
volatile char *vptr = (volatile char *)ptr;
while (cnt) {
*vptr = 0;
vptr++;
cnt--;
}
}

и назовите его так:

Код: Выделить всё

{
char buffer[size];
SecureZeroMemory( buffer, size );
}

тогда, поскольку буфер не объявлен изменчивым, не имеет значения, что используется указатель на изменчивый — сами данные не являются изменчивыми, поэтому записывайте в переменные не представляют собой наблюдаемого поведения (1.9/6), и компилятору разрешено их оптимизировать.

Однако недавно я столкнулся с утверждением, что это всего лишь указатель декларация, которая имеет значение. В частности, в C++03 5.3.1/1 косвенность (*) описывается следующим образом:


Унарный оператор * выполняет косвенность [... ] Если тип выражения — «указатель на T», тип результата — «T».


Таким образом, утверждение заключается в том, что из-за использования косвенности для изменчивого символа* мы получить изменчивый символ и запись в него представляет собой наблюдаемое поведение, и больше не имеет значения, как объявляются фактические данные.

Поддерживает ли C++03 5.3. 1/1 описание косвенности действительно гарантирует, что перезапись памяти с использованием изменчивого указателя T*, как в примере выше, представляет собой наблюдаемое поведение и не может быть оптимизирована?

Подробнее здесь: https://stackoverflow.com/questions/137 ... -writes-ar