访问非活跃union成员的UB代码：哪些编译器会使其实际失效？

根据cppreference及《Purpose of Unions in C and C++》，以下代码属于C/C++中的未定义行为（UB）：

// 将char[8]转换为uint64_t
uint64_t convert(char c[8]) {
  union{
    uint64_t v;
    char c[8];
  } u;
  for(int i = 0; i < 8; i++) {
    u.c[i] = c[i];
  }
  return u.v;
}

// 另一个示例
union U {
  uint64_t v;
  struct{
    uint32_t l;
    uint32_t h;
  }d;
};

uint64_t setlow(uint64_t v, uint32_t l) {
  U u{v};
  u.d.l = l;
  return u.v;
}

这类通过union跨成员读写的写法虽然便捷，且在GCC、Clang等主流编译器上能正常运行，但确实存在部分编译器或编译环境会导致代码失效，具体包括：

• MSVC（启用特定编译选项时）：当开启/Za（禁用微软扩展）选项编译时，MSVC会严格遵循C++标准处理union，跨成员访问的代码可能生成不符合预期的结果——比如读取到垃圾值，或者写入操作被编译器直接优化丢弃。
• 嵌入式小众编译器：一些针对8位/16位MCU的嵌入式编译器，为了最大化优化效率，会严格按照标准处理union内存访问，不会保留跨成员读写的逻辑，可能导致数据被错误覆盖或读取失败。
• 启用极致优化的主流编译器：即便是GCC或Clang，当启用最高级优化（如-O3）同时开启严格标准模式（如-std=c++17 -pedantic-errors）时，编译器可能基于未定义行为做激进优化，比如忽略对union非活跃成员的写入，或者把读取非活跃成员的操作替换为无意义值。
• 安全敏感场景的编译环境：集成了严格静态分析工具的编译链（常用于安全敏感项目），会把union跨成员访问视为错误，直接拒绝编译或生成不符合预期的目标代码。

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