static_cast를 가상 상속에 어떻게 사용할 수 있습니까?

Question

는 그래서 가상 상속 static_cast를 사용하여 다운 캐스트하는 것은 불가능하지만, 어떻게 다음 업 캐스팅 할 수 있습니다 :

[ derived part | base part ] 

나는 알고 upcasting 고려 : 개체의

class Base {...}; 
class Derived : public virtual Base {...}; 

... 

Derived *d = new Derived(); 
Base *b = static_cast<Base*>(d); 

메모리 레이아웃을 "안전"하지만 컴파일러는 상속이 가상 일 때 컴파일 타임에 기본 하위 객체에 대한 오프셋을 어떻게 알 수 있습니까? static_cast은 vtable을 사용합니까?

class Third : public Derived {...}; 

... 

Derived *d = new Third();   // non-virtual upcast, no offset will be added 
Base *b = static_cast<Base*>(d); 

나도 같은 static_cast 라인을 사용하는이 시간이 있지만, 다른 인 Base 하위 개체에 오프셋 :

우리가 이런 일을 할 때 특히 혼란 (이것은 가상이 아니다 있습니다)! 개체의

메모리 레이아웃 : 그것은 d 지점에 객체의 실제 동적 타입에 의존하는 경우

[ derived part | third part | base part ] 

그래서 어떻게이 컴파일시에 결정할 수있다? 당신이 경우에 Derived에 대한 포인터가있을 때

Answer 1

, 사용하는 것입니다 당신도 암시 적으로 Base에 대한 포인터로 Derived 포인터를 변환 할 수있는 Base 분명하다! 어떤 주소 조정이 필요한 경우 컴파일러는 임베디드 포인터, vtable 등을 사용하여이를 수행하는 방법을 파악합니다. 정확한 접근법은 C++ 표준에서 규정하지 않습니다. 정확한 결과는 ABI에 달려 있습니다. 예를 들어 Itanium C++ ABI의 경우 가상 테이블에 대한 오프셋은 가상 테이블에 저장되는 것처럼 보입니다.