限制限定符和指針運算

Question

是否增加或減少限制限定指針不保留別名假設？

// a and b point to disjoint arrays 
void foo(size_t n, double * __restrict a, double * __restrict b) { 
    size_t i; 
    double x, y, z; 
    double * c = b; // copy 
    for(i=0; i<n; ++i) { 
     x = *(a++);  // not aliased 
     y = *(b + i); // not aliased 
     z = c[i];  // not aliased 
    } 
} 

謝謝。

Answer 1

是的。限定符restrict是指針類型的一部分，並且在增加，減少或分配時，此類型不會更改。