AUTOSAR C++14 Rule M3-4-1

An identifier declared to be an object or type shall be defined in a block that minimizes its visibility.

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

説明

ルール定義

An identifier declared to be an object or type shall be defined in a block that minimizes its visibility.

根拠

最低限のブロック スコープで変数を定義すると、それらの変数に後で意図せずアクセスされる可能性が減ります。

たとえば、1 つの関数でのみオブジェクトにアクセスすることを意図している場合、そのオブジェクトを関数のローカルで宣言します。

Polyspace 実装

ルール チェッカーは、オブジェクトが 1 つのブロックでのみ使用されているかどうかを判別します。オブジェクトが 1 つのブロックで使用されているが、そのブロックの外側で定義されている場合、チェッカーは違反を報告します。

範囲ベースの for ループ外で変数を宣言し、それをループ ブロック内でのみ使用した場合は、Polyspace® がその変数にフラグを設定します。変数をループ ブロック内で宣言できない場合は、結果またはコードでコメントを使用してこの状況を正当化します。Polyspace ユーザー インターフェイスでのバグ修正または正当化による結果への対処を参照してください。

トラブルシューティング

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

例

すべて展開する

static int countReset; //Noncompliant

volatile int check;

void increaseCount() {
    int count = countReset;
    while(check%2) {
     count++;
    }
}

この例では、変数 countReset がグローバルに宣言されていますが、1 つの関数でしか使用されていません。準拠するソリューションでは、可視性を減らすためにその変数を関数のローカルで宣言します。

チェック情報

グループ: 基本概念
カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

すべて展開する

参考

トピック