restrict 是 C99 标准引入的一个类型限定符 ，它也是 C 语言里最容易被误解的关键字之一。它的核心作用是向编译器做出一个承诺，以换取更激进的性能优化。
🎯 核心本质：一个"独占访问"的承诺
一句话概括：由 restrict 修饰的指针，在其生命周期内，它所指向的内存，只能通过这个指针来访问或修改，不能有任何"别名"（Alias）。
这本质上是一个程序员与编译器之间的契约。你做出承诺，编译器则基于这份信任，启用原本因"可能存在内存重叠"而不敢使用的高强度优化。
🚧 它要解决的问题：指针"别名"导致优化失效
"别名"是指两个或多个不同的指针，指向了同一块内存区域。这对编译器来说是巨大的障碍，因为它无法确定通过指针 A 的写入，是否会影响通过指针 B 的读取。
来看一个经典的数组累加例子：
c
void add_arr(int *a, int *b, int n) {
for (int i = 0; i < n; i++) {
b[i] += a[i];
}
}编译器在编译这段代码时，必须假设 a 和 b 可能指向重叠的内存。例如，如果 b[1] 和 a[0] 是同一块内存，那么对 b[1] 的写入就会改变 a 数组的内容，进而影响下一次循环中 a[1] 的读取。为了保证在任何情况下 结果都正确，编译器只能"老实"地每次循环都从内存中重新加载 a[i] 和 b[i] 的值，无法将它们缓存到高速的 CPU 寄存器中，也无法使用 SIMD 指令进行向量化，性能因此被锁死。
加上 restrict 后，情况就完全不同了：
c
void add_arr(int *restrict a, int *restrict b, int n) {
// ...
}你通过 restrict 承诺 a 和 b 指向的内存绝不重叠 。编译器此时便可以放心地将数据批量加载到寄存器、展开循环，甚至生成 SIMD 指令进行并行计算，性能可能提升数倍。
⚙️ 编译器具体能做什么优化？
有了 restrict 的保证，编译器可以做几类关键的优化：
- 消除冗余的内存加载 ：回到
restrict的官方示例，null_left函数中，a->left->left和a->left->right的赋值，如果不加restrict，编译器必须考虑a和a->left指向同一块内存的可能，因此每次赋值后都需要重新从内存读取a->left。而加上restrict后，编译器知道a是访问其指向内存的唯一途径，a->left不会被a的赋值操作意外修改，因此可以将a->left的值缓存在寄存器中，避免第二次内存读取。 - 允许指令重排：在不违反数据依赖的前提下，编译器可以更自由地重排指令顺序，以更好地利用 CPU 的流水线和乱序执行能力。
- 启用向量化（Vectorization）：这是性能提升最大的来源。编译器可以将对数组的循环操作，转换为一条 SIMD 指令，同时处理多个数据元素。
⚠️ 黄金法则：违反承诺 = 未定义行为（UB）
restrict 的承诺是强制性的 。一旦你违反了这个承诺（例如，把指向同一块内存的两个指针，都标记为 restrict 传给同一个函数），程序的行为就变成了未定义行为（Undefined Behavior, UB）。这意味着编译器无需为此负责，程序可能崩溃、产生错误结果，或者在高优化等级下出现难以调试的"玄学"bug。
所以，使用 restrict 的前提是：你 100% 确定指针所指的内存没有重叠。 对于像 memmove 这种明确允许内存重叠 的函数，绝对不能 对其参数使用 restrict。
🔍 标准库中的经典对比：memcpy vs memmove
这个对比最能体现 restrict 的价值：
c
// memcpy 承诺 src 和 dest 指向的内存不重叠
void *memcpy(void *restrict dest, const void *restrict src, size_t n);
// memmove 允许 src 和 dest 指向的内存重叠
void *memmove(void *dest, const void *src, size_t n);正是 memcpy 参数上的 restrict，让它可以省去判断内存是否重叠的步骤，直接进行最高效的逐块拷贝。而 memmove 没有这个承诺，必须先判断内存重叠方向，再选择正向或反向拷贝，因此 memcpy 通常更快。
📝 与 const、volatile 的区分
这三个都是类型限定符，但用途完全不同：
| 限定符 | 作用对象 | 核心含义 | 目的 |
|---|---|---|---|
const |
任意对象 | "只读"：通过该限定符不能修改对象 | 表达意图，帮助编译器优化，并防止意外修改 |
volatile |
任意对象 | "易变"：对象的值可能被程序之外的因素（如硬件、其他线程）改变 | 强制编译器每次都从内存重新加载，防止过度优化 |
restrict |
仅限指针 | "独占"：承诺指针是其指向内存的唯一访问途径 | 帮助编译器消除"别名"顾虑，启用激进优化 |
💎 总结与使用建议
restrict 是一个用于性能调优的工具，而非日常编码的必需品。
- 何时使用 ：当你编写对性能极其敏感的底层函数 （如自定义的内存拷贝、数学运算库），并且能严格保证 指针所指内存不重叠时，
restrict是解锁编译器优化潜力的关键。 - 何时不用 ：在绝大多数应用层业务代码中，性能瓶颈通常不在编译器的几轮优化上。为了微小的性能收益而承担引入 UB 的风险，是不划算的。
- 替代方案 ：如果必须使用但编译器较老（不完全支持 C99），可以使用编译器扩展的
__restrict或__restrict__关键字，它们在 GCC、Clang 等编译器中广泛可用。
一句话记忆：restrict 是给编译器的"独家访问授权"，用得好能让代码飞起来，用错了则会让程序坠入未定义行为的深渊。