c++ - __restrict 指针别名，只有一个指针

Question

如果函数指针参数是唯一的指针参数，那么在函数指针参数上指定 MSVC/GCC 非标准 __restrict 限定符有什么好处？例如，

int longCalculation(int a, int* __restrict b)

我的猜测是它应该允许更好的优化，因为它暗示 b 不指向 a，但我见过的所有示例 __restrict两个指针，表示它们之间没有别名。

Answer 1

正如评论中提到的那样，b 无论如何都不能指向 a，因此无论如何都没有混叠的可能性。因此，如果该函数是纯粹的，即它仅在其参数上起作用，则不应该有任何真正的好处。

但是，如果函数在内部使用 全局变量，那么 __restrict 可能会再次带来好处，因为它清楚地表明 b 并不指向到任何这些全局变量。

一个有趣的情况可能是您在函数内部分配和释放内存的情况。编译器理论上可以确定 b 不指向该内存，但是它是否意识到我不确定并且可能取决于分配的调用方式。

但我个人更喜欢将 __restrict 排除在签名之外并执行类似的操作

int longCalculation(int a, int* b){ 
   assert(...);//ensure that b doesn't point to anything used
   int* __restrict bx = b;
   ...
}

IMO 这具有以下优点:

• 函数签名不会暴露使用的非标准__restrict
• 使用 assert 确保变量实际上符合 __restrict 的能力，因为将别名指针传递给期望它们是非别名的函数可能会导致难以追踪错误。