Java 9内核的Jupyter Notebook未拦截非法泛型代码问题咨询

首先先明确几个关键点，帮你理清疑惑：

1. Jupyter Notebook到底是什么？ #

它既不是词法扫描器，也不是传统意义上的IDE（比如NetBeans、IntelliJ）。Jupyter Notebook是一个交互式文档环境——它的核心是「内核（Kernel）」：你安装的Java 9内核负责解析、编译并执行你输入的Java代码，而Notebook本身只是提供一个界面，让你能混合编写代码、文字、可视化内容。简单说，Notebook是“外壳”，真正处理代码的是背后的Java内核。

2. 你的泛型代码到底有没有问题？ #

先纠正一个小误解：你写的这段代码

List<? super Integer> list=new ArrayList<Object>(); 
list.add(new Object());

在标准Java语法中是编译错误，而不是运行时的RuntimeException。NetBeans作为严格的IDE，会在编译阶段就检测到这个违规操作——因为List<? super Integer>是下限通配符，它表示这个列表的元素类型是Integer的某个父类（比如Number或Object），但编译器无法确定具体是哪一个，所以只允许你添加Integer或它的子类（这些类型能安全向上转型为任何Integer的父类），而不能直接添加Object（如果列表实际类型是List<Number>，添加Object就会类型不兼容）。

3. 为什么Jupyter Notebook里没报错？ #

这和Java内核的实现有关：

• 多数Java Jupyter内核（比如IJava）是通过动态编译来执行代码的，可能没有启用IDE那样严格的编译检查规则，或者在实现上绕过了部分泛型约束的校验，让这段本应编译失败的代码通过了编译。
• 另外，Java的泛型是「编译期语法糖」，运行时会被类型擦除——也就是说，这段代码如果被强制编译通过，运行时List实际上就是List<Object>，add(new Object())是完全合法的操作，自然不会抛出异常，这也是你看到输出Out 17:true的原因（推测你可能额外判断了某个条件返回true）。

如果想在Jupyter里得到和IDE一致的检查结果，你可以尝试更换更严格的Java内核，或者查看内核的配置选项，开启严格编译模式。

内容的提问来源于stack exchange，提问作者3code