C++为何限制访问union非活跃成员？求解该规则存在原因

安全阿岳

2026-7-15

问题描述

想要实现一个可同时通过数组和命名成员访问的结构体，编写了如下代码（range实际是unsigned char）：

struct RangeLimits
{
  enum class RangePenalty: byte
  {
    OUT_OF_RANGE,
    NO_PENALTY,
    SHORT,
    MEDIUM,
    LONG,
    EXTREME
  };
  union
  {
    struct
    {
      range shrt;
      range med;
      range lon;
      range ext;
    };
    std::array<range, 4> arang;
  };
};

namespace static_test
{

constexpr static bool checkThatArrayMapsToFields()
{
  RangeLimits limits{ range{1},range{1},range{1},range{1} };
  limits.med = range{ 66 };
  return limits.arang[1] == range{ 66 };
}

static_assert(checkThatArrayMapsToFields(), "Union not behaving as expected");

编译时遇到如下错误：

1>RangeLimits.h(41,41): error C2131: expression did not evaluate to a constant
1>RangeLimits.h(38,16): message : failure was caused by accessing a non-active member of a union
1>RangeLimits.h(38,16): message : see usage of 'techsheet::RangeLimits::arang'

已知这是C++ union的既定行为，但不理解该规则存在的原因——毕竟编译器并非总能检查这种情况，为什么要做此限制？

规则存在的原因

C++对union的“只能访问活跃成员”限制，本质是为了保证语言的可移植性和行为确定性，核心原因有以下几点：

内存布局的不确定性
不同编译器、平台对结构体的内存对齐规则可能存在差异。比如代码中的匿名结构体，即使成员都是unsigned char，编译器也可能为了满足对齐要求插入填充字节；而std::array<range,4>的内存是连续无填充的。这种情况下union的两个成员内存布局不匹配，跨成员访问会读取到未定义的内存值。
类型安全与行为可预测
C++的类型系统要求操作对象的类型明确。union的不同成员可能是完全不同的类型，甚至包含有非平凡构造、析构函数的类类型。如果允许随意访问非活跃成员，会直接破坏类型安全，比如访问一个未被正确构造的对象，或者读取因类型解析差异产生的错误值。
编译期常量求值的严格性
你遇到的错误发生在constexpr函数中，编译期求值对行为的约束比运行期更严格。运行期环境下，跨成员访问可能“看起来正常”，但这本质是未定义行为；编译期必须严格遵守规则，拒绝这种可能产生不确定结果的操作，避免生成不可靠的常量值。

合法替代方案

如果需要同时支持命名成员和数组式访问，无需依赖union的未定义行为，可采用以下两种合法方式：

成员函数映射
给结构体添加重载的operator[]，通过下标返回对应命名成员的引用：

struct RangeLimits
{
  enum class RangePenalty: unsigned char
  {
    OUT_OF_RANGE,
    NO_PENALTY,
    SHORT,
    MEDIUM,
    LONG,
    EXTREME
  };

  range shrt;
  range med;
  range lon;
  range ext;

  range& operator[](size_t idx) {
    switch(idx) {
      case 0: return shrt;
      case 1: return med;
      case 2: return lon;
      case 3: return ext;
      default: throw std::out_of_range("Invalid index for RangeLimits");
    }
  }

  const range& operator[](size_t idx) const {
    switch(idx) {
      case 0: return shrt;
      case 1: return med;
      case 2: return lon;
      case 3: return ext;
      default: throw std::out_of_range("Invalid index for RangeLimits");
    }
  }
};

编译期安全索引
若需要编译期就确保索引的合法性，可以用模板元编程实现下标到成员的映射，比如通过模板特化绑定索引和对应成员，避免运行期的错误分支。

内容的提问来源于stack exchange，提问作者Tomáš Zato