Sanal sanal sanallaştırma ve ikili uyumlu durumda kalabilme

Question

Herhangi bir ikili uyumluluk sorunu yaşamadan saf olmayan bir işlev (temel sınıfta) saf olmayan bir işlev olarak değiştirebilir miyim? (Linux, GCC 4.1)

sayesinde

Answer 1

ikili uyumluluğu ürününün bakımını yapmak ne demektir?

nesne düzeni aynı olacaktır, ancak bir tanımı kuralı noktası ikili uyumluluk temelde yararsız olduğu tüm kod, yeniden derlemek sürece ihlal ediyor olacak. Yeniden derleme olmadan, ODR bozulur ve çalıştığı durumda da çalışmayabilir.

Özellikle sınıftaki tüm sanal yöntemler ya saf ya da satır içi olarak tanımlanmışsa, derleyici başlığını içeren her bir çeviri biriminde vtable'ı oluşturabilir ve onu zayıf bir sembol olarak işaretleyebilir. Daha sonra bağlayıcı, bunlardan birini seçecek ve diğerlerini de atacaktır. Bu durumda, bağlayıcı tüm vtables tamamen aynı olduğunu doğrulamak için ve rastgele (ya da tanımlanmamış bir şekilde deterministik olarak) birini seçecek ve bu yöntemin tamamen sanal olduğu bir vtable seçmek için gerekli değildir. yöntem, sınıfın bir nesnesinin nesnesinde çağrılırsa, uygulamanın çökmesine neden olabilir.

Answer 2

Eğer virtual saf virtual geçiş ve kodu yeniden derleme yaparken hiçbir uyumluluk sorunları yoktur. (Ancak, saf virtual için virtual sorunlara neden olabilir.)

kendine iyi bak gereken tek şey, olmayan saf virtual yöntemlerin bir gövdesi gerektiğini söyledi. Hiçbir şekilde uygulanamazlar. yani bunu kullanmasanız dahi eğer, bağlayıcı hataya neden olur

virtual int foo(); 

class A { 
public: 
    virtual int foo() 
    { 
    return 0; //put some content 
    } 
}; 

Sadece gibi koyamazsınız.