有没有办法告诉C99编译器我要访问给定数组的唯一方法是使用myarray [index]？ 说这样的话：
int heavy_calcualtions(float* restrict range1, float* restrict range2)
{
float __I promise I won't alias this__ tmpvalues[1000] = {0};
....
heavy calculations using range1, range2 and tmpvalues;
....
}
通过使用restrict我承诺我不会为range1和range2设置别名但是如何为我的函数内部声明的数组做同样的事情？
虽然Jeff的答案是正确的，即你总是可以指向分配的数组，但事实是编译器 知道 在编译时，tmpvalues不会被别名，因为变量被声明为实际数组，而不是指针。别名数组的唯一机会是声明指向它的指针，所以如果你不这样做，就没有必要将它声明为 restrict。如果这更明显 tmpvalues 是函数中唯一的变量。
如果将指针传递给另一个函数可能会出现问题，那么您应该说明接收的指针是否受限制。
我遇到的与此主题相关的文档包括 C99：
设D是提供方法的普通标识符的声明 将对象P指定为类型T的限制限定指针。
请注意，它仅适用于指针。
这个其他文件 TI提供了一些性能调优提示 restrict 关键词。除了所有提示之外，第3.3节提供了可以应用此类型限定符的示例，而不是。寻找 x 在第16页中间的数组声明，它声明它没有声明指针，因此不能 restrict-合格。
你为什么不能做以下事情？您没有访问与之关联的数据 tmpvalues 通过该变量，因此在代码的计算密集型部分中使用限制指针是有效的。
#include <stdio.h>
#include <stdlib.h>
int heavy_calcs(int n, float* restrict range1, float* restrict range2)
{
if (n>1000) return 1;
float tmpvalues[1000] = {0};
{
float * restrict ptv = tmpvalues;
for (int i=0; i<n; i++) {
ptv[i] = range1[i] + range2[i];
}
}
return 0;
}
int main(int argc, char * argv[])
{
int n = (argc>1) ? atoi(argv[1]) : 1000;
float * r1 = (float*)malloc(n*sizeof(float));
float * r2 = (float*)malloc(n*sizeof(float));
int rc = heavy_calcs(n,r1,r2);
free(r1);
free(r2);
return rc;
}
我通过英特尔15编译器运行它，它可以很好地矢量化循环。当然，与我假设的相比，这个循环是微不足道的，所以你的里程可能会有所不同。