このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

AUTOSAR C++14 Rule M6-5-6

A loop-control-variable other than the loop-counter which is modified in statement shall have type bool.

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

説明

ルール定義

A loop-control-variable other than the loop-counter which is modified in statement shall have type bool.

根拠

ループは、ループ カウンター値が終了条件を満たした時点で終了します。ループを早期に終了する必要がある場合は、追加のループ制御変数を使用できます。

次に例を示します。

for(ctr = 0 ; ctr <= 10; ctr++) {…} は、ctr の値が 10 より大きい場合に終了します。

for(ctr = 0 ; ctr <= 10 && level > 0; ctr++) {…} は、ctr の値が 10 より大きいか、level の値が 0 より大きい場合に終了します。

2 番目のインスタンスでは、条件 level >= 0 がループを早期に終了させる理由が明確ではありません。早期終了のためのループ制御変数として boolean 変数を使用することで、早期終了状態を表す、よりわかりやすい名前を使用できます。

以下に例を示します。 

for(ctr = 0 ; ctr <= 10 && fuelTankNotEmpty; ctr++) 
{
    /...
    fuelTankNotEmpty = (level >= 0);
}

この boolean 変数はフラグと呼ばれます。boolean 型フラグのほうが、ループ制御ロジックを理解しやすくなります。

Polyspace 実装

Polyspace® は、非 boolean 型ループ制御変数がループ ステートメント内で変更される場合は常にこの欠陥を報告します。

トラブルシューティング

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

例

すべて展開する

#include <cstdint>

int32_t ctr, level = 1;
bool fuelTankNotEmpty = true;

void example()
{
	for(ctr = 0 ; ctr <= 10 && level >= 0; ctr++)		//Noncompliant
	{
		level--;
	}
	
	for (ctr = 0; ctr <= 10 && fuelTankNotEmpty; ctr++)	//Compliant
	{
		level--;
		fuelTankNotEmpty = (level >= 0);
	}

}

最初の for ループで、level は boolean 型ではなく、ステートメント内で変更されるため、Polyspace は非準拠としてこれにフラグを設定します。

2 番目のループに、このルールに準拠した boolean 型フラグの使用方法が示されています。

チェック情報

グループ: ステートメント
カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

参考

トピック