2506,字节对齐

原文
客户发现,如果他们传递的统一串(在窗口中是指,按使用双字节数据类型的wchar_t作为代码单元的UTF-16LE编码的串),不在偶数地址上,则某些(但不是全部)函数无法接受这些串.
为什么没有记录?

这是编程的基本规则之一:除非显式允许,否则指针必须正确对齐.
在C/C++语言中,显式按不返回任何有用的值指定构成未对齐的指针.
在C中:
如果生成的指针没有正确对齐引用的类型,则行为未定义.
在C++中:
expr.static.cast中,如果原始指针值表示内存中字节的A地址,且A不满足T的对齐要求,则未指定生成的指针值.

因此,简单创建一个未对齐的指针已将你带到允许的(在C中)或至少有意义的(在C++中)操作之外,因此使用未对齐的指针会导致无意义,不应感到惊讶.

至于为什么某些函数比其他函数更不安,这完全根据这些函数如何使用指针及谁检测到未对齐的指针.

如果你正在使用对齐敏感的处理器,当代码试从该指针读取数据时,就会失败.如果在用户模式下访问,会得到访问冲突异常,且进程可能会崩溃.

如果在内核模式下访问,则内核模式验证参数器可能会返回无效的参数错误.内核模式必须保护自身免受用户模式的影响.

如果你使用的处理器可容忍,未对齐的数据访问,则临时摆脱它,直到代码对需要对齐的数据执行某些作.如,原子操作一般需要对齐数据,即使在一般允许错位的处理器上也是.

尽管x86-64一般对对齐持宽容态度,但仍有一些地方对对齐敏感.如,一些涉及SIMD的寄存器的指令需要对齐.
SIMD的寄存器一般用来复制内存块,因为wchar_t有2字节对齐,因此用来复制块的猜语句在16个中只有8个合法起点,因为所有奇数地址都是无效的.
如果你传递一个奇数地址,则很可能会通过猜语句并执行垃圾复制.
微软C++的编译器有一个特殊的非标准的__unaligned关键字,用来声明,可能未对齐指针,这告诉编译器任何访问该指针背后的数据,都必须使用对齐宽容的指令.
对某些处理器,非常贵.

在显式允许未对齐指针的位置上,限制使用未对齐指针.可通过查找窗口SDK的UNALIGNED宏来查找这些位置.如:

LWSTDAPI_(int)SHFormatDateTimeA(_In_ const FILETIME UNALIGNED * pft,//.._Inout_opt_ DWORD * pdwFlags,_Out_writes_(cchBuf) LPSTR pszBuf,UINT cchBuf);