Downcasting nasıl önlenir?

Sorum süper sınıf Animal'in özel bir vakası hakkında.

1. Benim Animalcan moveForward()ve eat().
2. Sealuzanır Animal.
3. Doguzanır Animal.
4. Ve Animaladı da verilen özel bir yaratık var Human.
5. Humanayrıca bir yöntem speak()uygular (tarafından uygulanmadı Animal).

AnimalKabul eden soyut bir yöntemin uygulanmasında yöntemi kullanmak istiyorum speak(). Mahzun olmadan bu mümkün görünmüyor. Jeremy Miller makalesinde mahzun bir koku olduğunu yazdı .

Bu durumda küçümsemekten kaçınmak için bir çözüm ne olurdu?

Bir Humanşey yapmak için belirli sınıfın tür olup olmadığını bilmeniz gereken bir yönteminiz varsa , özellikle bazı SOLID ilkelerini ihlal ediyorsunuz :

• Açık / kapalı prensibi - gelecekte, konuşabilen (örneğin bir papağan) yeni bir hayvan türü eklemeniz veya bu türe özgü bir şey yapmanız gerekiyorsa, mevcut kodunuzun değişmesi gerekecektir
• Arayüz ayırma ilkesi - çok fazla genelleme yaptığınız anlaşılıyor. Bir hayvan çok çeşitli türleri kapsayabilir.

Kanımca, yönteminiz belirli bir sınıf türünü bekliyorsa, bu yöntemi belirli bir yöntem olarak adlandırmak için, o yöntemi yalnızca arabirimi değil, yalnızca o sınıfı kabul edecek şekilde değiştirin.

Bunun gibi bir şey:

public void MakeItSpeak( Human obj );

ve bunun gibi değil:

public void SpeakIfHuman( Animal obj );

Sorun sizin aşağı iniyor olmanız değil, aşağı iniyor olmanız Human. Bunun yerine bir arayüz oluşturun:

public interface CanSpeak{
    void speak();
}

public abstract class Animal{
    //....
}

public class Human extends Animal implements CanSpeak{
    public void speak(){
        //....
    }
}

public void mysteriousMethod(Animal animal){
    //....
    if(animal instanceof CanSpeak){
        ((CanSpeak)animal).speak();
    }else{
        //Throw exception or something
    }
    //....
}

Bu şekilde koşul, hayvanın olması değildir Human- koşul, konuşabilmesidir. Bu mysteriousMethod, Animaluyguladıkları sürece insan olmayan diğer alt sınıflarla çalışabileceği anlamına gelir CanSpeak.

Communicate'a Animal'i ekleyebilirsiniz. Köpek havlıyor, İnsan konuşuyor, Mühür .. ahh .. Mührün ne yaptığını bilmiyorum.

Ancak, (Hayvan İnsandır) Speak ();

Sormak isteyebileceğiniz soru, alternatif nedir? Neyi başarmak istediğinizi tam olarak bilmediğim için bir öneri vermek zor. Downcasting / upcasting'in en iyi yaklaşım olduğu teorik durumlar vardır.

Bu durumda, varsayılan uygulaması speak()içinde AbstractAnimalsınıfında olacaktır:

void speak() throws CantSpeakException {
  throw new CantSpeakException();
}

Bu noktada, Abstract sınıfında varsayılan bir uygulamanız vardır - ve doğru şekilde davranır.

try {
  thingy.speak();
} catch (CantSeakException e) {
  System.out.println("You can't talk to the " + thingy.name());
}

Evet, bu, her şeyi işlemek için kod aracılığıyla dağılmış deneme yakalamalarınız olduğu anlamına gelir speak, ancak bunun alternatifi if(thingy is Human)bunun yerine tüm konuşmaları sarmaktır.

İstisnanın avantajı, bir noktada (papağan) konuşan başka bir şey varsa, tüm testlerinizi yeniden uygulamanıza gerek kalmamasıdır.

Downcasting bazen gerekli ve uygundur. Özellikle, bir yeteneğe sahip olabilen veya olmayabilen nesnelerin olduğu durumlarda ve bu yeteneğin bazı varsayılan biçimlerde bu yetenek olmadan nesneleri ele alırken kullanmak istediği durumlarda genellikle uygundur. Basit bir örnek olarak, a'nın Stringbaşka bir keyfi nesneye eşit olup olmadığını sorduğunu varsayalım . Birinin Stringdiğerine eşit Stringolması için, diğer dizenin uzunluk ve destek karakter dizisini incelemesi gerekir. Bir Eğer Stringbir eşittir olmadığı sorulur Dogancak bu uzunluğunu erişemez Dog, ama gerek olmamalıdır; bunun yerine, Stringa'nın kendisini karşılaştırması beklenen nesne birStringkarşılaştırmada varsayılan bir davranış kullanılmalıdır (diğer nesnenin eşit olmadığını bildirme).

Düşüşün en şüpheli olduğu zaman, dökülmekte olan nesnenin uygun tipte "bilindiği" zamandır. Bir nesne olduğu bilinmektedir, genel olarak, Catbir türde bir değişken kullanmalıdır Catyerine tipte bir değişken daha Animalbaşvurmak için. Ancak bunun her zaman işe yaramadığı zamanlar vardır. Örneğin, bir Zookoleksiyon, her çiftteki nesnelerin, diğer çiftlerdeki nesnelere etki edemeseler bile, birbirlerinin üzerinde hareket edebileceği beklentisiyle çift / tek dizi yuvalarındaki nesne çiftlerini tutabilir. Böyle bir durumda, her çiftteki nesnelerin, sözdizimsel olarak , herhangi başka bir çiftten nesneleri geçirebilecekleri şekilde, spesifik olmayan bir parametre tipini kabul etmeleri gerekecektir . Böylece bile Cat'ınplayWith(Animal other)yöntem, yalnızca zaman çalışacak otherbir oldu Cat, Zoobuna bir unsurunu geçmek mümkün olması gerekir Animal[]parametresinin türü olması gerekir, böylece Animalyerine Cat.

Küçültmenin meşru bir şekilde kaçınılmaz olduğu durumlarda, kişi bunu niteliksiz kullanmalıdır. Kilit soru, birinin ne zaman aşağı inmesini mantıklı bir şekilde önleyebileceğini belirlemek ve mantıklı bir şekilde mümkün olduğunda kaçınmaktır.

Hayvanları kabul eden soyut bir yöntemin uygulanmasında speak () yöntemini kullanmak istiyorum.

Birkaç seçeneğiniz var:

• speakVarsa aramak için yansımayı kullanın . Avantaj: bağımlılık yok Human. Dezavantaj: Artık "speak" adına gizli bir bağımlılık var.

• Yeni bir arayüz tanıtın Speakerve arayüze indirin. Bu, belirli bir beton tipine bağlı olarak daha esnektir. Bu değiştirmek zorunda dezavantajı vardır Humanuygulamak Speaker. Değiştiremezseniz bu çalışmazHuman

• Aşağı doğru Human. Bu, başka bir alt sınıfın konuşmasını istediğinizde kodu değiştirmeniz gerekecek dezavantaja sahiptir. İdeal olarak, tekrar tekrar geri dönüp eski kodu değiştirmeden kod ekleyerek uygulamaları genişletmek istersiniz.