如何无额外分配且无UB地将ECApi指针转为EImpl指针？

要在不修改impl函数、不分配额外内存且无未定义行为的前提下，将const ECApi*转换为const EImpl*，需要结合C++标准规则和实际编译器行为分析：

核心限制：严格别名规则 #

C++的严格别名规则明确禁止通过不同类型的glvalue访问对象（除非属于标准允许的例外情况，如char/unsigned char、基类等）。ECApi和EImpl是不同的枚举类型，即使它们的底层类型相同、枚举值对应，直接通过const EImpl*访问ECApi对象在标准层面属于未定义行为。

实践中安全且满足需求的方案 #

不过在实际开发场景中，当两个枚举满足以下条件时，主流编译器（GCC、Clang、MSVC）都会兼容处理，不会产生错误：

• 两者的底层类型匹配（或通过static_assert验证枚举值的底层类型表示完全相等）；
• 对应枚举值的数值一一对应（已通过代码中的static_assert保证）。

此时可以直接使用reinterpret_cast完成转换：

void c_api(const ECApi *e, size_t count) {
    impl(ArrayRef{reinterpret_cast<const EImpl*>(e), count});
}

如果使用C++20及以上标准，也可以用std::bit_cast替代reinterpret_cast，其语义更明确（按位复制指针值），效果与前者一致：

#include <bit>

void c_api(const ECApi *e, size_t count) {
    impl(ArrayRef{std::bit_cast<const EImpl*>(e), count});
}

标准层面的说明 #

严格来说，上述转换后的指针解引用仍属于未定义行为，但由于两个枚举的对象表示（内存字节布局）完全一致，且主流编译器都针对这种C/C++ API封装的常见场景做了兼容优化，实际使用中不会出现问题。

如果追求100%符合标准的无UB方案，唯一的途径是修改ArrayRef模板，新增支持兼容枚举类型的构造函数（例如接受const ECApi*并内部转换为const EImpl*的逻辑），但这需要修改内部组件，不符合你的需求。

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