C中restrict关键字

关键字restrict只用于限定指针;该关键字用于告知编译器,所有修改该指针所指向内容的操作全部都是基于(base on)该指针的,即不存在其它进行修改操作的途径;这样的后果是帮助编译器进行更好的代码优化,生成更有效率的汇编代码。

就是说!有了restrict,就只能通过这个指针来修改该地址下的变量,别的东西都不能修改
下面通例子说明:

int func (int* x, int* y) {
    *x = 0;
    *y = 1;
    return *x;
}

上面的函数在x与y所存储的地址不同的情况下, 返回值为0(这种情况不是很多见)
那么编译器本可以将上面的代码简化为下方代码,来提升性能:

int func (int* x, int* y) {
    *x = 0;
    *y = 1;
    return 0;
}

但是编译器并不能这样做,因为这与最初的代码不等价。
但是如果这样修改最初的代码:

int func(int *restrict x, int *restrict y) {
    *x = 0;
    *y = 1;
    return *x;
}

此时,由于指针 x 是修改 *x的唯一途径,编译起可以确认 “*y=1; ”这行代码不会修改 *x的内容,因此可以安全的优化为

int f (int *restrict x, int *restrict y) {
    *x = 0;
    *y = 1;
    return 0;
}
  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 2
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值