如何在向量化代码中执行越界读取且不触发未定义行为？

在编写向量化代码时，经常需要从末尾未对齐的unsigned char[]数组中一次性加载对齐的内存块（后续通过掩码过滤无用数据）。以下是GCC、Clang、MSVC三款编译器中不触发未定义行为的实现方法，且兼容__m256i、unsigned int等各类数据类型：

通用标准方案（三款编译器均支持） #

最稳妥且符合C标准的方式是使用memcpy，编译器会自动将其优化为直接的内存加载指令（无额外性能开销），同时绕开严格别名规则和对齐相关的未定义行为。

步骤示例：

1. 计算对齐到目标字节边界的起始地址（以16字节为例）：

#include <stdint.h>
#include <string.h>

unsigned char *ptr = ...; // 原始未对齐数组指针
// 对齐到16字节边界
uintptr_t aligned_addr = (uintptr_t)ptr & ~(uintptr_t)0xF;
unsigned char *aligned_ptr = (unsigned char *)aligned_addr;

2. 加载数据到目标变量（兼容任意类型）：

// 加载到向量类型
__m256i vec;
memcpy(&vec, aligned_ptr, sizeof(vec));

// 加载到普通整数类型
unsigned int val;
memcpy(&val, aligned_ptr, sizeof(val));

GCC & Clang 专属扩展方案 #

除了memcpy，这两款编译器支持通过内置函数或属性进一步优化，且明确定义行为：

• 使用__builtin_assume_aligned：告知编译器指针已满足指定对齐要求，可直接进行类型转换：

// 加载16字节对齐的__m256i
__m256i vec = *(__m256i *)__builtin_assume_aligned(aligned_ptr, 16);

// 加载4字节对齐的unsigned int
unsigned int val = *(unsigned int *)__builtin_assume_aligned(aligned_ptr, 4);

注意：必须确保aligned_ptr确实满足指定对齐要求，否则会触发未定义行为。

• 使用__attribute__((may_alias))：声明一个可别名化的类型，绕过严格别名检查：

typedef __m256i __attribute__((may_alias)) aliased_m256i;
aliased_m256i vec = *(aliased_m256i *)aligned_ptr;

MSVC 专属扩展方案 #

MSVC同样支持memcpy的优化，此外还可使用_mm_load_si128等向量内置函数（针对向量类型），但通用方案仍推荐memcpy。若需直接类型转换，MSVC文档明确说明：当指针实际对齐时，此类转换是安全的，不会触发未定义行为：

// 加载对齐的__m256i
__m256i vec = *(__m256i *)aligned_ptr;

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