¿Cuál es más rápido, acceso a puntero o acceso de referencia?

Question

En el siguiente código de ejemplo, asigno algunas instancias del struct Chunk. En los bucles for, repito a través del bloque de memoria y accedo a las diferentes instancias usando puntero o referencias, y les asigno algunos datos aleatorios.

Pero, ¿cuál de los bucles se ejecutará más rápido? Por lo que sé, diría que el lazo de referencia será el más rápido porque no requerirá desreferenciación y tiene acceso directo a la instancia en la memoria. ¿Qué tan equivocado/correcto soy?

struct Chunk { 
    unsigned int a; 
    float b; 
    const char* c; 
}; 

int main() { 
    Chunk* pData = new Chunk[8]; 

    for(unsigned int i = 0; i < 8; ++i) { 
     Chunk* p = &pData[i]; 
     p->a = 1; 
     p->b = 1.0f; 
     p->c = "POINTERS"; 
    } 

    for(unsigned int i = 0; i < 8; ++i) { 
     Chunk& r = pData[i]; 
     r.a = 1; 
     r.b = 1.0f; 
     r.c = "REFERENCES"; 
    } 

    delete [] pData; 
    return 0; 
} 

Answer 1

Deben ser los mismos (no se trata de lo mismo, pero exactamente el mismo) con cualquier compilador no idiota. Debajo del capó, las referencias son punteros (en el 99% de los compiladores). No hay razón para ninguna diferencia.

pedante: el segundo bucle podría ser más rápido (probablemente no), ya que los datos están en la memoria caché ya, pero eso es todo. :)

Answer 2

No debería haber diferencia en el código producido por cualquier compilador decente.

Answer 3

Cuando dude entre dos versiones del código como las de su ejemplo, debe elegir la más legible. El compilador debe realizar una posible optimización del tipo que propone.

Cuanto más legible en su caso es la versión con referencias (en realidad, tal vez no es más legible, pero el consenso es preferir el uso de referencias porque los punteros son más "peligrosos").

Pero volvamos a la eficacia: (por favor, si alguien sabe ensamblador, mejor deja de leer o te arriesgas a un ataque de risa ...) En mi opinión, como el pData está alojado en el montón, el compilador tendrá que compilarlo usando punteros de todos modos. Creo que su razonamiento podría ser correcto si su estructura estuviera asignada en la pila solo con "Datos de fragmento [8]". Pero a más tardar cuando las optimizaciones del compilador estén encendidas, la diferencia debería eliminarse de todos modos.

Answer 4

Estoy tentado de decir: ¿a quién le importa? Cualquier diferencia en la velocidad será insignificante, y debe elegir la más legible. En este caso particular , esperaría ver exactamente el mismo código generado en ambos casos . En casos más complicados, el compilador puede no ser capaz de determinar más tarde en el bucle que el puntero no se ha vuelto a colocar, y puede tener que volver a leerlo. Pero para que este sea el caso, tendría que ser haciendo otras cosas suficientes para que la diferencia no se pueda medir.