调用零大小非活跃union成员的成员函数是否为UB？C++20前能否用union实现[[no_unique_address]]

核心问题拆解 #

你提出了两个关联问题：一是调用union中非活跃的零大小平凡成员的成员函数是否属于未定义行为（UB）；二是C++20之前能否通过这种union写法模拟[[no_unique_address]]的效果。

1. 非活跃零大小平凡成员的成员函数调用是否合法？ #

从C++标准的严格定义来看，这种操作属于未定义行为，原因如下：

• union的非活跃成员并未进入生命周期：当union的某个成员被激活（比如代码中ptr被初始化后），其他成员的生命周期并未启动。标准要求调用非静态成员函数时，必须保证对象处于有效的生命周期中。
• 所谓“零大小、平凡”不能豁免这个规则：虽然平凡类型的生命周期启动条件较低（仅需要合适的存储和对齐），但union的非活跃成员对应的存储已经被活跃成员占用，标准并未明确允许在这种情况下隐式启动另一个成员的生命周期。
• 成员函数调用本质依赖对象实例：即使是空类型的成员函数，非静态成员函数的调用仍需要this指针指向有效的对象实例，而非活跃成员并不满足这个前提。

不过需要注意：部分编译器（如GCC、Clang）会对这类场景做宽松处理，因为零大小平凡类型的成员函数调用几乎不会产生实际的内存访问操作，编译器可能将其视为等价于静态函数调用。但这属于编译器扩展，并非标准规定的合法行为。

2. C++20前能否用union模拟[[no_unique_address]]？ #

[[no_unique_address]]的核心效果是让空类型的成员不占用额外内存空间，与其他成员共享存储位置。从内存布局上看，union确实能达到类似的效果——所有成员共享同一块存储，空成员不会增加结构体的大小。

但问题的关键在于访问空成员的合法性：如果需要调用空成员的成员函数（比如代码中的alloc.allocate），如前所述，这在标准中属于UB，仅能依赖编译器的非标准支持。因此这种模拟方式是不可移植的，无法保证在所有标准兼容的编译器上正常工作。

示例代码分析 #

template<typename T>
struct MyVector {
  union {
    T* ptr{};

    // 假设std::allocator<T>满足is_trivial_v和is_empty_v
    std::allocator<T> alloc; 
  }; 

  explicit MyVector(std::size_t size) {
    // 标准层面属于UB：调用非活跃成员alloc的成员函数
    ptr = alloc.allocate(size); 
  }
};

代码中alloc.allocate(size)的调用，在标准中因为alloc是union的非活跃成员，其生命周期未启动，因此属于未定义行为。虽然部分编译器可以正常编译运行，但不具备可移植性。

内容的提问来源于stack exchange，提问作者김선달