MISRA C++:2008 Rule 16-0-5

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

説明

ルール定義

Arguments to a function-like macro shall not contain tokens that look like preprocessing directives. 1

根拠

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

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
	"Error 2"
	#endif  //Noncompliant
	);
	
}

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

チェック情報

グループ: Preprocessing Directives
カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

トピック

1 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.