İşaretçiler sanal üye işlevlerine. O nasıl çalışır?

Question

Aşağıdaki C++ kodunu göz önünde bulundurun:

class A 
{ 
public: 
     virtual void f()=0; 
}; 


int main() 
{ 
    void (A::*f)()=&A::f; 
} 

Tahmin etmem gerekirse, & A :: f bu bağlamda "a (f) 'nin (A) uygulanmasının adresi" Düzenli üye işlevleri ve sanal üye işlevleri için işaretçiler arasında açık bir ayrım yoktur. Ve A, f() öğesini uygulayamadığı için, bu bir derleme hatası olur. Ancak, öyle değil.

Ve sadece bu değil. Aşağıdaki kod:

void (A::*f)()=&A::f; 
A *a=new B;   // B is a subclass of A, which implements f() 
(a->*f)(); 

aslında B :: f.

Bu nasıl olur?

Answer 1

Burada üye işlev işaretçileri hakkında çok fazla bilgi var. Makalenin gerçekten C++ 'daki delegeleri uygulamakla ilgili olduğunu düşündüğüm makaleyi okuduğumda, IIRC'nin bu bölümü gözden geçirdiğimde, "İyi İşlenmiş Derleyiciler" altında sanal işlevler hakkında bazı şeyler var.

http://www.codeproject.com/KB/cpp/FastDelegate.aspx

Kısa cevap

o derleyici bağlıdır, ancak bir olasılık üye işlev işaretçisi sanal çağrı yapan bir "thunk" işlev işaretçisi içeren bir yapı olarak uygulandığını olmasıdır.

Answer 2

Çünkü Standart, bunun nasıl olması gerektiğini söylüyor. GCC ile bazı testler yaptım ve sanal işlevler için çıktı, GCC söz konusu işlevin sanal tablosunu bayt cinsinden depolar.

struct A { virtual void f() { } virtual void g() { } }; 
int main() { 
    union insp { 
    void (A::*pf)(); 
    ptrdiff_t pd[2]; 
    }; 
    insp p[] = { { &A::f }, { &A::g } }; 
    std::cout << p[0].pd[0] << " " 
      << p[1].pd[0] << std::endl; 
} 

O program çıktıları 1 5 - bu iki fonksiyonlarının sanal masa girdilerinin bayt uzaklıkları. Bu, Itanium C++ ABI, which specifies that'u takip eder.

Answer 3

Tamamen emin değilim, ama bence bu normal polimorfik davranış. &A::f'un aslında sınıfın vtable'ındaki işlev göstericisinin adresi olduğunu düşünüyorum ve bu yüzden derleyici hatası almıyorsunuz. Vtable'daki alan hala tahsis edilmiş ve aslında geri döndüğünüz yer burası.

Bu, anlamlıdır çünkü türetilmiş sınıflar, temel olarak bu değerlerin işlevlerine ilişkin işaretçilerle üzerine yazılır. Bu nedenle, (a->*f)() ikinci örneğinizde çalışmaktadır - f türetilmiş sınıfta uygulanan vtable öğesine başvuruyor.