回答

关键字 restrict 是 C99 标准中引入的指针说明符。它告诉编译器该指针是 访问指针作用域内的内存对象的唯一方式。这大大帮助优化器生成更高效的机器代码，特别是在处理大缓冲区时。

例如：

void vector_add(int * restrict a, int * restrict b, int * restrict c, size_t n) {
    for (size_t i = 0; i < n; ++i)
        c[i] = a[i] + b[i];
}

这里假设数组 a、b 和 c 不会重叠。违反这一要求会导致未定义行为和难以捕捉的错误。

仅在您确信没有其他指针或旁路指向相同内存时才建议使用 restrict。

陷阱问题

同一内存值是否可以通过两个 restrict 指针同时可见？

回答：

不，这会导致 未定义行为。无法保证编译器会考虑通过第二个指针所做的更改。示例 — 严重错误代码：

void f(int * restrict x, int * restrict y) {
    x[0] = 1;
    y[0] = 2;
}

int main() {
    int v;
    f(&v, &v); // 违反 restrict 条件
}

由于对主题细节不了解而导致的真实错误示例

---

故事

在金融计算核心中，函数通过添加 restrict 优化了数组，但未考虑到数组可能因业务逻辑的要求而重叠。这导致在不正确使用时计算余额错误。

---

故事

矩阵的批量乘法在应用 restrict 后加速，但在某次迭代中结果数组与一个输入数组重叠 — 结果变得不可预测，只有通过压力测试才能捕获错误。

---

故事

在一个图像处理函数中，两个指向同一缓冲区的一部分的指针意外地被声明为 restrict。在更新编译器及其优化器后，图像处理结果急剧扭曲 — 原因是编译器开始积极重用缓存并忽视了修改。