Dimensioni dei riferimenti in ambienti a 64 bit

Question

Si è imbattuto in questo mentre si cercava la risposta a un'altra domanda su SO (References Vs Variable Gets). La mia domanda è che per tutti gli ambienti a 64 bit è garantito che un riferimento a una variabile sarà di 64 bit anche se l'originale avesse una dimensione minore? Come nei riferimenti char in ambiente a 64 bit sarebbe> sizeof (char)? C'è qualche sezione nello standard che lo specifica esplicitamente?

MODIFICA: per maggiore chiarezza - char c1 = 'a'; char & c2 = c1; La mia domanda è sizeof (c2)> sizeof (c1) in macchine a 64 bit?

Answer 1

Lo standard (ISO C++ - 03) dice che la cosa seguente sui riferimenti

It is unspecified whether or not a reference requires storage (3.7).

per favore qualcuno mi corregga se sbaglio o se non ho capito bene la sua domanda.

EDIT:

La mia domanda è sizeof (c2)> sizeof (c1) in macchine a 64 bit?

No, come @Chubsdad notato sizeof(c2) = sizeof (c1), la citazione pertinente dal standard è

When applied to a reference or a reference type, the result is the size of the referenced type. (ISO C++ $ 5.3.3/2)

Answer 2

$ 8.3.2/3 - It is unspecified whether or not a reference requires storage.

sizeof applicata a riferimenti è fondamentalmente la dimensione del referrand.

Quindi se 'r' è un riferimento intero a 'i', non è specificato se esiste una memoria effettiva per 'r'. Tuttavia, sizeof(r) sta per sizeof(i).

Se "r" è un riferimento a un "carattere", sizeof(r) sarà sempre sizeof(char) == 1 per definizione.

Answer 3

Anche se sizeof(ref_var) restituisce la dimensione dell'oggetto di riferimento, lo spazio è ancora necessario per memorizzare un riferimento in una struttura, ad esempio, e nelle implementazioni comuni lo spazio allocato per memorizzare un riferimento è uguale allo spazio assegnato per memorizzare un puntatore. Questo potrebbe non essere necessaria dalla norma, ma questo codice, almeno mostra l'effetto:

#include <iostream> 
using namespace std; 

char c1 = 'a'; 
char &c2 = c1; 
struct x 
{ 
    char c1; 
    char c2; 
    char c3; 
    char c4; 
    int i4a; 
    char &r1; 
    int i4b; 
    int i4c; 
    x() : r1(c1) { } 
}; 
struct y 
{ 
    char c1; 
    char c2; 
    char c3; 
    char c4; 
    int i4a; 
    int i4b; 
    int i4c; 
}; 
int main() 
{ 
    cout << sizeof(c2) << endl; 
    cout << sizeof(y) << endl; 
    cout << sizeof(x) << endl; 
    return 0; 
} 

io non pretendo che si tratta di 'grande codice' - non è - ma dimostra un punto. Compilato sulla modalità (64 bit) MacOS X 10.6.4 con C++ compilatore GNU Compiler Collection (GCC 4.5.1) in default, l'output è:

1 
16 
24 

Quando viene compilato in modalità a 32 bit, l'uscita è:

1 
16 
20 

la prima linea di output dimostra che 'sizeof(ref_var)' effettivamente restituire la dimensione dell'oggetto riferimento. La seconda riga mostra che una struttura senza riferimenti in essa ha una dimensione di 16 byte.La terza riga mostra che una struttura molto simile con un riferimento incorporato in esso a un limite di 8 byte (su un sistema in cui sizeof(int) == 4) è 8 byte più grande della struttura più semplice in una compilazione a 64 bit e 4 byte più grande in un 32- compilazione bit. Per inferenza, la parte di riferimento della struttura occupa più di 4 byte e non più di 8 byte nella compilazione a 64 bit e occupa non più di 4 byte nella compilazione a 32 bit. Ciò suggerisce che (in almeno una popolare implementazione di C++) che un riferimento in una struttura occupa la stessa quantità di spazio di un puntatore - come affermato in alcune delle altre risposte.

Quindi, può dipendere dall'implementazione, ma il commento che un riferimento occupa lo stesso spazio di un puntatore è valido in almeno un'implementazione (piuttosto ampiamente utilizzata).