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

If the # token appears as the first token on a line, then it shall be immediately followed by a preprocessing token.

説明

ルール定義

If the # token appears as the first token on a line, then it shall be immediately followed by a preprocessing token. ¹

根拠

文字 # が行の最初の文字である場合、これはプリプロセッサ命令を先行する文字です。文字 # の直後にプリプロセッサ命令が続いていない場合、そのプリプロセッサ命令は不正な形式である可能性があります。

コードを部分的にコンパイルから除外するために、プリプロセッサ命令が使用されている可能性があります。コンパイラは #else、#elif、または #endif プリプロセッサ命令を検出するまでコードを除外します。これらのプリプロセッサ命令のいずれかが不正な形式である場合、コンパイラは意図された終了点を超えてコードを除外し続けるため、診断するのが難しいバグや予期せぬ動作が生じます。

不正な形式のプリプロセッサ命令を回避するには、# トークンの直後にプリプロセッサトークンを配置します。具体的に言えば、#else および #endif 命令の # トークンとプリプロセッサトークンの間には空白以外の文字を入れません。

Polyspace 実装

文字 # の後に、正しい形式のプリプロセッサトークンの一部ではない文字が続いている場合、Polyspace^® はこの欠陥を報告します。空白以外の文字が先行するか、または後に続くプリプロセッサトークンにより、Polyspace はこの欠陥を報告します。スペルミスや誤った大文字/小文字のために、プリプロセッサトークンの形式が正しくない場合、Polyspace はこの欠陥を報告します。

トラブルシューティング

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

例

すべて展開する

文字 # の後に続く、不正な形式のプリプロセッサトークン

#define TESTING_H       //Compliant

namespace Example
{
#ifndef TESTING_H       //Compliant
    // code here
#elseX;                 //Noncompliant
    // code here
#else;                  //Compliant
    // code here
#endnif                 //Noncompliant
    // code here
  }

};

elseX はプリプロセッサ命令ではなく、文字 # の直後に続いているため、Polyspace は非準拠としてこれにフラグを設定します。

#endnif は正しい形式のプリプロセッサ命令ではありません。Polyspace は非準拠としてこれにフラグを設定します。

#define TESTING_H、#ifndef TESTING_H、および #else は正しい形式のプリプロセッサ条件であり、このルールに準拠しています。

チェック情報

グループ: Preprocessing Directives

カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

MISRA C++:2008 をチェック (-misra-cpp)

トピック

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

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.