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)

トピック

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

---

¹ All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.