포장 된 필드에 대한 참조를 반환 할 수없는 이유는 무엇입니까?

Question

g ++을 사용하여 압축 필드가있는 코드를 컴파일합니다. 그러나 포장 된 필드에 대한 참조를 반환 할 때 오류가 발생합니다.

예 :

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

오류가 산출 :

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

왜 나는 포장 필드에 대한 참조를 반환 할 수 있습니까?

Answer 1

가이 커버하는 GCC의 버그 리포트 Cannot bind packed field이며 말한다 :

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

그들은 자신의 정렬 유형을 정의 alignment 속성을 사용하여 해결 방법을 제시하지만, 그것이 작동하는 것처럼은 보이지 않는다.