C语言面试题-C99中的restrict关键字详解

restrict是C99的一个关键字，用于限定指针，主要是为了编译器优化。优化不是确定的，程序满足优化的条件，才可以优化，不满足的不进行优化，对于不加restrict的，又没有一些优化的编译选项，一定不进行优化。

🎬个人简介：一个全栈工程师的升级之路！
📋个人专栏：C/C++面试整理
🎀CSDN主页 发狂的小花
🌄人生秘诀：学习的本质就是极致重复!

目录

1 restrict 介绍

2 使用场景

2.1 并行优化

2.2 简化优化

---

1 restrict 介绍

        restrict是一个用于限定指针的关键字，一般定义int * restrict a，用来告知编译器，对于该指针指向的内容的修改，只能通过该指针实现，这样做的一个好处是，可以让编译器来更好的优化代码，生成效率更高的汇编代码。gcc编译时需要 加-std=c99 来实现对c99的支持。

2 使用场景

        程序员保证内存不重叠的情况下，可以利用现代处理器多和的特性，进行多核优化和简化处理。

2.1 并行优化

        对于以下代码：

void add(const float * restrict a, const float * restrict b, float * restrict c)
{
    int i;
    for(i = 0; i < 6; ++i)
         ci]= a[i] + b[i];
}

       如果有两个cpu核，则编译器可以优化成[0,2] 和[3,5] 分别处理。

2.2 简化优化

int func (int* a, int* b)
{
        *a = 2;
        *b = 3;
        return *a;
}

如果在 a 和 b指向内存空间不同时，可以保证返回值一定是2，如果指向的内存空间一致时，返回值为3。虽然，对于一般常规的定义a 和 b不会指向相同的内存空间，但是也会有误操作的可能。那么对于这样一个函数的返回值绝大概率返回值为2，极小概率返回值为3。然而对于编译器来说只有生成100%正确的代码才会进行优化。因此编译器不会替换成下面的更优版本：
 

int func (int* a, int* b)
{
        *a = 2;
        *b = 3;
        return 2;
}

如果使用restrict这个关键字，就可以利用它来帮助编译器安全的进行代码优化：

int func (int *restrict a, int *restrict b)
{
        *a = 2;
        *b = 3;
        return *a;
}

此刻，由于restrict的效果，指针a 是*a 修改的唯一途径，*b不会对*a的内容修改，因此可以安全的优化为下列代码：
 

int func (int *restrict a, int *restrict b)
{
        *a = 2;
        *b = 3;
        return 2;
}

🌈我的分享也就到此结束啦🌈
如果我的分享也能对你有帮助，那就太好了！
若有不足，还请大家多多指正，我们一起学习交流！
📢未来的富豪们：点赞👍→收藏⭐→关注🔍
感谢大家的观看和支持！最后，☺祝愿大家每天有钱赚！！！