MISRA C++:2008 Rule 4-5-1

Expressions with type bool shall not be used as operands to built-in operators other than the assignment operator =, the logical operators &&, ||, !, the equality operators == and !=, the unary & operator, and the conditional operator.

説明

ルール定義

Expressions with type bool shall not be used as operands to built-in operators other than the assignment operator =, the logical operators &&, ||, !, the equality operators == and !=, the unary & operator, and the conditional operator. ¹

根拠

ルールに記載されている演算子以外の演算子では、bool 型のオペランドを使用しても意味のある結果が生成されません。bool 型のオペランドをこのような演算子で使用すると、プログラミング エラーを示す可能性があります。たとえば、論理演算子 || の使用を意図していたが、ビット演算子 | を代わりに使用した場合です。

Polyspace 実装

次の演算子以外の演算子のオペランドとして boolean 型が使用されている場合、Polyspace^® はこのルールの違反を報告します。

• =

• &&

• ||

• !

• ==

• !=

• 単項の & および ?

トラブルシューティング

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

例

bool 型のオペランドの準拠使用と非準拠使用

void boolOperations() {
    bool lhs = true;
    bool rhs = false;
    
    int res;
    
    if(lhs & rhs) {} //Noncompliant
    if(lhs < rhs) {} //Noncompliant
    if(~rhs) {}      //Noncompliant
    if(lhs ^ rhs) {} //Noncompliant
    if(lhs == rhs) {} //Compliant
    if(!rhs) {}       //Compliant
    res = lhs? -1:1;  //Compliant  
}

この例では、bool 型のオペランドを ==、!、および ? 演算子で使用した場合はルールに違反しません。

チェック情報

グループ: Standard Conversions

カテゴリ: 必要

バージョン履歴

R2013b で導入

R2024b: ブール値と浮動小数点値をもつ代入演算子の使用

float 型または double 型を bool 値に代入する場合、Polyspace は違反を報告しなくなりました。

bool getBool();

void example() {
	double x;

	x = getBool();    //Compliant
}

参考

MISRA C++:2008 をチェック (-misra-cpp)

トピック

• コーディング規約違反のチェックおよびレビュー

---

¹ 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.