AUTOSAR C++14 Rule M16-3-1

There shall be at most one occurrence of the # or ## operators in a single macro definition.

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

説明

ルール定義

There shall be at most one occurrence of the # or ## operators in a single macro definition.

根拠

# および ## プリプロセッサ演算子には指定の実行順序がありません。1 つのマクロ定義内に # または ## 演算子が複数出現すると、どのプリプロセッサ演算子がコンパイラによって最初に実行されるものなのかが明確になりません。実行順序の不確かさは、開発者の混乱を招いたり、予期せぬマクロ計算が発生したりする原因となる可能性があります。1 つのマクロ定義に使用する # または ## プリプロセッサ演算子は 1 つのみとしてください。

Polyspace 実装

1 つのマクロ定義に # または ## 演算子が複数含まれている場合、Polyspace ® はこの欠陥を報告します。

トラブルシューティング

ルール違反が想定されるものの、Polyspace から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。

例

すべて展開する

#define STRING(X) { #X }                          //Compliant
#define CONCAT(X, Y) {X ## Y}                     //Compliant
#define STRING_CONCAT(x, y) {#x ## y}             //Noncompliant
#define MULTI_CONCAT(x, y, xy, z) {x ## y ## z}   //Noncompliant

マクロ STRING_CONCAT では # 演算子と ## 演算子の両方が使用されているため、Polyspace は非準拠としてこのマクロにフラグを設定します。

マクロ MULTI_CONCAT では複数の ## 演算子が使用されているため、Polyspace は非準拠としてこのマクロにフラグを設定します。

チェック情報

グループ: プリプロセッサ命令
カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

参考

トピック