Perché non posso restituire un riferimento a un campo compresso?

Question

Io uso g ++ per compilare il codice con i campi compressi. Tuttavia, ricevo un errore quando tento di restituire un riferimento a un campo compresso.

Esempio:

struct __attribute__((packed)) Foo { 
    int* ptr; 
    uint16_t foo; 
    int*& getPtr(){ 
     return ptr; 
    } 
}; 

cede errore:

test.cpp:22:14: error: cannot bind packed field ‘((Foo*)this)->Foo::ptr’ to ‘int*&’ 
    return ptr; 

Perché non è possibile restituire un riferimento a un campo imballato?

Answer 1

C'è un rapporto gcc bug Cannot bind packed field che copre questo e dice:

The C++ spec (C++03, Sects. 3.9, 3.9.1, 3.9.2) are very clear that T and "pointer to T" have implementation-specific alignment requirements. If you have a "pointer to T" then you may assume that it meets the alignment requirements. I'm sure the C spec has similar language.

In the OP's case, the following code could violate the alignment requirements

Essi suggeriscono una soluzione mediante l'attributo alignment per definire il proprio tipo di allineamento, ma non sembra come esso funziona.