能否强制数组索引使用enum class保障类型安全？相关技术疑问

问题1：无需重载operator[]的实现方法 #

原生数组和标准库容器（如std::array、std::vector）的默认operator[]只接受整数类型参数，没法直接用enum class索引。不过可以通过两种方式实现类型安全的访问，且无需重载operator[]：

• 辅助函数封装转换逻辑：
  写一个模板函数，负责将enum class转换为底层整数类型后再索引数组，既保证类型安全，又不用修改数组的访问方式：

  #include <type_traits>
  
  template<typename Enum, typename T, std::size_t N>
  constexpr T& get(T (&arr)[N], Enum e) {
      using UnderlyingType = std::underlying_type_t<Enum>;
      return arr[static_cast<UnderlyingType>(e)];
  }
  
  // 调用示例
  enum class Fruit { Apple, Banana, Cherry };
  int fruit_counts[] = {10, 20, 30};
  
  auto apple_count = get(fruit_counts, Fruit::Apple); // 仅接受Fruit枚举值，类型安全
  

• C++20+ 用std::to_underlying简化转换：
  C++20引入的std::to_underlying可以更优雅地获取enum class的底层整数值，配合原生数组/容器的operator[]使用：

  #include <utility> // 包含std::to_underlying
  
  enum class Fruit { Apple, Banana, Cherry };
  int fruit_counts[] = {10, 20, 30};
  
  auto banana_count = fruit_counts[std::to_underlying(Fruit::Banana)];
  

  这种写法比直接static_cast更清晰，且同样保证类型安全（只有对应枚举类型的值能传入）。

问题2：重载operator[]的性能开销 #

完全不会有额外的函数调用开销。只要将重载的operator[]定义为constexpr且内联（类内定义默认是内联的），编译器会直接将函数逻辑内联到调用处，生成的汇编代码和直接用static_cast索引原生数组完全一致。

举个实际的封装例子：

#include <type_traits>
#include <array>

enum class Fruit : std::size_t {
    Apple,
    Banana,
    Cherry,
    Count // 用于标记枚举成员总数
};

template<typename Enum, typename T>
struct EnumArray {
    std::array<T, static_cast<std::size_t>(Enum::Count)> data;

    // 非const版本
    constexpr T& operator[](Enum e) {
        return data[static_cast<std::underlying_type_t<Enum>>(e)];
    }

    // const版本
    constexpr const T& operator[](Enum e) const {
        return data[static_cast<std::underlying_type_t<Enum>>(e)];
    }
};

// 调用示例
EnumArray<Fruit, int> fruit_counts = {{10, 20, 30}};
auto cherry_count = fruit_counts[Fruit::Cherry]; // 直接用enum class索引，类型安全

在-O2及以上优化级别下，编译器会彻底消除operator[]的函数调用，直接生成内存访问指令，和原生数组的性能完全相同。你可以通过查看编译器的汇编输出验证这一点。

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