谢邀。就我所知的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完全是两码事。