通过char指针访问无填充RGBA结构体成员是否为未定义行为？

结论 #

你给出的写法在绝大多数常规开发场景下是安全的，仅在部分极端的非标准配置下存在理论风险。

安全的依据 #

1. 针对你给出的这个结构体定义，C/C++标准明确要求：对于所有成员访问权限相同的标准布局结构体，成员会按照声明顺序依次排列在内存中，首个成员的偏移量固定为0。
2. 四个成员都是uint8_t类型，自身对齐要求为1字节，成员之间不需要插入填充字节来满足对齐要求；同时整个结构体的最大对齐要求也是1字节，尾部也不需要额外填充对齐，因此sizeof(RGBA)的结果固定为4。

潜在的理论风险 #

仅在以下非标准场景下会出现问题：

• 代码中存在#pragma pack、__declspec(align)之类的编译器扩展指令，强制修改了该结构体的对齐规则，导致结构体整体大小大于4字节
• 使用的编译器违反C/C++标准的布局约定（主流的GCC、Clang、MSVC均符合要求，仅部分极端偏门的嵌入式编译器可能存在这类问题）

更稳妥的方案 #

如果需要100%符合标准、完全规避所有风险，可以做两个优化：

1. 增加编译期断言，提前拦截布局异常的情况：

// C 版本静态断言
_Static_assert(sizeof(RGBA) == 4, "RGBA 结构体大小必须为4字节");
_Static_assert(offsetof(RGBA, R) == 0 && offsetof(RGBA, G) == 1 && offsetof(RGBA, B) == 2 && offsetof(RGBA, A) == 3, "RGBA 成员偏移不符合要求");

// C++ 版本静态断言
static_assert(sizeof(RGBA) == 4, "RGBA 结构体大小必须为4字节");
static_assert(offsetof(RGBA, R) == 0 && offsetof(RGBA, G) == 1 && offsetof(RGBA, B) == 2 && offsetof(RGBA, A) == 3, "RGBA 成员偏移不符合要求");

2. 直接逐个写入成员，完全不依赖结构体内存布局：

void writeRGBA(std::ostream& out, RGBA rgba)
{
    out.put(rgba.R);
    out.put(rgba.G);
    out.put(rgba.B);
    out.put(rgba.A);
}

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