MISRA C++:2023 Rule 19.0.3

#include directives should only be preceded by preprocessor directives or comments

R2024b 以降

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

説明

ルール定義

#include directives should only be preceded by preprocessor directives or comments. 1

根拠

すべての #include プリプロセッサ命令をソース ファイルの先頭でグループにまとめると、コードが読みやすくなります。#include 命令によって、マクロが定義されているヘッダー ファイルをインクルードすることがあります。マクロの定義をインクルードする前にマクロを使用すると、予期せぬコードの動作が発生する可能性があります。

Polyspace 実装

Polyspace® は、#include 命令がコメント、プリプロセッサ命令、または言語仕様トークン以外のコードの後に配置されている場合、このルールの違反を報告します。Polyspace は、#if または #ifdef などの条件付きコンパイル命令を使用して非表示にされるコードを無視します。Polyspace は、#include 命令が extern "C" ブロック内に配置されている場合には、このルールの違反を報告しません。

トラブルシューティング

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

例

すべて展開する

//this comment is compliant     //Compliant
/*
    This comment is compliant
*/

#ifndef TESTING_H               //Compliant
#define TESTING_H               //Compliant

#include <iostream>             //Compliant	
using namespace std;            //Compliant
#include <exception>            //Noncompliant

#endif

プリプロセッサ命令でもコメントでもないコード ステートメントの後にインクルード命令が配置されているために、Polyspace はこのインクルード命令にフラグを設定します。

チェック情報

グループ: Preprocessing Directives
カテゴリ: 推奨

バージョン履歴

R2024b で導入

参考

トピック

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.