C 语言 restrict 关键字

一、核心定义

restrict 是 C99 标准引入的关键字，仅用于修饰指针 ，是给编译器的一个 "约束性提示"：它向编译器保证，该指针是访问其所指向内存区域的唯一且未经别名化的方式，即在该指针的作用域内，没有其他指针能修改这块内存。

二、核心作用

1. 提升编译器优化效率

这是 restrict 最核心的价值。

没有 restrict 时，编译器为了保证程序正确性，必须假设 "其他指针可能指向同一块内存"，因此会限制某些优化（比如重排指令、减少内存读写次数）；
有 restrict 修饰后，编译器确认该指针是对应内存的唯一访问入口，可放心进行激进优化，比如减少冗余的内存加载 / 存储操作，最终提升程序运行效率。

2. 明确代码语义

restrict 是一种 "程序员向编译器 / 其他开发者" 的声明：这个指针是独占对应内存的，能让代码的内存访问逻辑更清晰，减少因指针别名导致的逻辑错误。

三、基本用法

restrict 只能修饰指针变量（包括函数参数中的指针），语法示例如下：

复制代码

#include <stdio.h>
#include <stdlib.h>

// 示例1：函数参数中的restrict修饰
void copy_data(int *restrict dest, const int *restrict src, int n) {
    // 编译器确认dest和src指向的内存无重叠，可优化拷贝逻辑
    for (int i = 0; i < n; i++) {
        dest[i] = src[i];
    }
}

// 示例2：局部指针变量的restrict修饰
void test_restrict() {
    int *restrict ptr = (int *)malloc(10 * sizeof(int));
    // 保证ptr是这块malloc内存的唯一访问方式
    ptr[0] = 10;
    free(ptr);
}

int main() {
    int a[5] = {1,2,3,4,5};
    int b[5];
    copy_data(b, a, 5);
    return 0;
}

四、适用场景

内存拷贝 / 赋值函数 ：如实现 memcpy、strcpy 或自定义数据拷贝函数时，用 restrict 修饰源指针和目标指针，让编译器优化拷贝逻辑（标准库中的 memcpy 原型就是 void *memcpy(void *restrict dest, const void *restrict src, size_t n);）；
高性能计算场景：数组遍历、数值计算等需要频繁访问内存的场景，修饰关键指针，提升循环 / 运算的执行效率；
函数参数指针：明确函数参数中指针的内存访问唯一性，避免指针别名导致的隐式错误。

五、总结

restrict 是 C99 新增的指针修饰符，核心是向编译器声明 "该指针是对应内存的唯一访问方式"；
主要价值是释放编译器优化潜力，提升内存访问密集型代码的执行效率；
使用时必须保证约束成立，否则会引发未定义行为，且仅适用于指针类型。