static_cast sanal miras ile nasıl kullanılabilir?

Question

Yani sanal miras ile static_cast kullanarak downcast imkansız, ama nasıl şu upcast yapmak mümkündür:

[ derived part | base part ] 

biliyorum ki upcasting kabul edilir: nesnenin

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

... 

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

Bellek düzeni "güvenli", ancak derleyici, sanal devralma zamanı, derleme zamanında taban alt nesnesine olan uzaklığı nasıl bilir? static_cast, vtable kullanıyor mu?

class Third : public Derived {...}; 

... 

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

aynı static_cast çizgiyi kullanılan bu zaman, ama farklı Base alt nesneye offset:

böyle bir şey varsa, bu özellikle kafa karıştırıcı (sanal değil dikkat edin)! Nesnenin

Bellek düzeni: o d işaret ettiği nesnenin gerçek dinamik türüne bağlıdır eğer

[ derived part | third part | base part ] 

Peki nasıl derleme zamanında belirlenebilir? Eğer durumunda bir Derived bir işaretçi varsa

Answer 1

, kullanılacaksa ve hatta dolaylı Base için bir işaretçi Derived işaretçiyi dönüştürebilirsiniz hangi Base açık! Herhangi bir adres ayarlaması gerekiyorsa, derleyici, gömülü işaretçi, bir vtable veya herhangi bir şekilde nasıl kullanıldığını anlayacaktır: Tam yaklaşım C++ standardı tarafından yazılmamaktadır. Tam olarak ne yapılır ABI'ye bağlıdır. Örneğin, Itanium C++ ABI için sanal tablonun ofsetleri sanal tablolarda saklanır.