Exponenta Banner

Правило 20.7 MISRA C:2012

Выражения, следующие из расширения макро-параметров, должны быть заключены в круглые скобки

расширьте все на странице

Описание

Управляйте определением

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

Объяснение

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

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

Обменивайтесь сообщениями в отчете

Расширенный макро-параметр param должен быть заключен в круглые скобки.

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

Примеры

развернуть все

#define mac1(x, y) (x * y)
#define mac2(x, y) ((x) * (y))

void foo(void){
    int r;

    r = mac1(1 + 2, 3 + 4);       /* Non-compliant */
    r = mac1((1 + 2), (3 + 4));   /* Compliant */

    r = mac2(1 + 2, 3 + 4);       /* Compliant */
}

В этом примере mac1 и mac2 являются двумя заданными макро-выражениями. Определение mac1 не заключает аргументы в круглые скобки. В строке 7, макрос расширяется до r = (1 + 2 * 3 + 4);, Этим выражением может быть (1 + (2 * 3) + 4) или (1 + 2) * (3 + 4). Однако без круглых скобок, программа не знает намеченное выражение. Строка 8 круглых скобок использования, таким образом, строка расширяется до (1 + 2) * (3 + 4). Это макро-выражение совместимо.

Определение mac2 действительно заключает аргумент в круглые скобки. Строка 10 (те же макро-аргументы в строке 7) расширяется до (1 + 2) * (3 + 4). Это макро-и макро-выражение совместимо.

Проверяйте информацию

Группа: предварительная обработка директив
Категория: необходимый
Категория AGC: необходимый
Язык: C90, C99

Смотрите также

Темы

Документация Polyspace Code Prover
Поддержка