AUTOSAR C++14 Rule A7-2-1

An expression with enum underlying type shall only have values corresponding to the enumerators of the enumeration

R2022a 以降

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

説明

ルール定義

An expression with enum underlying type shall only have values corresponding to the enumerators of the enumeration.

根拠

enum 潜在型を含む式をプログラムが評価し、列挙の列挙子リストに含まれていない値を返す場合、これは未指定の動作です。

このルールに準拠することで、enum 型のオブジェクトには列挙子に対応する値のみが含まれるという、この規約の他のルールによる仮定が立証されます。

enum 型の式を評価するときに未指定の動作が発生しないようにするには、switch ステートメントを使用します。以下に例を示します。

#include <cstdio>
enum class E : size_t { Pass, Warning, Error };

E Evaluate(size_t input) noexcept {
    E output = E::Pass;
    switch (input) {
      case 0: {
          output = E::Pass;
          break;
      }
      case 1: {
          output = E::Warning;
          break;
      }
      case 2: {
          output = E::Error;
          break;
      }
      default: {
          output = static_cast<E>(0);
      }
    }
    return output;
}

Polyspace 実装

Polyspace® は列挙の列挙子ではない値の使用にフラグを設定します。

enum 式で値を使用する前にその値の範囲をチェックしない場合でも、Polyspace は不明な値の使用にはフラグを設定しません。

トラブルシューティング

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

例

すべて展開する

#include <cstdint>

enum class Suit : uint8_t { None = 1, Diamonds, Clubs, Hearts, Spades };

Suit resetRedSuit(uint8_t card) noexcept {
    Suit hand = Suit::None;
    if(card < 6){ //check range of card is inside Suit enum
        hand = static_cast<Suit>(card);
    }

    if (hand == Suit::Diamonds ||
        hand == Suit::Hearts) {
            hand = static_cast<Suit>(0); // Noncompliant
    }
    return hand;
}

この例では、式が使用している値 (0) が列挙子 Suit の列挙子リストに含まれていないため、Polyspace は関数 resetRedSuit の 2 番目の static_cast にフラグを設定します。

チェック情報

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

バージョン履歴

R2022a で導入

すべて展開する

参考

トピック