百科问答小站 logo
百科问答小站 font logo



C++ 需要 restrict 关键字吗? 第1页

  

user avatar   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完全是两码事。




  

相关话题

  如何评价《c++并发编程实战》这本书? 
  为什么现在招聘C++程序员这么难? 
  为什么说C++的main函数最后不写 return 0; 是不好的习惯? 
  为什么没有新的支持底层达到类似C++这种程度,而易用性达到C#的语言出现? 
  我经常看到 Java 架构师的说法,但是很少看到 C++ 架构师的说法。有哪些造成该现象的原因? 
  请问c++中到底存不存在对指针类型的判断? 
  为什么说C++很难? 
  C++里 const int* 与 int const* 有什么区别? 
  C++开发只能去大厂吗? 
  最短的可以造成崩溃且编译器无法优化掉的 C++ 代码是什么? 

前一个讨论
历史上有哪些很厉害的骗局?
下一个讨论
有哪些我们习以为常,其实似是而非的历史观?





© 2025-03-30 - tinynew.org. All Rights Reserved.
© 2025-03-30 - tinynew.org. 保留所有权利