能否安全地用标量与GCC/Clang向量类型互相别名？

我一直在用基于GCC/Clang向量扩展实现的Apple SIMD库。虽然C标准里严格别名规则禁止大部分指针类型双关，但这里问的是非标准扩展，所以C标准不适用。

Apple的simd_packed_*头文件提到可以用打包类型从低对齐标量缓冲区加载向量，这暗示对齐后的标量缓冲区用向量类型别名是安全的。但反过来，把simd_float4（也就是__attribute__((__ext_vector_type__(4))) float）向量指针强制转换成float*标量指针来访问分量（如下代码）是否安全？

simd_float4 vec; // __attribute__((__ext_vector_type__(4))) float
float *scalar_ptr = (float *)&vec;
printf("%f\n", *scalar_ptr);

直接取向量分量地址（比如&vec.x）会触发编译错误，强制转换是可行的临时解决办法。想知道GCC或Clang有没有明确说明标量与向量互相别名的安全性？

回答 #

对于GCC和Clang的向量扩展（包括Apple基于它实现的SIMD库），向量类型和其基础标量类型互相别名是安全的，编译器会特殊处理，不会因严格别名优化导致未定义行为：

• GCC官方文档明确指出，向量类型被视为其基础标量类型的聚合体，允许用标量指针访问向量元素。也就是说，把__attribute__((ext_vector_type(n))) T类型的指针转为T*是合法且安全的，反过来也一样。
• Clang完全兼容GCC的向量扩展规则，同样允许这种别名操作。另外，Apple SIMD库文档提到的“从标量缓冲区加载向量”的反向操作（向量转标量指针访问），在Clang下也是被认可的安全操作。

另外，你用的强制转换方法可行，但也可以试试数组风格访问（比如vec[0]），这是GCC/Clang向量扩展支持的语法，不用指针转换更直观：

simd_float4 vec;
printf("%f\n", vec[0]);

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