MISRA C++:2008 Rule 3-2-3

A type, object or function that is used in multiple translation units shall be declared in one and only one file

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

説明

ルール定義

A type, object or function that is used in multiple translation units shall be declared in one and only one file. 1

根拠

ヘッダー ファイル内で識別子を宣言すると、その識別子が定義または使用される翻訳単位内にそのヘッダー ファイルをインクルードすることができます。この方法により、以下の間での整合性を確実にします。

  • 宣言と定義。

  • 異なる翻訳単位での宣言。

このルールでは、ヘッダー ファイル内で外部オブジェクトまたは関数を宣言することが推奨されます。これにより、誤って宣言された可能性がある同じエンティティの互換性のない型をコンパイラが検出できます。

Polyspace 実装

Polyspace® は、複数のファイル内で extern オブジェクトが宣言されている場合、このルールの違反を報告します。

トラブルシューティング

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

例

すべて展開する

次の例では次の 2 つのファイルを使用しています。

  • file1.cpp:

    
#include "header.hpp"
extern int flag;//Noncompliant
class A{/**/};
void foo(void){
	//..
}

  • header.hpp:

    extern int flag;

external 識別子 flag が、header.hpp と file1.cpp の両方で宣言されています。Polyspace は、このルールの違反を報告します。

チェック情報

グループ: Basic Concepts
カテゴリ: 必要

バージョン履歴

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.