구조체의 정렬 및 유형 재 해석

Question

그때 나는 이와 같은 지금은 기능이 이러한 유형의

struct Pair{ 
    A a; 
    B b; 
}; 

을 나는 두 가지 유형 A와

B.

이 있다고 할 수 있습니다.

void function(Pair& pair); 

그리고 function은 오직 한 쌍의 a 부분을 사용한다고 가정 할 수 있습니다.

그런 다음이 방법으로 함수를 사용하고 호출하려면 정의되지 않은 동작입니까?

A a; 
function(reinterpret_cast<Pair&>(a)); 

나는 컴파일러가 구성원 후 패딩 바이트를 삽입 할 수 있지만 또한 첫 번째 멤버 전에 할 수 있다는 것을 알고?

Answer 1

나는 행동을 정의했다고 생각하는데, Pair은 표준 레이아웃이라고 가정합니다. 그렇지 않으면 정의되지 않은 동작입니다.

먼저 표준 레이아웃 클래스와 첫 번째 멤버는 주소를 공유합니다. (이전에 규칙을 명확히) basic.compound]의 새로운 표현 읽

두 개체및 B 는 포인터 상호 전환 경우 :
* [...]
하나는 표준 레이아웃 클래스 객체이고 다른 하나는 해당 객체의 첫 번째 비 정적 데이터 멤버입니다. 또는 [...]
* [...]
두 객체가 인 경우 포인터 상호 변환 가능 n 그들은 동일한 주소를 가지고 있으며, reinterpret_cast (5.2.10)을 통해 포인터에서 다른 포인터로 포인터 을 얻을 수 있습니다. [class.mem]에서도

: 표준 레이아웃 클래스 객체가 아닌 정적 데이터 멤버가

경우, 그 주소가 주소와 동일한 첫 비 정적 데이터 회원. 그렇지 않으면 그 주소는 첫 번째 기본 클래스 하위 객체 (있는 경우)의 주소와 같습니다.

reinterpret_castA에서 Pair까지입니다. function이 a 개체에만 액세스하면 A의 오프셋이 0이므로 해당 액세스가 잘 정의되어 있으므로 function이 A&이되는 것과 같습니다. b에 대한 액세스는 분명히 정의되지 않습니다.그러나

---

, 나는 코드가 동작을 정의 생각하면서, 그것은 잘못된 생각이다. 정의 된 동작은 입니다. 현재는이지만 누군가 언젠가는 function을 변경하여 pair.b을 참조하면 고통의 세계에 빠지게됩니다.

void function(A& a) { ... } 
void function(Pair& p) { function(p.a); } 

과 당신의 a 직접 function 전화 : 그것은 쉽게 많은 간단하게 작성하는 것입니다.

Answer 2

예, 정의되지 않은 동작입니다.

구조체 쌍에서 a와 b 사이에 패딩이있을 수 있습니다. 구조체 멤버에 대한 할당은 구조체의 모든 패딩을 수정할 수 있습니다. 따라서 pair.a에 대한 할당은 구조체에 패딩이 있다고 생각하는 메모리를 수정할 수 있습니다. 실제로는 사용자가 차지하는 메모리 다음에 임의의 메모리가 있습니다.