MISRA C:2012 Rule 20.3

The #include directive shall be followed by either a <filename> or "filename" sequence

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

説明

ルール定義

The #include directive shall be followed by either a <filename> or "filename" sequence 1 .

根拠

このルールはマクロの置換後にのみ適用されます。

The behavior is undefined if an #include directive does not use one of the following forms:

  • #include <filename>

  • #include "filename"

Polyspace 実装

#include 命令の後に <file> または "filename" が指定されていない場合、Polyspace® はこのルールの違反を報告します。ここで:

  • <file> は、有効なヘッダー ファイルです。

  • "filename" は、ファイルの名前またはファイルのパスです。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

例

すべて展開する

以下の例は、許容される形式に従った、準拠する #include 命令を示しています。#include がマクロ置換後に準拠する形式に従っている場合、Polyspace は、違反を報告しません。許容される形式に従っていない、不正な形式の #include 命令に対しては、違反が報告されます。


#include"incguard.h"     //Compliant
#include<incguard.h>     //Compliant

#define MH "myheader.h"
#define STR <string>    //Compliant
#include MH             //Compliant
#include STR            //Compliant

#include myfile.h       //Noncompliant
#include iostream       //Noncompliant
#include math.h         //Noncompliant
#include "math.h>       //Noncompliant
#include >myHeader.h<   //Noncompliant
#include <math.h        //Noncompliant
#include math.h>        //Noncompliant

チェック情報

グループ: プリプロセッサ命令
カテゴリ: 必要
AGC カテゴリ: 必要

参考

トピック

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.