MENU

C++のenum型の使い方とそのメリットを徹底解説

C++

C++のenum型は、プログラム中で関連する定数の集合を簡潔に表現するための強力なツールです。本記事では、C++におけるenum型の基本的な使い方から、その利点、応用例までを詳しく解説します。enum型を効果的に活用することで、コードの可読性と保守性を向上させる方法について学びましょう。

対象はC++11以降です。各節の例は、直前の宣言を使うと明記したものを除き、別々に試してください。同じ名前の列挙型を繰り返し定義しているため、全コードを一つのファイルへ連結することはできません。#includeとmainを含む実践例・応用例は、それぞれ単独で実行できます。

目次

enum型とは何か

C++のenum型は、列挙型とも呼ばれ、関連する定数をひとまとめにして扱うための型です。これにより、コードの可読性が向上し、定数のグループを一つの型として扱うことが可能になります。例えば、曜日や色など、限られた要素の集合を表現するのに適しています。enum型は、プログラムの設計をシンプルかつ明確にするための重要なツールです。

enum型の定義方法

C++におけるenum型の定義は非常に簡単です。以下に基本的な定義方法を示します。

enum Color {
    RED,
    GREEN,
    BLUE
};

このように、enumキーワードを用いて名前とその定数を列挙します。定数はデフォルトで0から始まる整数値を持ちます。例えば、REDは0、GREENは1、BLUEは2となります。これにより、コード中で色を表す際に整数値を直接使用する必要がなくなり、可読性が向上します。

enum classの使い方

C++11で導入されたenum classは、スコープ付き列挙型です。列挙子の名前を列挙型のスコープに置き、整数への暗黙変換を行わない点が、通常のenum（スコープなし列挙型）と異なります。異なる列挙型で同じ列挙子名を使っても、名前が衝突しにくくなります。

enum class Color {
    RED,
    GREEN,
    BLUE
};

直前のenum class Colorを宣言したうえで、次の処理をmainなどの関数内に記述します。Color::REDのように型名で修飾してアクセスします。

Color color = Color::RED;
if (color == Color::GREEN) {
    // 条件が真の場合の処理
}

通常のenumもそれぞれ独立した型ですが、enum classでは整数への暗黙変換も防げます。新しく定義する列挙型では、名前の衝突や意図しない変換を避けやすいenum classを基本として検討するとよいでしょう。詳しい違いはMicrosoft Learnの列挙型の解説でも確認できます。

enum型の利点

enum型を使用することで、コードの可読性や保守性が大幅に向上します。具体的な利点を以下に挙げます。

1. コードの可読性向上

enum型を使うことで、整数値や文字列を直接使用するよりも意味が明確になり、コードを読みやすくなります。例えば、曜日を整数で表すよりもenum型を使うことで、意図が明確になります。

2. 定数のグループ化

関連する定数を一つの型としてまとめることで、管理が容易になります。これにより、同じ意味を持つ定数がコード中に散在することを防ぎます。

3. 型安全性の向上

enum classを使用することで、異なるenum型同士の比較や誤った代入を防ぐことができ、安全性が向上します。

4. デバッグの容易化

enum型を使うことで、デバッグ時に定数の意味が明確になり、バグの原因を特定しやすくなります。

これらの利点により、enum型はC++でのプログラム設計において非常に有用です。

enum型の実践例

具体的なコード例を通して、enum型の実践的な使用方法を紹介します。以下は、交通信号を表すenum型を使った例です。

#include <iostream>

enum TrafficLight {
    RED,
    YELLOW,
    GREEN
};

void printTrafficLightState(TrafficLight light) {
    switch (light) {
        case RED:
            std::cout << "Stop" << std::endl;
            break;
        case YELLOW:
            std::cout << "Caution" << std::endl;
            break;
        case GREEN:
            std::cout << "Go" << std::endl;
            break;
        default:
            std::cout << "Invalid state" << std::endl;
            break;
    }
}

int main() {
    TrafficLight light = RED;
    printTrafficLightState(light);

    light = GREEN;
    printTrafficLightState(light);

    return 0;
}

この例では、交通信号の状態をenum型で表現し、printTrafficLightState関数でその状態に応じたメッセージを出力します。実行すると、Stop、Goがこの順に別々の行へ表示されます。これにより、信号の状態を明確に表現し、コードの可読性が向上します。

enum型の応用例

さらに複雑なケースでのenum型の応用例について説明します。ここでは、オンラインショッピングシステムにおける注文のステータスをenum型で表現してみます。

#include <iostream>
#include <string>

enum class OrderStatus {
    Pending,
    Processing,
    Shipped,
    Delivered,
    Canceled
};

std::string getOrderStatusMessage(OrderStatus status) {
    switch (status) {
        case OrderStatus::Pending:
            return "Your order is pending.";
        case OrderStatus::Processing:
            return "Your order is being processed.";
        case OrderStatus::Shipped:
            return "Your order has been shipped.";
        case OrderStatus::Delivered:
            return "Your order has been delivered.";
        case OrderStatus::Canceled:
            return "Your order has been canceled.";
        default:
            return "Unknown status.";
    }
}

int main() {
    OrderStatus status = OrderStatus::Processing;
    std::cout << getOrderStatusMessage(status) << std::endl;

    status = OrderStatus::Shipped;
    std::cout << getOrderStatusMessage(status) << std::endl;

    return 0;
}

この例では、注文のステータスをenum classで定義し、getOrderStatusMessage関数でメッセージを返しています。実行結果は、Your order is being processed.とYour order has been shipped.の2行です。

列挙型を定義するだけでは、状態遷移の妥当性までは検証されません。例えばDeliveredからPendingへの代入も、同じOrderStatus型なのでコンパイルできます。許可する遷移は関数や状態管理クラスで別途チェックしてください。また、明示的なキャストなどで名前のない値を作ることもできるため、外部入力の検証をenum classだけに任せることはできません。

型を分けることによる誤用の防止と、業務上の状態遷移ルールの検証は、別の役割として設計しましょう。

enum型とスコープの関係

enum型が持つスコープの概念とその影響について解説します。C++では、通常のenumとenum classでスコープの扱いが異なります。

通常のenumのスコープ

通常のenumは、グローバルだけでなく、名前空間、クラス、関数内のブロックにも定義できます。列挙子の名前が、列挙型を定義した周囲のスコープでも見えることが特徴です。そのため、同じ周囲のスコープに同名の列挙子や変数があると衝突します。

次は名前の衝突を確認するための、意図的にコンパイルが失敗する例です。正常に動くプログラムへ、そのまま追加しないでください。

二つの列挙型を同じスコープに宣言すると、次のようになります。

enum Color {
    RED,
    GREEN,
    BLUE
};

enum TrafficLight {
    RED,  // ここで名前の衝突が発生する
    YELLOW,
    GREEN
};

上記の例では、ColorとTrafficLightの両方にREDとGREENが含まれており、名前の衝突が発生します。

enum classのスコープ

一方、enum classの列挙子は列挙型のスコープに属します。次のColor::REDとTrafficLight::REDは別々の名前なので衝突しません。ただし、列挙型自体の名前まで自由に重複できるわけではありません。同じスコープでColorを二重に定義することはできません。

enum class Color {
    RED,
    GREEN,
    BLUE
};

enum class TrafficLight {
    RED,  // 衝突しない
    YELLOW,
    GREEN
};

このように、enum classを使用することで、各列挙型が独自のスコープを持ち、名前の衝突を防ぐことができます。

enum型の制限と注意点

enum型を使用する際にはいくつかの制限事項や注意点があります。これらを理解しておくことで、enum型をより効果的に利用できます。

1. 型の安全性

通常のenumの値は整数昇格によって整数型へ暗黙変換できます。一方、enum classから整数型への暗黙変換はありません。逆方向のColor c = 0;のような整数から列挙型への代入形式の初期化は、通常のenumでもできません。

enum Color {
    RED,
    GREEN,
    BLUE
};

int color = RED;  // 通常のenumは暗黙的に整数に変換される

enum class TrafficLight {
    RED,
    YELLOW,
    GREEN
};

// 次の行は意図的なエラー例。コメントを外すとコンパイルに失敗する
// int implicitLight = TrafficLight::RED;
int light = static_cast<int>(TrafficLight::RED);  // 明示的な変換は可能

2. 列挙子の値と変数の初期化

値を指定しない最初の列挙子は0、それ以降は直前の列挙子の値に1を加えた値になります。次の例ではMONDAYを1に指定しているため、TUESDAYは2、SUNDAYは7です。これは列挙子への値の割り当てであり、変数を自動的に最初の列挙子へ初期化する規則ではありません。

enum Day {
    MONDAY = 1,
    TUESDAY,
    WEDNESDAY,
    THURSDAY,
    FRIDAY,
    SATURDAY,
    SUNDAY
};

直前のDayを使う変数は、例えば次のように初期化します。Day zero{};は値0になりますが、このDayには値0の列挙子はありません。関数内の自動変数をDay today;とだけ宣言すると初期化されないので、値を代入する前に読み出さないでください。初期化の区別はC++作業草案の初期化の規定を参照してください。

Day today = MONDAY;  // 意図する初期状態を明示する
Day zero{};          // 値は0。MONDAY（1）ではない

3. 可読性の維持

enum型を使いすぎると逆に可読性が低下することがあります。適切な名前付けとスコープの管理を行うことが重要です。

4. サイズとメモリの使用

列挙型のサイズとアラインメントは、その基底型（underlying type）と同じです。基底型を省略したenum classではintになりますが、通常のenumで省略した場合は、全列挙子の値を表現できる整数型から処理系が選びます。したがって、列挙型を一律に「intと同じ」「4バイト」とは決めつけられません。C++作業草案の列挙型の規定で、この違いが定められています。

C++11以降では、通常のenumとenum classのどちらも: 型名で基底型を指定できます。例えば次の型はunsigned charと同じサイズになります。列挙子の値は、指定した基底型で表現できる範囲に収める必要があります。

enum class Mode : unsigned char {
    Off = 0,
    On = 1
};

static_assert(sizeof(Mode) == sizeof(unsigned char),
              "Mode must have the same size as its underlying type");

実際のサイズが必要ならsizeofで確認してください。メモリ上の表現をそのまま通信・保存形式として使う場合は、基底型だけでなくバイト順なども別途決める必要があります。

これらの制限と注意点を踏まえて、enum型を適切に活用することで、より安全で可読性の高いコードを作成できます。

演習問題

理解を深めるために、以下の演習問題に取り組んでみてください。これらの問題を通じて、enum型の基本的な使い方やその応用方法を実践的に学びましょう。

問題1: 基本的なenum型の定義と使用

以下の手順に従って、基本的なenum型を定義し、その使用方法を学びます。

  1. 以下のようなenum型を定義してください：
    enum Animal { DOG, CAT, BIRD };
  2. main関数内で、Animal型の変数を作成し、DOGの値を代入してください。
  3. 変数の値に基づいて、”Dog”, “Cat”, “Bird”のいずれかを出力する関数を作成してください。

問題2: enum classの使用

より安全なenum classの使用方法を学びます。

  1. 以下のようなenum classを定義してください：
    enum class Weather { SUNNY, CLOUDY, RAINY };
  2. main関数内で、Weather型の変数を作成し、Weather::SUNNYで初期化してください。
  3. 変数の値に基づいて、”Sunny”, “Cloudy”, “Rainy”のいずれかを出力する関数を作成してください。

問題3: 複雑なenum型の応用

enum型の応用力を高めるための問題です。

  1. 以下のようなenum型を定義してください：
    enum class OrderStatus { PENDING, PROCESSED, SHIPPED, DELIVERED, CANCELED };
  2. main関数内で、OrderStatus型の変数をOrderStatus::PENDINGで初期化し、型名で修飾した異なるステータスを代入してみてください。
  3. 変数の値に基づいて、それぞれのステータスに応じたメッセージを出力する関数を作成してください。

これらの演習問題を通して、enum型とenum classの理解を深め、実際のプログラムにどのように適用するかを学んでください。

まとめ

C++のenum型は、関連する定数を一つの型としてまとめることで、コードの可読性や保守性を向上させる非常に有用なツールです。特に、C++11以降で導入されたenum classを利用することで、型の安全性が向上し、より堅牢なプログラムを作成できます。基本的な使い方から応用例、そして実践的な演習問題を通して、enum型の利点とその活用方法について理解を深めることができました。enum型を適切に活用し、効率的で読みやすいコードを書いていきましょう。

C++
プログラミング コード品質 ソフトウェア開発 ENUM C++

この記事を書いた人

佐藤健司のアバター 佐藤健司

実務の現場で詰まりがちなポイントを地図にするITブログ「IT trip」を運営。Windows／Office（Teams・Excel）からSQL、サーバ運用、ガジェットまで、再現性のある手順と“なぜそうなるか”を丁寧に解説します。読んだらすぐ試せること、そして迷った人の次の一歩が見えることを大切にしています。

関連記事

コメント

コメントする

目次