MISRA C:2012 Rule 20.7

Expressions resulting from the expansion of macro parameters shall be enclosed in parentheses

このページをすべて展開する

説明

Expressions resulting from the expansion of macro parameters shall be enclosed in parentheses ¹ .

根拠

小かっこを使用しない場合、マクロ置換が発生するときに、演算子の優先順位では必要な結果が得られない場合があります。

マクロパラメーターを式として使用していない場合、マクロに演算子は含まれていないため、小かっこは必要ありません。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

例

すべて展開する

マクロ式

#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 は 2 つの定義されたマクロ式です。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 カテゴリ: 必要

バージョン履歴

すべて展開する

R2024b: マクロパラメーターが配列要素の場合、違反が報告されなくなった

小かっこで囲まれていない配列要素をマクロパラメーターとして使用する場合、ルールチェッカーはこのルールの違反を報告しなくなりました。たとえば、以下のコードは準拠するようになっています。

int8_t array[5] = {0,1,2,3,4};
#define MyMacro( x, y ) ( x * y )
void foo(){
    int val = MyMacro ( array[0], array[1] );
}

R2022a: マクロパラメーターの前または後に識別子が指定されている場合、そのマクロパラメーターに対して違反が報告されなくなった

ルールチェッカーは、その前または後に ID が指定されているマクロパラメーターに対し、このルールの違反を報告しなくなりました。次に例を示します。

#define TYPEDECL(type, var) static type* var

TYPEDECL(const int, foo);//Compliant

マクロ TYPEDECL は変数宣言内に展開されるため、オペランドの優先順位は関係しません。チェッカーは、マクロ内のかっこの欠如にフラグを設定しません。

参考

MISRA C:2012 Dir 4.9 | MISRA C:2012 のチェック (-misra3)

トピック

コーディング規約違反のチェックおよびレビュー

The MISRA coding standards referenced in the Polyspace^® Bug Finder™ documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.