冗余加载消除（lse）是编译器优化技术，通过分析内存别名关系删除重复的加载操作；普通指针因默认允许别名而阻碍lse，使用__restrict可显式声明无别名，使编译器敢于优化。
什么是冗余加载消除（LSE）及其与指针的关系
编译器做冗余加载消除时，并不“识别指针本身”，而是分析内存访问的别名关系（aliasing）和数据流。C++中，int* 这类普通指针默认允许别名（即多个指针可能指向同一地址），这会直接阻止LSE：编译器不敢删掉第二次 *p，因为无法确认第一次读取后 *p 没被其他路径修改。
关键点在于：不是“用指针就能触发LSE”，而是“如何约束指针行为，让编译器敢做LSE”。
用 restrict 或 __restrict 显式声明无别名
在支持 C99 或 GNU 扩展的编译器（如 GCC、Clang）中，可在 C++ 编译模式下使用 restrict 限定符（需开启 -std=c++11 及以上并接受扩展）。它告诉编译器：“该指针是访问其所指内存区域的唯一途径”。
-
int* __restrict p;（GCC/Clang 推荐写法，兼容性更好） -
int* restrict p;（C99 风格，在部分 C++ 模式下需加-fpermissive） - 必须作用于指针声明处；不能用于成员变量或全局指针
- 若实际存在别名（比如传了两个重叠数组给
restrict参数），行为未定义——优化后结果可能出错
示例：
void process(int* __restrict a, int* __restrict b, int n) {
for (int i = 0; i <h3>避免隐式别名：慎用 <code>reinterpret_cast</code> 和联合体（union）</h3><p>通过 <code>reinterpret_cast<int>(&x)</int></code> 或 union 成员访问同一块内存，会破坏类型别名规则（strict aliasing），导致编译器无法正确推断加载是否冗余。即使你没改值，编译器也可能因怀疑“有人绕过类型系统改了它”而放弃LSE。</p>
- 启用
-fstrict-aliasing（GCC/Clang 默认开启）时，违反 strict aliasing 的代码会让优化失效甚至产生错误代码 - 若必须做类型双关（type punning），用
memcpy替代reinterpret_cast，编译器能识别其无副作用，更利于保留LSE机会 - 结构体内嵌指针字段（如
struct S { int* p; };）本身不构成问题，但若多个S实例的p指向重叠区域，且未用restrict标注，LSE 仍会被抑制
观察是否生效：用 -O2 -S 看汇编输出
不要依赖直觉或文档描述——直接检查生成的汇编。开启 -O2 并用 -S 输出 .s 文件，搜索关键循环内的内存加载指令（如 movl、ldrw）出现次数。
- 若同一地址在循环内多次出现独立的加载指令（如两次
movl (%rax), %edx），说明LSE未触发 - 若只有一次加载，后续复用寄存器值，则LSE已起效
- 对比加/不加
__restrict的汇编差异最直观；注意关闭-fno-alias等干扰选项
真正难的不是加关键字，而是确保整个调用链路里所有相关指针都满足无别名假设——漏掉一个中间函数参数，前面的 __restrict 就白标了。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
