Neden C ++ 'da çoklu kalıtım mümkündür, ancak C #?
(Sert referans olmadan), Java'da dili öğrenmeyi kolaylaştırmak için dilin ifade edilebilirliğini sınırlamak istediklerini ve çoklu miras kullanan kodun kendi iyiliği için çok daha karmaşık olduğunu düşünüyorum. Ve tam çoklu kalıtımın uygulanması çok daha karmaşık olduğundan, sanal makineyi de çok basitleştirdi (çoklu kalıtım özellikle çöp toplayıcı ile kötü etkileşime giriyor, çünkü işaretçileri nesnenin ortasına (tabanın başında) tutmayı gerektiriyor )
Ve C # tasarlarken sanırım Java'ya baktılar, tam çoklu mirasın çok fazla özlenmediğini gördüler ve işleri basitleştirmek için seçildiler.
C ++, birden çok temel sınıftan miras alınan özdeş yöntem imzalarının belirsizliğini nasıl çözer?
Öyle değil . Temel sınıf yöntemini belirli bir tabandan açıkça çağırmak için bir sözdizimi vardır, ancak sanal yöntemlerden yalnızca birini geçersiz kılmanın bir yolu yoktur ve alt sınıftaki yöntemi geçersiz kılmazsanız, tabanı belirtmeden çağırmak mümkün değildir. sınıf.
Ve aynı tasarım neden C # ile birleştirilmemiş?
Dahil edilecek hiçbir şey yok.
Giorgio, yorumlarda arayüz genişletme yöntemlerinden bahsettiğinden, karışımların ne olduğunu ve çeşitli dillerde nasıl uygulandığını açıklayacağım.
Java ve C # arabirimleri yalnızca bildirme yöntemleriyle sınırlıdır. Ancak, arabirimi devralan her sınıfta yöntemlerin uygulanması gerekir. Bununla birlikte, bazı yöntemlerin diğerlerine göre varsayılan uygulamalarının sağlanmasının yararlı olacağı geniş bir arabirim sınıfı vardır. Yaygın örnek karşılaştırılabilir (sözde dilde):
mixin IComparable {
public bool operator<(IComparable r) = 0;
public bool operator>(IComparable r) { return r < this; }
public bool operator<=(IComparable r) { return !(r < this); }
public bool operator>=(IComparable r) { return !(r > this); }
public bool operator==(IComparable r) { return !(r < this) && !(r > this); }
public bool operator!=(IComparable r) { return r < this || r > this; }
};
Tam sınıftan farkı, bunun herhangi bir veri üyesi içerememesidir. Bunu uygulamak için birkaç seçenek vardır. Açıkçası çoklu kalıtım birdir. Ancak çoklu mirasın uygulanması oldukça karmaşıktır. Ama burada gerçekten gerekli değil. Bunun yerine, birçok dil, mixin'i sınıf tarafından uygulanan bir arabirime bölerek uygular ve yöntem uygulamalarının bir deposu, ya sınıfın kendisine enjekte edilir ya da bir ara taban sınıfı oluşturulur ve oraya yerleştirilir. Bu Ruby ve D' de uygulanır, Java 8'de uygulanır ve merakla yinelenen şablon deseni kullanılarak C ++ ile manuel olarak uygulanabilir . Yukarıdaki, CRTP formunda, şuna benzer:
template <typename Derived>
class IComparable {
const Derived &_d() const { return static_cast<const Derived &>(*this); }
public:
bool operator>(const IComparable &r) const { r._d() < _d(); }
bool operator<=(const IComparable &r) const { !(r._d() < _d(); }
...
};
ve aşağıdaki gibi kullanılır:
class Concrete : public IComparable<Concrete> { ... };
Bu, normal temel sınıfın yaptığı gibi sanal olarak bildirilmeyi gerektirmez, bu nedenle arayüz şablonlarda kullanılırsa yararlı optimizasyon seçeneklerini açık bırakır. C ++ 'da bunun muhtemelen ikinci ebeveyn olarak devralınacağını, ancak birden fazla kalıtıma izin vermeyen dillerde tek bir kalıtım zincirine eklendiğini unutmayın.
template <typename Derived, typename Base>
class IComparable : public Base { ... };
class Concrete : public IComparable<Concrete, Base> { ... };
Derleyici uygulaması sanal dağıtımı önleyebilir veya önleyemez.
C # 'da farklı bir uygulama seçildi. C # 'da uygulamalar tamamen ayrı sınıfın statik yöntemleridir ve belirli bir ad yöntemi mevcut değilse, ancak bir "uzatma yöntemi" tanımlanmışsa, yöntem çağrısı sözdizimi derleyici tarafından uygun şekilde yorumlanır. Bunun avantajı, derlenmiş sınıfa genişletme yöntemlerinin eklenmesi ve bu tür yöntemlerin geçersiz kılınamaması gibi dezavantajın, örneğin optimize edilmiş versiyonun sağlanması için vardır.