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

Objects or functions with external linkage shall be declared in a header file.

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

説明

ルール定義

Objects or functions with external linkage shall be declared in a header file. 1

根拠

ヘッダー ファイルで関数やオブジェクトを宣言すると、その関数やオブジェクトに複数の翻訳単位からアクセスする意図があることが明確になります。関数やオブジェクトに単一の翻訳単位からアクセスすることを意図している場合、他の翻訳単位での可視性を減らすために、オブジェクトを static として宣言するか、または無名の名前空間で宣言します。

Polyspace 実装

Polyspace® は、ヘッダー ファイル外で外部リンクをもつオブジェクトまたは関数が宣言されている場合、このルールの違反を報告します。次のオブジェクトと関数は、明示的に無名の名前空間に含まれている場合を除き、その名前空間レベルで宣言された場合は外部リンクをもちます。

  • static として宣言されていない関数

  • static として宣言されていない非 const 変数

  • extern として宣言されている変数

  • 列挙型

  • クラス、クラス メンバー関数、静的データ メンバーの名前

  • 入れ子にされたクラスと列挙の名前

  • クラス本体内で宣言されている関数 friend の名前

ブロック スコープで宣言されている関数と extern オブジェクトも外部リンクをもちます。

外部リンクをもつオブジェクトと関数の詳細については、ストレージ クラス指定子を参照してください。

トラブルシューティング

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

例

すべて展開する

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

  • decls.h:

    extern int x;

  • file.cpp:

    #include "decls.h"

int x = 0;
int y = 0; //Noncompliant
static int z = 0;

変数 x と y は外部リンクをもちますが、x のみがヘッダー ファイル内で宣言されています。Polyspace は、ヘッダー ファイル外における外部変数 y の宣言に対して違反を報告します。

変数 z は static 指定子を使用して宣言されており、外部リンクをもちません。ヘッダー ファイル外でのこの宣言は、このルールに準拠しています。

チェック情報

グループ: 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.