泛型边界的问题_代码007(未授权)

本文介绍: 泛型只是程序员和的约定。我们可以通过泛型告诉编译器自己的呐，我现在假定这个List只能存Strin g，你帮我盯着点，后面如果不小心放错类型，在提醒我。就好比Sprin g明明告诉你默认读取resources/application.yml，你非要把配置文件命名为resources/config.yml当然就报错啦。而泛型也有一套自己的规则，我们必须遵守这些规则才能让编译器按我们的意愿做出约束。这些规则是谁定的呢？当然是JDK的那群秃子咯。今天我们来学习泛型通配符。

我们花了两篇文章讲述了泛型是什么以及有什么用：

泛型只是程序员和编译器的约定。

我们可以通过泛型告诉编译器自己的意图：

呐，我现在假定这个List只能存Strin g，你帮我盯着点，后面如果不小心放错类型，在编译期报错提醒我。

public class GenericClassDemo {

    public static void main(String[] args) {
        List<Integer&gt; integerList = new ArrayList<&gt;();
        print(integerList);
    }

    public static void print(List<Integer> list) {
		// 打印...
    }
}

// 错误写法1：间接传递（通常发生在方法传参，比如将stringList传给print(List<Object> list)）
List<String> stringList = new ArrayList<>();
List<Object> list = stringList;
// 错误写法2：直接赋值
List<Object> list = new ArrayList<String>();

// 比较啰嗦的写法
List<String> list = new ArrayList<String>();
List<Object> list = new ArrayList<Object>();
// 省略写法，默认左右类型一致
List<String> list = new ArrayList<>();
List<Object> list = new ArrayList<>();

public static void main(String[] args) throws Exception {
    // 直接往String[]存Integer会编译错误
    String[] strings = new String[3];
    strings[0] = "a";
    strings[1] = "b";
    strings[2] = 100; // COMPILE ERROR!

    // 但数组允许String[]赋值给Object[]
    Object[] objects = strings;
    // 这样就能通过编译了，但运行期会抛异常：ArrayStoreException
    objects[2] = 100;
}

public static void main(String[] args) {

    List<Integer> integerList = new ArrayList<>();
    integerList.add(1);

    List<Long> longList = new ArrayList<>();
    longList.add(1L);

    List<? extends Number> numberList = new ArrayList<>();
    numberList = 随机指向integerList或longList等子类型List;
    numberList.add(1);  // 由于无法确定numberList指向哪个List，所以干脆禁止add（万一指向integerList，那么add(1L)就不合适了，取出时可能转型错误）
}

public static void main(String[] args) {

    List<Integer> integerList = new ArrayList<>();
    integerList.add(1);

    List<Long> longList = new ArrayList<>();
    longList.add(1L);

    List<? extends Number> numberList = integerList; // 不管numberList指向integerList还是longList
    Number number = numberList.get(0);  // 取出来的元素都可以转Number，因为Long/Integer都是它子类
}

public static void main(String[] args) {
    List<Swimming> swimmingList = new ArrayList<>();
    // 假设加入了很多实现了Swimming接口的元素，比如Dolphin（海豚）
    // swimmingList.add(dolphin)...

    List<Speaking> speakingList = new ArrayList<>();
    // 假设加入了很多实现了Speaking接口的元素，比如Parrot（鹦鹉）
    // speakingList.add(parrot)...

    List<? super Human> humanList = swimmingList / speakingList; // 指向随机的List
    
    humanList.add(...) // 是否应该允许存入 Parrot（鹦鹉）？

}

class ArrayList<E> extends ... {
    
    ...

    public boolean addAll(Collection<? extends E> c) {
        Object[] a = c.toArray();
        int numNew = a.length;
        ensureCapacityInternal(size + numNew);  // Increments modCount
        System.arraycopy(a, 0, elementData, size, numNew);
        size += numNew;
        return numNew != 0;
    }
}

public boolean addAll(Collection<? extends Person> c) {
    Object[] a = c.toArray();
    int numNew = a.length;
    ensureCapacityInternal(size + numNew);  // Increments modCount
    System.arraycopy(a, 0, elementData, size, numNew);
    size += numNew;
    return numNew != 0;
}

List<Person> personList = new ArrayList<>();

List<Student> studentList = new ArrayList();
personList.addAll(studentList)

显示所有内容

声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。

resources 泛型编译器

简单泛型

正向思考

反向思考

泛型的指向与存取

通配符

extends：上边界通配符

super：下边界通配符

?：无界通配符

通配符的使用 场景

强调

发表回复取消回复