Sanal Tablo C++

Question

"Sanal bir işlevin içinde bildirilen bir sınıf için sanal bir tablo var" yazan birçok insan okurum.

Sorum şu ki, sanal bir işlevi olan veya o sınıftan türetilen sınıflar için de geçerli olan bir sınıf için geçerli bir vtable var.

örneğin

class Base{ 
    public: 
     virtual void print(){cout<<"Base Print\n";} 
}; 
class Derived:public Base{ 
    public: 
     void print(){cout<<"Derived print\n";} 
}; 

//From main.cpp 
Base* b = new Derived; 
b->print(); 

Soru: Sonra çıkış olmazdı "türetilmiş baskı" türetilmiş sınıf için hiçbir vtable orada olsaydı. Dolayısıyla IMO, sanal işlevi bildirilen herhangi bir sınıf için ve aynı zamanda bu sınıftan miras kalan sınıflar için bir vtable var. Bu doğru mu ?

Answer 1

Bildiğim kadarıyla sadece sanal fonksiyonlu özgü işlevsellik vtable ayrı bir sürümünü gerekir uygulanması türetilmiş sınıf VTABLE için geleneksel bir yaklaşımla, kabul edilir türetilmiş sınıftan en az bir sanal işlevi geçersiz kılarsa ve yalnızca ise. Örneğinizde, Derived, sanal işlevi print geçersiz kılar. Derived'un kendi sürümü print olduğundan, Derived vtable'daki ilgili giriş Base vtable'daki değerden farklıdır. Bu normalde Derived için ayrı bir vtable gerektirir.

Derived ise hiç bir şey geçersiz vermedi resmen hala ayrı polimorfik sınıf olacaktır, ama onun sanal fonksiyonları yanı Derived düzgün biz sadece yeniden olabilirdi Base VTABLE çalışması yapmak üzere. Yani, teknik olarak Derived için ayrı bir vtable gerek yoktur. Bununla birlikte, pratik uygulamalarda, genellikle "vtable" olarak adlandıracağımız veri yapısı, genellikle bazı ek sınıfa özgü bilgileri de tutar. Bu ekstra bilgi o kadar sınıfa özgüdür ki, çoğu zaman, aynı sanal işlevler kümesini kullansalar bile, hiyerarşide farklı sınıflar arasında veterinerler paylaşmak imkansız hale gelir. Örneğin, bazı uygulamalarda, her bir polimorfik nesnede saklanan vtable işaretleyici, sınıf hakkında "RTTI bilgisi" olarak da bilinen veri yapısını işaret eder.Bu nedenle, çoğu (eğer olmasa da) pratik uygulamalarda, her bir polimorfik sınıf, bu tablolarda saklanan sanal işlev işaretçileri aynı olsa bile kendi vtable'ını alır.

Answer 2

Evet, bu doğru. Bir sınıf, tüm veri üyelerini vtable dahil olmak üzere temel sınıfından devralır. Bununla birlikte, vtable girdileri buna göre ayarlanır (örneğin sınıf bir temel sınıf sanal yöntemini geçersiz kılarsa, vtable'daki karşılık gelen girdinin kendi uygulamasına işaret etmesi gerekir). Ancak, "vtable" kavramının, her derleyicinin her derleyici tarafından yaygın olarak kullanıldığı yaygın bir uygulama olduğunu aklınızdan çıkarmayın, ancak zorunlu veya standartlaştırılmış değildir.

Answer 3

Evet, anlayışınız doğru. Herhangi bir sanal işlevi olan bir tabana sahip herhangi bir sınıf bir vtable vardır.

Answer 4

Evet, doğru. Zaten tabanında sanal olarak baskı tanımlanan çünkü ...

class derived:public base{ 
public: 
virtual void print(){cout<<"derived print\n";} 
}; 

: Aslında, verilen üssün Definition:

class derived:public base{ 
public: 
void print(){cout<<"derived print\n";} 
}; 

tamamen eşdeğerdir.

Ben derleyici o zorlamak isterdim ki ...