Yazılım Öğren

C++ Sanal Fonksiyonların Mekanizmasının Kurulması

Bir türemiş sınıf nesnesinin adresi taban sınıf göstericileriyel dolaştırılmış olabilir ve en sonunda sanal fonksiyon çağırılsa bile nesnenin orijinaline ilişkin sanal fonksiyon çağırılacaktır. peki derleyici bu olayı derleme zamanı sırasında belirleyebilir mi? Bu olayın derleme sırasında tespit edilmesi mümkün değildir. Gerçekte hangi sanal fonksiyonun çağırlıacağını belirlemek ancak runtime sırasında kurulacak bir mekanizmayla mümkün olabilir. Bu mekanizmanın runtime sırasında kurulmasına ingilizce late binding denilmektedir.

 

 

 

class A {

    public:

        virtual void fonk1(void);

        virtual void fonk2(void);

};

 

class B : public A {

    public:

        virtual void fonk1(void);

        virtual void fonk2(void);

};

 

class C : public B {

        virtual void fonk1(void);

        virtual void fonk2(void);

};

 

void sample(B *p)

{

    sample2(p);

}

 

void sample2(A *p)

{

    p -> fonk1();

}

 

void main(void)

{

    C x;

    B *t;

 

    t = &x;

    sample(t);/*C’nin sanal fonksiyonu çağırılacak*/

}

 

A Sınıfının Sanal Fonksiyon Tablosu

 

 

B Sınıfının Sanal Fonksiyon Tablosu

 

 

C Sınıfının Sanal Fonksiyon Tablosu

 

 

Derleyici bu mekanizmayı kurabilmek için her sınıfa ilişkin bir sanal fonksiyon tablosu yaratır. Bu sanal fonksiyon tablolarında ilgili sınıfın sanal fonksiyonlarının adresleri bulunur. Sanal fonksiyona sahip bir sınıfa ilişkin bir nesne tanımlandığında o nesne için bir gizli gösterici kadar daha fazla yer ayrılır. Bu gizli göstericide nesne hangi sınıfa ilişkinse o sınıfa ilişkin sanal fonksiyona ilişkin tablonun adresi tutulur. Bu gizli göstericinin nesnenin neresinde tutulduğu standart olarak belirlenmemiştir. Ancak nesnenin en düşük anlamlı adreslerinde genel olarak tutulmaktadır. Bu durumda bir sanal fonksiyon çağırıldığında aşağı seviyeli şu işlemler yapılır:

 

1. Sanal fonksiyon tablo göstericisi alınır ve tablonun yeri bulunur.

2. Sanal fonksiyon tablosunda ilgili sanal fonksiyonun adresi bulunur.

3. Sanal fonksiyon çağırılır.

 

Sanal fonksiyon çağırmanın yer ve zaman maliyeti söz konusudur. Çünkü sanal fonksiyon tabloları ve nesne içerisindeki sanal fonksiyon tablo göstericisi ek yer kaplamaktadır. Ayrıca tablolara bakarak sanal fonksiyon çağırıldığı için ek makina komutlarına gereksinim duyulur. Bu da zaman kaybına sebep olur.