关于在地址的2个最低有效位中存储元数据的合理性及相关对齐问题的问询

嘿，这个问题问到点子上了，我来给你掰扯清楚这段代码的门道～

首先得明确：这段代码能正常工作的核心前提是传入的原始指针的最低两位本来就是0，不然直接按位或0x1/0x2会把原本有效的地址给改坏，导致指向错误的内存位置。那为什么原始地址的低两位会是0？这就和内存对齐脱不开关系了：

• 系统默认的内存对齐规则：绝大多数现代操作系统里，像malloc这类动态分配函数返回的指针，都是按机器字长或更大粒度对齐的。比如64位系统通常是16字节对齐，32位系统是4字节对齐——不管是4（2²）还是16（2⁴），它们的二进制最后两位都是0，这就意味着这些地址的低两位是完全闲置的，不用来标识内存位置，刚好可以用来存这种小的元数据（比如这里的布尔标志）。
• 这种技巧的本质是「指针标记」，算是性能敏感场景里的常用小trick：不用额外开辟内存存标志，直接蹭地址里的闲置位，既省内存，读标志的时候也不用额外访存，效率更高。

那你担心的alignas的情况呢？如果有人手动用alignas指定了小于4字节的对齐（比如alignas(1)或者alignas(2)），那原始指针的低两位就可能不是0了——这时候这段代码直接修改低两位，就会把指针指向错误的内存，轻则崩溃，重则出现诡异的内存访问BUG。所以这段代码其实是强依赖“传入指针至少4字节对齐”这个假设的，一旦这个假设不成立，代码就彻底失效了。

总结一下：这段代码是利用了内存对齐带来的地址闲置位来存元数据，省内存又高效，但前提是所有传入的指针都符合至少4字节对齐的要求，要是有人打破了这个对齐规则，那它就会出大问题。

内容来源于stack exchange