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

MISRA C++:2023 Rule 10.2.2

Unscoped enumerations should not be declared

R2024b 以降

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

説明

ルール定義

Unscoped enumerations should not be declared. 1

根拠

スコープされない enum 型の列挙値は、その enum 型と同じスコープ内の他の識別子と競合し、コンパイル エラーを引き起こす可能性があります。次に例を示します。

enum E: std::int32_t { E0, E1};
std::int32_t E0;

enum 型をスコープすることで、そのような競合を回避できます。次に例を示します。

enum class E: std::int32_t { E0, E1};
std::int32_t E0;

また、enum 型をスコープすることで、列挙値が他の型に暗黙的に変換されないようにもします。

Polyspace 実装

Polyspace® は、コード内のスコープされない enum 型に対して違反を報告します。クラス内のスコープされない enum 型は、このルールの違反として報告されません。

トラブルシューティング

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

例

すべて展開する

#include<cstdint>

enum E1: std::int32_t { E10, E11}; //Noncompliant
// std::int32_t E10; causes compilation errors

enum class E2: std::int32_t { E20, E21}; //Compliant
std::int32_t E20;

この例では、スコープされない enum 型 E1 の宣言が非準拠となります。スコープされない enum 型の列挙値を再宣言すると、コンパイル エラーが引き起こされます (列挙値 E10 を再宣言するコメント行を参照)。

チェック情報

グループ: Declarations
カテゴリ: 推奨

バージョン履歴

R2024b で導入

参考

トピック

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.