cómo contar una C o un compilador de C++ que los punteros no son alias

Question

Tengo función que recibe un vector de punteros de este modo:

void foo(int *ptrs[], int num, int size) 
{ 
    /* The body is an example only */ 
    for (int i = 0; i < size; ++i) { 
     for (int j = 0; j < num-1; ++j) 
     ptrs[num-1][i] += ptrs[j][i]; 
    } 
} 

Lo que yo quiero transmitir al compilador es que los punteros ptrs[i] son no alias uno del otro y que las matrices ptrs[i] no se superponen. ¿Cómo voy a hacer esto? Mi segundo motivo es fomentar la vectorización automática.

Además, ¿hay alguna manera de obtener el mismo efecto que __restrict__ en un iterador de std::vector?

Answer 1

restrict, a diferencia de los más comunes const, es una propiedad del puntero en lugar de los datos apuntaban a . Por lo tanto, pertenece al lado del lado derecho del modificador del declarador '*'. [] en una declaración de parámetro es otra manera de escribir *. Poner estas cosas juntas, debe ser capaz de obtener el efecto deseado con esta función prototipo:

void foo(int *restrict *restrict ptrs, int num, int size) 
{ 
    /* body */ 
} 

y sin necesidad de nuevos nombres. (No probado. Su millaje puede variar. restrict es una sugerencia de optimización pura y puede que en realidad no haga nada constructivo con su compilador.)

Answer 2

En C++, se asume que los argumentos del puntero no tienen alias si apuntan a tipos fundamentalmente diferentes (reglas de "alias estricto").

En C99, la palabra clave "restringir" especifica que un argumento de puntero no alía ningún otro argumento de puntero.

Answer 3

Algo así como:

void foo(int *ptrs[], int num, int size) 
{ 
    /* The body is an example only */ 
    for (int i = 0; i < size; ++i) { 
     for (int j = 0; j < num-1; ++j) { 
     int * restrict a = ptrs[num-1]; 
     int * restrict b = ptrs[j]; 
     a[i] += b[i]; 
    } 
} 

... debería hacerlo, creo que, en C99. No creo que haya ninguna forma en C++, pero muchos compiladores de C++ también admiten restringir.