C++ 需要 restrict 关键字吗？ 第1页
1
lan-se-52-30 网友的相关建议:
谢邀。就我所知的C++编译器，无论是GCC，Clang，VC++，IBM XL C++等，这些主流的C++编译器都提供了restrict关键字的支持，只是似乎书写的形式有所变化，如可能是__restrict__，__restrict等 ，而restrict是限制Pointer Alias的，这和unique_ptr完全是两码事，限制Pointer Alias有助于编译器做优化。至于为什么C++标准委员会不加，我现在也不知道，我也感觉很诧异，不过下次我会记得问导师Michael，但是可能要等到8月份了，我现在手上也有一大堆的C++问题等着问他，包括Module System是否在C++17挂掉了等，因为我上次看见有人在我的评论说这个挂了，我比较疑惑。
然后补充一下restrict的用法，我以GCC产生汇编指令的例子来补充一下，比较直观
void f(int *a, int *b, int *c) { *a += *c; *b += *c; } -O3后的汇编代码
f(int*, int*, int*): movl (%rdx), %eax addl %eax, (%rdi) movl (%rdx), %eax addl %eax, (%rsi) ret 加上restrict
void f(int * __restrict__ a, int* __restrict__ b, int* __restrict__ c) { *a += *c; *b += *c; } -O3后
f(int*, int*, int*): movl (%rdx), %eax addl %eax, (%rdi) addl %eax, (%rsi) ret 可以很清楚的看见是4条指令变为了3条指令，而少掉的一条就是第二次的load c
然后看看unique_ptr
#include <memory> using namespace std; void f(std::unique_ptr<int> a, std::unique_ptr<int>b, std::unique_ptr<int> c) { *a += *c; *b += *c; } -O3 -std=c++11
f(std::unique_ptr<int, std::default_delete<int> >, std::unique_ptr<int, std::default_delete<int> >, std::unique_ptr<int, std::default_delete<int> >): movq (%rdx), %rdx movq (%rdi), %rax ; *a += *c movl (%rdx), %ecx addl %ecx, (%rax) movq (%rsi), %rax ; *b += *c movl (%rdx), %edx addl %edx, (%rax) ret 所以，可见，unique_ptr和restrict完全是两码事。
1
相关话题
为什么纯虚函数不提供函数体语法？这样不是更方便么？为了软件更符合开源风格，c/cpp 代码缩进应该使用4空格还是2空格？
gcc，clang，msvc等编译器有什么区别？
C 与 C++ 谁的效率高，为什么？
C++的CRTP所带来的静态多态功能具体有什么用？
感觉 C++ 很简单，但为何这么多劝退的？
你有过哪些被 C++ 摧残的经历？
朋友自杀前把名字改成了nullptr，是什么意思？
作为非计算机专业的学生，觉得 C 语言远比其他语言易于上手，正常吗？
CMake是不是阻碍了C++的发展?
前一个讨论
历史上有哪些很厉害的骗局？
下一个讨论
有哪些我们习以为常，其实似是而非的历史观？
相关的话题
C++的move构造是否是设计失败的？为什么C++库开发人员都喜欢自己造一个字符串类？你见过性能最好开源字符串类是哪个？ 为什么？
如何让停留在语法层面的 C++，变成实际工程中的 C++？
有哪些值得学习的国内 c++ 开源项目？
为什么AI算法工程师要求C++?
C++在面向对象编程中,非虚继承和非虚析构函数的存在是为了解决什么问题? 能否都用虚继承和虚析构函数?
C++中如何将string类型转换为int类型？
如何评价不认为C++三大特性是封装、继承、多态的程序员？
只会c如何快速上手STL？
C++原子变量数组能用memset置空吗？
C++ 和 Java 同样是静态语言，为什么 Java 的代码提示可以做的十分强大？
c++ 中明明有vector了为什么还要有stack？
刷 LeetCode 对于国内 IT 企业面试帮助大吗？
如何评价call_in_stack这个库？
for 循环为什么不支持小数？
为什么c++中要分为heap（堆）和stack（栈）?
面向对象程序设计比传统的面向过程程序设计更有什么好处？
学校和机构都建议孩子放弃 Python 转 C++，我该如何处理？
如果鸿蒙系统成功，会复兴C/C++吗？
#define 不是简单的替换吗，为什么下面的代码错误？
为什么这么多人黑C++?
VS2010编x64程序和编x86程序用的是同一套lib？
为什么标准库的map要insert(pair(key,value))而不是insert(key,value)？
求一个整数的所有素数因子的思路是什么？
很多人说 C++ 的 MFC 已经过时了，那新入门的人到底应该学什么？
C++ STL中的map用红黑树实现，搜索效率是O(lgN),为什么不像python一样用散列表从而获得常数级搜索效率呢？
C++ 中，如果指针换了被指向的东西，那被指向的原来的东西（是被 new 出来的）所占的内存会立刻被释放吗？
C++原子变量数组能用memset置空吗？
C++ 几十年来为什么没给 break 语句加上参数？
刷 LeetCode 对于国内 IT 企业面试帮助大吗？