c语言中的类型限定词之一restrict

最新推荐文章于 2025-07-16 16:18:31 发布

转载最新推荐文章于 2025-07-16 16:18:31 发布 · 862 阅读

文章标签：

#语言 #c #编译器 #优化

基础同时被 3 个专栏收录

7 篇文章

订阅专栏

C语言

4 篇文章

订阅专栏

C语言基础

4 篇文章

订阅专栏

本文详细介绍了C99标准中新增的restrict修饰符，该修饰符用于指明指针是访问对象的唯一途径，这有助于编译器进行更有效的优化。文中还通过实例展示了如何使用restrict来提高代码效率。

C99中新增加了restrict修饰的指针：由restrict修饰的指针是最初唯一对指针所指向的对象进行存取的方法，仅当第二个指针基于第一个时，才能对对象进行存取。对对象的存取都限定于基于由restrict修饰的指针表达式中。

由restrict修饰的指针主要用于函数形参，或指向由malloc()分配的内存空间。restrict数据类型不改变程序的语义。编译器能通过作出restrict修饰的指针是存取对象的唯一方法的假设，更好地优化某些类型的例程。

restrict是c99引入的，它只可以用于限定指针，并表明指针是访问一个数据对象的唯一且初始的方式，考虑下面的例子：

int ar[10];
int * restrict restar=(int *)malloc(10*sizeof(int));
int *par=ar;

这里说明restar是访问由malloc()分配的内存的唯一且初始的方式。par就不是了。
那么：
for(n=0;n<10;n++)
{
par[n]+=5;
restar[n]+=5;
ar[n]*=2;
par[n]+=3;
restar[n]+=3;
}
因为restar是访问分配的内存的唯一且初始的方式，那么编译器可以将上述对restar的操作进行优化：
restar[n]+=8;

而par并不是访问数组ar的唯一方式，因此并不能进行下面的优化：
par[n]+=8;
因为在par[n]+=3前，ar[n]*=2进行了改变。使用了关键字restric，编译器就可以放心地进行优化了。