AUTOSAR C++14 Rule M5-2-10

The increment (++) and decrement (--) operators shall not be mixed with other operators in an expression

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

説明

ルール定義

インクリメント演算子 (++) とデクリメント演算子 (--) が式の中で他の演算子と混在してはなりません。

根拠

式の中でインクリメント演算子とデクリメント演算子を他の演算子と混在させて使用すると、可読性の低いコードになります。このようなコードは未定義の動作につながる可能性があります。

Polyspace 実装

式にインクリメント演算子またはデクリメント演算子と他の演算子が混在して含まれている場合、Polyspace® はその式にフラグを設定します。式に複数のインクリメント演算子またはデクリメント演算子と他の演算子が混在している場合、Polyspace は最初のインクリメント演算子またはデクリメント演算子にフラグを設定します。

トラブルシューティング

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

例

すべて展開する

void foo(int a, int b){
	int c = ++a + b--; //Noncompliant
	if(--c + --a - ++b){ //Noncompliant
		//...
	}
}

Polyspace は、式内で ++ 演算子および -- 演算子と他の算術演算子が混在している場合にフラグを設定します。

チェック情報

グループ: 式
カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

参考

トピック