メソッドチェーン+継承が一緒にうまく再生されませんか?
-
21-08-2019 - |
質問
この質問は、C ++コンテキストに頼まれていの私「Javaの好奇心メートル。仮想メソッドについての懸念は、(私が思う)は適用されませんが、あなたはこのような状況がある場合:
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
を返す方法はありますか?
解決
あなたは()と「未チェック」@SuppressWarnings(したくない)コンパイラからの未チェックのキャストの警告を避けたい場合は、
、その後、あなたはもう少しを行う必要があります:
ペットは常にジェネリック型であるため、まず第一に、ペットのあなたの定義は、自己参照型である必要があります:
abstract class Pet <T extends Pet<T>>
第二に、のsetNameにキャスト(T) this
もチェックされていません。これを回避するには、<アンジェリカLangerによる優れたジェネリックFAQに「getThis」技術を使用します/>
「getThis」トリックはへの道を提供します これの正確な型を回復 参照ます。
これは警告なしでコンパイルされ、実行され、次のコード、をもたらします。あなたのサブクラスを拡張したい場合は(おそらくあなたの中間クラスを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;
}
(それはあなたのために心配だ場合は共変戻り値の型は、上記のJava 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();
}
}
所属していません StackOverflow