Проблема возникает, когда правый операнд логического & & или || оператора содержит побочные эффекты. При оценке выражение с побочным эффектом изменяет по крайней мере одну из переменных в выражении.

Шашка не рассматривает волатильные обращения и вызовы функций как потенциальные побочные эффекты.

При оценке выражение с побочным эффектом изменяет по крайней мере одну из переменных в выражении. Для образца, n++ является выражением с побочным эффектом.

Правый операнд a:

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

Если требуется вычислить выражение в правом операнде, выполните вычисление в отдельном операторе.

Для образца вместо:

if(isOK && n++) {}

n++;
if(isOK && n) {}

Эта проблема возникает, когда sizeof, alignof или decltype оператор действует на выражение с побочным эффектом. При оценке выражение с побочным эффектом изменяет по крайней мере одну из переменных в выражении.

Для образца проверка дефекта не помечается sizeof(n+1) потому что n+1 не изменяет n. Шашечные флаги sizeof(n++) потому что n++ предназначен для изменения n.

Побочные эффекты в alignof оператор или decltype оператор не сохраняется после операции. Выражение в sizeof оператор оценивается только, если он необходим для вычисления размера массива переменной длины, например sizeof(a[n++]).

Когда выражение с побочным эффектом не оценивается, изменение переменной от побочного эффекта не происходит. Если полагаться на изменение, можно увидеть неожиданные результаты.

Вычислите выражение с побочным эффектом в отдельном операторе, а затем используйте результат в sizeof, _Alignof, или _Generic оператор.

Для образца вместо:

a = sizeof(n++);

n++;
a = sizeof(n);

Проверка рассматривает вызов функции как выражение с побочным эффектом. Даже если функция не имеет побочных эффектов сейчас, это может иметь побочные эффекты на более поздние сложения. Код более ремонтопригоден, если вы вызываете функцию вне sizeof оператор. Если вы вызываете функцию в decltype, для образца, чтобы выбрать правильную перегрузку функции и затем определить ее тип возврата, проверка рассматривает такой вызов как исключение.

#include <stdio.h>

void func(void) {
    unsigned int a = 1U;
    unsigned int b = (unsigned int)sizeof(++a);
    printf ("%u, %u\n", a, b);
}

В этом примере sizeof действует на ++a, который предназначен для изменения a. Поскольку выражение не оценивается, изменение не происходит. The printf оператор показывает, что a все еще имеет значение 1.

Одна возможная коррекция состоит в том, чтобы сначала выполнить шаг, а затем предоставить результат sizeof оператор.

#include <stdio.h>

void func(void) {
    unsigned int a = 1U;
    ++a;
    unsigned int b = (unsigned int)sizeof (a); 
    printf ("%u, %u\n", a, b);
}