Visual C++中#pragma pack(1)无法消除Vertex结构体内存填充问题

这个现象是Visual C++的结构对齐规则导致的：

• __m128是SSE指令集内置类型，编译器默认给该类型标记了__declspec(align(16))属性，强制要求16字节地址对齐。#pragma pack的作用是收紧结构体的默认自然对齐粒度，优先级低于__declspec(align)指定的强制对齐要求，无法把这个16字节对齐要求压到1字节。
• 因此包含__m128成员的Vector4类型，自身的对齐要求就是16字节。即使你给Vertex加了#pragma pack(1)，Color成员仍然要求自己的起始地址是16的整数倍。
• Position是3个float组成的Vector3，总大小12字节，从结构体偏移0位置开始占12字节后，下一个可用偏移是12，不满足Color的16字节对齐要求，编译器会自动在Position和Color之间插入4字节填充，把Color放到偏移16的位置，加上Vector4本身占16字节，总大小就是16+16=32，和你实测结果一致。

根据你是否需要直接对Vector4中的SIMD成员做对齐访问，可选以下方案：

方案1：使用无对齐要求的SSE类型（改动最小） #

VC++提供了无对齐要求的128位SIMD类型__m128_u，它没有内置的16字节对齐要求，#pragma pack(1)可以正常生效，总大小就能达到28字节。
修正后的代码：

#include <intrin.h> // 包含SSE内置类型定义

struct Vector3
{
   float x, y, z;
};

struct Vector4
{
   union
   {
      __m128_u _xmm; // 替换为无对齐要求的SSE类型
      struct
      {
         float x, y, z, w;
      };
   };
};

#pragma pack(push, 1)
struct Vertex
{
   Vector3 Position;
   Vector4 Color;
};
#pragma pack(pop)

// 此时sizeof(Vertex) == 28，符合预期

注意：访问_xmm成员做SIMD运算时，必须使用未对齐的加载/存储指令（如_mm_loadu_ps/_mm_storeu_ps），不能用对齐版本的指令，否则会触发内存访问异常。

方案2：移除SIMD联合体（不需要直接访问SIMD成员时可选） #

如果你不需要直接通过Vector4的成员操作SIMD寄存器，也可以去掉union，直接在Vector4里存4个float，需要做SIMD运算时再手动加载，这样Vector4本身的对齐要求就是4字节，配合pack(1)自然就能得到28字节的大小。这种写法可移植性更好，不会绑定MSVC的SSE类型对齐规则。

struct Vector3
{
   float x, y, z;
};

struct Vector4
{
   float x, y, z, w;
};

#pragma pack(push, 1)
struct Vertex
{
   Vector3 Position;
   Vector4 Color;
};
#pragma pack(pop)

• 即使你把Vertex的大小调整到28字节，如果你创建Vertex数组，数组中每个元素的Color成员都不会是16字节对齐的，任何对齐SSE访问都会出错，做SIMD操作时一定要记得用未对齐指令。
• 不要尝试给Vector4或者__m128成员手动加__declspec(align(1))，这种写法不会生效，还可能导致编译器生成错误的访问代码。
• 你贴出的原始代码中，结构体定义结束的大括号后缺少分号，属于语法错误，修正时记得补上。

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