如何将C++ enum class类型元素转换为对应字符串？

问题描述 #

我有一个enum class，需要编写函数根据传入的成员返回对应字符串，enum定义如下：

enum class SignalState   
{
    red,        // 0
    yellow,     // 1
    green,      // 2
    max_num
};

期望传入SignalState成员时返回"red"、"yellow"或"green"。尝试用std::string_view和std::array实现时遇到编译错误，错误代码如下：

#include <iostream>
#include <string>
#include <string_view>
#include <array>

enum class SignalState   
{
    red,        // 0
    yellow,     // 1
    green,      // 2
    max_num
};

static const std::string_view signal_string(SignalState signal)    
{
    static const std::array <SignalState, SignalState::max_num> ss {"Red","Yellow","Green"};

    return ss[ static_cast<unsigned>(signal) ];
}

int main()
{
    SignalState mysig{SignalState::red};

    std::cout << "Color is: " <<  signal_string(mysig);

    return 0;
}

首次编译错误：

error: value of type 'SignalState' is not implicitly convertible to 'size_t' (aka 'unsigned long')

尝试转换模板参数后：

static const std::array <SignalState, static_cast<unsigned>(SignalState::max_num)> ss {"Red","Yellow","Green"};

仍报错：

error: implicit instantiation of undefined template 'std::__1::array<SignalState, 3>'

错误原因 #

代码存在两个核心问题：

1. 类型不匹配：std::array的第一个模板参数是元素类型，你写成了SignalState，但实际要存储的是字符串类型（std::string_view），导致无法用字符串初始化数组。
2. 模板参数非法：std::array的第二个模板参数必须是编译期可求值的整数常量表达式，直接使用SignalState::max_num不行，需显式转换为整数类型并确保是编译期常量。

正确实现方案 #

方案1：std::array + std::string_view（类型安全+高效） #

修正类型匹配问题，同时确保模板参数为编译期常量，还可加入边界检查：

#include <iostream>
#include <string_view>
#include <array>

enum class SignalState   
{
    red,        // 0
    yellow,     // 1
    green,      // 2
    max_num
};

// 编译期转换enum为索引值
constexpr std::size_t to_index(SignalState s) {
    return static_cast<std::size_t>(s);
}

static std::string_view signal_string(SignalState signal)    
{
    // 元素类型为std::string_view，大小由max_num的整数值确定
    static constexpr std::array<std::string_view, to_index(SignalState::max_num)> ss {
        "red", "yellow", "green"
    };
    
    // 边界检查，避免非法enum值导致越界
    if (signal >= SignalState::max_num) {
        return "invalid";
    }
    return ss[to_index(signal)];
}

int main()
{
    SignalState mysig{SignalState::red};
    std::cout << "Color is: " << signal_string(mysig) << "\n";
    std::cout << "Color is: " << signal_string(SignalState::yellow) << "\n";
    std::cout << "Color is: " << signal_string(SignalState::green) << "\n";
    return 0;
}

优势：类型安全，无字符串拷贝，静态数组仅初始化一次，性能高效，支持边界检查。

方案2：switch语句（简单直观） #

如果enum成员数量不多，switch是最直接的实现方式，无需额外容器：

#include <iostream>
#include <string_view>

enum class SignalState   
{
    red, yellow, green, max_num
};

static std::string_view signal_string(SignalState signal)    
{
    switch(signal) {
        case SignalState::red: return "red";
        case SignalState::yellow: return "yellow";
        case SignalState::green: return "green";
        default: return "invalid";
    }
}

int main()
{
    SignalState mysig{SignalState::green};
    std::cout << "Color is: " << signal_string(mysig) << "\n";
    return 0;
}

优势：逻辑清晰，天然支持边界检查，无需处理数组索引。

方案3：C++20 constexpr编译期转换 #

使用C++20特性可实现编译期的enum转字符串，完全在编译阶段完成转换：

#include <iostream>
#include <string_view>

enum class SignalState   
{
    red, yellow, green, max_num
};

constexpr std::string_view signal_string(SignalState signal) noexcept
{
    using enum SignalState; // C++20特性，简化switch写法
    switch(signal) {
        case red: return "red";
        case yellow: return "yellow";
        case green: return "green";
        default: return "invalid";
    }
}

int main()
{
    // 编译期即可确定结果
    constexpr auto color = signal_string(SignalState::red);
    std::cout << "Color is: " << color << "\n";
    return 0;
}

优势：编译期计算，运行时无开销，代码简洁。

内容的提问来源于stack exchange，提问作者tadm123