MSVC中如何对非底层类型转枚举类的static_cast触发警告？

完全可以实现这类检测，下面是几种适配MSVC环境的实用方法：

• 启用MSVC内置代码分析警告C26814
  MSVC的代码分析工具里自带针对枚举越界转换的警告（C26814），只要开启代码分析就能触发。它会识别出将超出枚举底层类型范围的值通过static_cast转换到枚举类的情况。
  开启步骤：

  1. 打开项目属性，找到「代码分析」→「常规」；
  2. 勾选「启用代码分析」，并确保规则集包含「C++ Core Guidelines」（C26814属于这个规则集）；
  3. 也可以直接在代码里加#pragma warning(error:26814)，把这个警告升级为错误，强制拦截这类代码提交。

• 自定义安全转换工具
  如果需要更灵活的控制，可以自己写一个模板函数，在编译期或运行期检查值的范围：

  #include <type_traits>
  #include <cassert>
  #include <limits>
  
  template <typename Enum>
  constexpr Enum safe_enum_cast(std::underlying_type_t<Enum> value) {
      static_assert(std::is_enum_v<Enum>, "必须传入枚举类型");
      using UnderlyingType = std::underlying_type_t<Enum>;
  
      // 编译期常量检查
      if constexpr (std::is_constant_evaluated()) {
          if constexpr (std::is_signed_v<UnderlyingType>) {
              constexpr UnderlyingType min = std::numeric_limits<UnderlyingType>::min();
              constexpr UnderlyingType max = std::numeric_limits<UnderlyingType>::max();
              static_assert(value >= min && value <= max, "值超出枚举底层类型范围");
          } else {
              constexpr UnderlyingType max = std::numeric_limits<UnderlyingType>::max();
              static_assert(value <= max, "值超出枚举底层类型范围");
          }
      } else {
          // 运行时检查，发布版可根据需求注释
          if constexpr (std::is_signed_v<UnderlyingType>) {
              UnderlyingType min = std::numeric_limits<UnderlyingType>::min();
              UnderlyingType max = std::numeric_limits<UnderlyingType>::max();
              assert(value >= min && value <= max && "值超出枚举底层类型范围");
          } else {
              UnderlyingType max = std::numeric_limits<UnderlyingType>::max();
              assert(value <= max && "值超出枚举底层类型范围");
          }
      }
      return static_cast<Enum>(value);
  }
  
  // 使用示例
  enum class some_enum_class : unsigned char { SomeVal };
  int BadVal = 1000;
  // auto EnumVar = safe_enum_cast<some_enum_class>(BadVal); // 编译期/运行时触发错误
  

  这个工具对常量值会在编译期直接报错，对运行时变量则通过断言提醒，适合不同场景的检测需求。

• 配合严格编译选项/permissive-
  开启/permissive-编译选项让MSVC严格遵循C++标准，虽然它不会直接触发越界转换警告，但能让代码分析工具更精准地捕捉这类不符合规范的转换操作，建议和上面的方法搭配使用。

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