绑定引用到enum class对象的底层类型是否属于未定义行为？

结论先行 #

这种操作不属于未定义行为，但存在维护风险，需谨慎使用。

标准依据 #

C++标准明确规定：

• 强枚举类（enum class）的对象与其指定的底层类型具有完全相同的大小、对齐要求和对象表示。
• 当使用reinterpret_cast在布局兼容的类型引用之间转换时，通过转换后的引用读取或修改对象是合法的——强枚举类和它的底层类型属于布局兼容类型，因此你代码中reinterpret_cast<int&>(i)的转换及后续访问操作符合标准要求，不会触发未定义行为。

关于你的XY问题 #

你提到频繁用static_cast做双向转换过于繁琐，想用这种引用穿透的方式简化实现。虽然合法，但可以优化实现方式来降低风险：
比如在私有实现中封装专门的访问函数，避免直接暴露reinterpret_cast：

enum class Int : int {};

// 私有实现内的辅助函数
inline int& access_int(Int& i) {
    return reinterpret_cast<int&>(i);
}
inline const int& access_int(const Int& i) {
    return reinterpret_cast<const int&>(i);
}

这样既保留了易用性，又能在后续枚举底层类型变更时，只需要修改这一处代码即可。

注意事项 #

• 务必保证强枚举类的底层类型不会意外修改，否则这种转换会直接失效。
• 即使是私有实现，也应尽量限制这种操作的使用范围，避免因为类型绕过导致难以排查的bug。

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