طريقة تسلسل + الميراث لا تلعب بشكل جيد معا ؟
-
21-08-2019 - |
سؤال
وقد تم طرح هذا السؤال في C++ السياق ولكن أنا الغريب عن جافا.المخاوف حول طرق افتراضية لا ينطبق (على ما أظن), ولكن إذا كان لديك هذه الحالة:
abstract class Pet
{
private String name;
public Pet setName(String name) { this.name = name; return this; }
}
class Cat extends Pet
{
public Cat catchMice() {
System.out.println("I caught a mouse!");
return this;
}
}
class Dog extends Pet
{
public Dog catchFrisbee() {
System.out.println("I caught a frisbee!");
return this;
}
}
class Bird extends Pet
{
public Bird layEgg() {
...
return this;
}
}
{
Cat c = new Cat();
c.setName("Morris").catchMice(); // error! setName returns Pet, not Cat
Dog d = new Dog();
d.setName("Snoopy").catchFrisbee(); // error! setName returns Pet, not Dog
Bird b = new Bird();
b.setName("Tweety").layEgg(); // error! setName returns Pet, not Bird
}
في هذا النوع من التسلسل الهرمي فئة, هل هناك أي طريقة للعودة this
بطريقة لا (فعال) upcast على نوع الكائن ؟
المحلول
إذا كنت ترغب في تجنب لحالها يلقي تحذيرات من المترجم (و لا أريد @الباحث("لحالها")), ثم عليك أن تفعل أكثر من ذلك بقليل:
أولا التعريف الخاص بك الحيوانات الأليفة يجب أن يكون المرجعي الذاتي ، لأن الحيوانات الأليفة هي دائما نوع عام:
abstract class Pet <T extends Pet<T>>
ثانيا ، (T) this
يلقي في setName هو أيضا دون رادع.لتجنب هذا, استخدام "وصول هذه" تقنية ممتازة الأدوية التعليمات من خلال انجيليكا لانغر:
إن "وصول هذه" الخدعة يوفر طريقة استعادة نوع دقيق من هذا المرجعية.
هذه النتائج في البرمجية أدناه ، الذي يجمع ويعمل بدون التحذيرات.إذا كنت ترغب في تمديد فرعية ، ثم الأسلوب لا يزال يحمل (على الرغم من أنك سوف تحتاج على الأرجح genericise الخاص بك الطبقات المتوسطة).
الرمز الناتج هو:
public class TestClass {
static abstract class Pet <T extends Pet<T>> {
private String name;
protected abstract T getThis();
public T setName(String name) {
this.name = name;
return getThis(); }
}
static class Cat extends Pet<Cat> {
@Override protected Cat getThis() { return this; }
public Cat catchMice() {
System.out.println("I caught a mouse!");
return getThis();
}
}
static class Dog extends Pet<Dog> {
@Override protected Dog getThis() { return this; }
public Dog catchFrisbee() {
System.out.println("I caught a frisbee!");
return getThis();
}
}
public static void main(String[] args) {
Cat c = new Cat();
c.setName("Morris").catchMice();
Dog d = new Dog();
d.setName("Snoopy").catchFrisbee();
}
}
نصائح أخرى
وماذا عن هذه الخدعة القديمة:
abstract class Pet<T extends Pet>
{
private String name;
public T setName(String name) { this.name = name; return (T) this; }
}
class Cat extends Pet<Cat>
{
/* ... */
}
class Dog extends Pet<Dog>
{
/* ... */
}
لا، ليس فعلا. هل يمكن أن تغلب عليه باستخدام أنواع الإرجاع التغاير (بفضل ماكدويل عن الاسم الصحيح):
@Override
public Cat setName(String name) {
super.setName(name);
return this;
}
و(أنواع عودة التغاير هي فقط في جافا 5 أو أعلى، إذا كان هذا هو مصدر قلق بالنسبة لك.)
وانها معقد بعض الشيء، ولكن يمكنك أن تفعل هذا مع الأدوية:
abstract class Pet< T extends Pet > {
private String name;
public T setName( String name ) {
this.name = name;
return (T)this;
}
public static class Cat extends Pet< Cat > {
public Cat catchMice() {
System.out.println( "I caught a mouse!" );
return this;
}
}
public static class Dog extends Pet< Dog > {
public Dog catchFrisbee() {
System.out.println( "I caught a frisbee!" );
return this;
}
}
public static void main (String[] args){
Cat c = new Cat();
c.setName( "Morris" ).catchMice(); // error! setName returns Pet, not Cat
Dog d = new Dog();
d.setName( "Snoopy" ).catchFrisbee(); // error! setName returns Pet, not Dog
}
}
public class Pet<AnimalType extends Pet> {
private String name;
public AnimalType setName(String name) {
this.name = name; return (AnimalType)this;
}
}
و
public class Cat extends Pet<Cat> {
public Cat catchMice() {return this;}
public static void main(String[] args) {
Cat c = new Cat().setName("bob").catchMice();
}
و}