por qué el tamaño de referencia es siempre de 4 bytes - C++

Question

En una máquina de 32 bits siempre obtengo el sizeof de una referencia de 4 bytes, incluso si es una referencia a un doble, entonces, ¿qué almacena realmente en estos 4 bytes?

EDIT:

class A{ 
public: 
    double& a; 
}; 

int main(){ 
    cout << sizeof(A) << endl; // this will print out 4 
} 

Answer 1

El estándar es bastante claro en sizeof (C++ 11, 5.3.3/4):

Cuando se aplica a una referencia o un tipo de referencia , el resultado es el tamaño del tipo al que se hace referencia.

Así que si realmente está tomando sizeof(double&), el compilador le está diciendo que es sizeof(double) 4.

Actualización: Por lo tanto, lo que realmente está haciendo es aplicar sizeof a un tipo de clase. En ese caso,

cuando se aplica a una clase, el resultado es el número de bytes en un objeto de esa clase [...]

por lo que sabemos que la presencia de la referencia dentro de A hace que ocupe 4 bytes. Esto se debe a que, aunque el estándar no ordena cómo se implementarán las referencias, el compilador todavía tiene que implementarlas de alguna manera. Esto de alguna manera puede ser muy diferente dependiendo del contexto, pero para un miembro de referencia de un tipo de clase, el único enfoque que tiene sentido es el de esconderse en un double* detrás de su espalda y llamarlo double& en su cara.

Por lo tanto, si su arquitectura es de 32 bits (en la que los punteros tienen una longitud de 4 bytes) eso explicaría el resultado.

Solo tenga en cuenta que el concepto de una referencia no está vinculado a ninguna implementación específica. El estándar permite al compilador implementar referencias de la manera que quiera.

Answer 2

No puede, y no lo es.

Una referencia de C++ es no un puntero. Es un alias de un objeto. Algunas veces, el compilador elige implementar esto usando un puntero. Pero a menudo, lo implementa por sin hacer nada en absoluto. Simplemente genere código que se refiera directamente al objeto original.

En cualquier caso, sizeof aplicado a un tipo de referencia no le da el tamaño de una referencia. Entonces, no está claro lo que estás haciendo, lo que hace que sea imposible explicar lo que está sucediendo.

Editar

Ahora que usted ha mostrado algo de código, podemos responder a la pregunta: ¿

usted está tomando el tamaño de una clase que contiene una referencia.Como dije anteriormente, una referencia no es un puntero, pero cuando es necesario, el compilador puede recurrir a un puntero para representarlo. Cuando se crea una clase que contiene una referencia, la única forma (sana) que el compilador puede implementar es mediante la definición de una clase que contiene la dirección de un objeto. En sistemas de 32 bits, las direcciones son de 32 bits, o 4 bytes, de ancho. Entonces sizeof una clase de este tipo (típicamente) será 4.