Java自学-泛型泛型转型

Java 中的子类泛型转型成父类泛型

步骤 1 : 对象转型

根据面向对象学习的知识，子类转父类是一定可以成功的

package generic;

import charactor.ADHero;

import charactor.Hero;

public class TestGeneric {

    public static void main(String[] args) {

        Hero h = new Hero();

        ADHero ad = new ADHero();

        //子类转父类

        h = ad;

    }

}

步骤 2 : 子类泛型转父类泛型

既然子类对象转父类对象是可以成功的，那么子类泛型转父类泛型能成功吗？

如代码

hs的泛型是父类Hero

adhs 的泛型是子类ADHero

那么把adhs转换为hs能成功吗？

package generic;

import java.util.ArrayList;

import charactor.ADHero;

import charactor.Hero;

public class TestGeneric {

    public static void main(String[] args) {

        ArrayList<Hero> hs =new ArrayList<>();

        ArrayList<ADHero> adhs =new ArrayList<>();

        //子类泛型转父类泛型

        hs = adhs;

    }

}

步骤 3 : 假设可以转型成功

假设可以转型成功

引用hs指向了ADHero泛型的容器

作为Hero泛型的引用hs, 看上去是可以往里面加一个APHero的。

但是hs这个引用，实际上是指向的一个ADHero泛型的容器

如果能加进去，就变成了ADHero泛型的容器里放进了APHero，这就矛盾了

所以子类泛型不可以转换为父类泛型

package generic;

import java.util.ArrayList;

import charactor.ADHero;

import charactor.APHero;

import charactor.Hero;

public class TestGeneric {

    public static void main(String[] args) {

        ArrayList<Hero> hs =new ArrayList<>();

        ArrayList<ADHero> adhs =new ArrayList<>();

        //假设能转换成功

        hs = adhs;

        //作为Hero泛型的hs,是可以向其中加入APHero的

        //但是hs这个引用，实际上是指向的一个ADHero泛型的容器

        //如果能加进去，就变成了ADHero泛型的容器里放进了APHero，这就矛盾了

        hs.add(new APHero());

    }

}

练习：父类泛型能否转换为子类泛型？

上面使用反证法分析了，子类泛型不能转换为父类泛型。

那么父类泛型又能否转换成子类泛型？为什么？

package generic;

import java.util.ArrayList;

import charactor.ADHero;

import charactor.Hero;

public class TestGeneric {

    public static void main(String[] args) {

        ArrayList<Hero> hs =new ArrayList<>();

        ArrayList<ADHero> adhs =new ArrayList<>();

        //父类泛型转子类泛型，能否成功？为什么？

        adhs = hs;

    }

}

答案：

假设能成功

这个时候adhs实际上指向的是泛型是Hero的容器,而这个容器里可能放的是一个APHero

而根据泛型，直接取出来就转型成了ADHero

所以就变成了APHero转型成ADHero，这是矛盾的。

所以反推，父类泛型不能转型为子类泛型

package generic;

import java.util.ArrayList;

import charactor.ADHero;

import charactor.Hero;

public class TestGeneric {

    public static void main(String[] args) {

        ArrayList<Hero> hs =new ArrayList<>();

        ArrayList<ADHero> adhs =new ArrayList<>();

        //假设能成功

        adhs = hs;

        //这个时候adhs实际上指向的是泛型是Hero的容器,而这个容器里可能放的是一个APHero

        //而根据泛型，直接取出来就转型成了ADHero

        //所以就变成了APHero转型成ADHero，这是矛盾的。

        ADHero ad =adhs.get(0);

    }

}

巴特西

Java自学-泛型泛型转型

Java 中的子类泛型转型成父类泛型

最新文章

热门文章

巴特西

Java自学-泛型 泛型转型

Java 中的子类泛型转型成父类泛型

最新文章

热门文章

Java自学-泛型泛型转型