告诉 c++ 编译器该参数没有别名

Question

在速度方面，C/C++ 和 Fortran 之间的最大区别之一是前一种语言使用可以别名的指针，因此编译器需要在每次循环迭代时加载数据，而 Fortran 的可分配没有这个问题。

C 提供了关键字restrict ，因此您可以确保编译器不会对指针进行别名。 对于c++ ，该标准不提供此选项。 由于我担心可移植性，我不愿意使用供应商扩展，但这也是我的应用程序的关键部分。 因此，当它们是我的应用程序的基础时，我不会依赖标准之外的东西。

问题

我的问题是，是否有办法确保 c++ 编译器不会对特定指针参数进行别名。 Will C++ reference be of any help (ie having references as arguments pass by value is not an option since we are dealing with very large arrays)?, or should I simply write those routines in C and calling them from my C++ app?

  void HEAVY_CALC( double *p1, double *p2 , double *p3, int n1)
  {
     
       for(int i = 0; i<n1 ; i ++ ) {
           p1[i] = Func_1( ) ; 
           p2[i] = Func_2( ) ;  
           p3[i]= Func_3( ) ;  
       }
     
  }

由于此处的指针可能被其他编译器引用，因此编译器将在每次i迭代时加载 p1,p2,p3。 在C ，如果我添加将解决的restrict 。 如果我添加引用而不是指针会发生什么，即

    void HEAVY_CALC( double* &p1, double *&p2 , double* &p3, int n1)

那会改变什么吗？

Answer 1

[是否] 有一种方法可以 [承诺] [C++] 编译器不会对特定指针参数进行别名[..]而不必超出标准的 go [?]

不，没有。

您通常可以改用非标准的__restrict ，它被引入到主要工具链中以完全填补这个空白。 可移植性在这里并不像您想象的那样令人担忧，因为 GCC、Clang 和 Visual Studio 都故意支持相同的关键字。

据称， 将restrict添加到语言并非易事，即使这样的关键字（如上所述）已被证明是完全可实现的。 确实，它已经完成了。