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

MISRA C++:2008 Rule 6-2-1

Assignment operators shall not be used in sub-expressions.

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

説明

ルール定義

Assignment operators shall not be used in sub-expressions. 1

根拠

代入演算子を部分式で使用すると、予測が難しい二次的影響がもたらされます。こうした二次的影響により、開発者の想定に反する結果になる可能性があります。このルールは、代入演算子 (=) と等号演算子 (==) の混乱を回避するうえで役立ちます。部分式では代入演算子を使用しないようにしてください。

Polyspace 実装

部分式に代入演算子が含まれている場合は常に、Polyspace® はこの欠陥を報告します。

トラブルシューティング

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

例

すべて展開する

#include <cstdint>

bool example(int x, int y)
{
	if (x == 10) 		//Compliant
	{
		return true;
	}
	
       if ((x = y) == 0)            //Noncompliant
	{
		return false;
	}
	
	return false;
}

代入演算子 = が部分式 (x = y) で使用されているため、Polyspace は非準拠としてこれにフラグを設定します。

チェック情報

グループ: Statements
カテゴリ: 必要

バージョン履歴

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.