MISRA C++:2008 Rule 6-4-7

The condition of a switch statement shall not have bool type.

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

説明

ルール定義

The condition of a switch statement shall not have bool type. 1

根拠

switch ステートメントで bool 条件を使用すると、混乱を招いたり、コンパイラでキャッチされないエラーの原因となったりする可能性があります。bool 評価を処理するには、if ステートメントのほうが適しています。bool 条件を使用する switch ステートメントの代わりに、if...else ステートメントを使用してください。

Polyspace 実装

Polyspace® は、switch-case 条件の結果が bool になる場合は常に、この欠陥を報告します。

トラブルシューティング

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

例

すべて展開する

#include <cstdint>

int x = 10;

int example(int x)
{
    switch (x > 0) { //Noncompliant
    case true:
        x += 10;
        break;

    case false:
        x -= 10;
        break;

    default:
        x = 0;
        break;
    }

    return x;
}

switch ステートメントの条件 x > 0 の結果が bool になるため、Polyspace はこれを非準拠としてマークします。

上記の switch-case の代わりに、次の if ステートメントを使用します。

#include <cstdint>

int x = 10;

int example(int x)
{
    if (x > 0) {
        x += 10;
    } else if (x <= 0) {
        x -= 10;
    } else {
        x = 0;
    }

    return x;
}

チェック情報

グループ: 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.