用于任何列表和泛型/类型擦除方面的方法

首先,创建了一些代码(Java7)来说明我的问题。

import java.util.*;

class Generics101 {



    public static void addTrue(List list) {
        list.add(true);
    }

    public static void main(String[] args) {
        List<Integer> testList = new ArrayList<>();

        addTrue(testList);
        System.out.println(testList.get(0));

        // testList.add(true);  // will not compile when uncommented

    }
}

我有以下两个问题:

1. 在里面 addTrue 方法Eclipse暗示它不喜欢 raw types 。当我尝试更改方法参数以使用通配符时 List<?> list 它不会编译。我仔细看了一遍 Generics Tutorial 但找不到答案。我在这里错过了什么?我应该在哪里读到它?

2. 相同的 tutorial 声明“ 泛型被引入Java语言,以在编译时提供更严格的类型检查。。。 “我理解,由于 type erasure 这样的强制执行不可能在运行时发生,所以我上面的代码编译并运行。如果注释行被取消注释,它将触发编译错误,所以我认为 tighter type checks 在相同的方法下有效。这种强制执行的确切范围是什么?它是如何正式定义的?