このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

AUTOSAR C++14 Rule M16-0-5

Arguments to a function-like macro shall not contain tokens that look like pre-processing directives

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

説明

ルール定義

関数形式のマクロの引数に、プリプロセッサ命令に類似したトークンが含まれていてはなりません。

根拠

コンパイラは関数形式のマクロを検出すると、マクロの引数を置換コードに置き換えます。引数にプリプロセッサ命令のように見えるトークンが含まれている場合、マクロ展開時の置換プロセスが未定義になります。環境によっては、このような関数形式のマクロが予期せぬ方法で動作して、エラーやバグにつながる可能性があります。

Polyspace 実装

関数形式のマクロの引数が文字 # で始まっている場合、Polyspace® はそのマクロの呼び出しにフラグを設定します。

トラブルシューティング

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

例

すべて展開する

#include<cstdlib>
#include<iostream>
#define PRINT(ARG) std::cout<<#ARG
//....
#define Error1
//...


void foo(void){
	PRINT(
	#ifdef Error1  //Noncompliant  
	"Error 1"
	#else    //Noncompliant
	"Error 2"
	#endif  
	);
	
}

この例では、#ifdef ブロックを使用して 2 つの文字列のいずれかを選択する引数により、関数形式のマクロ PRINT が呼び出されています。環境によって、このコードの出力は #ifdef Error1 //Noncompliant "Error 1" #else "Error 2" #endif //Noncompliant または Error 1 になる可能性があります。Polyspace は、文字 # で始まる引数にフラグを設定します。

チェック情報

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

バージョン履歴

R2019a で導入

参考

トピック