Java OpenJDK-type类似于NULLType

问题：我想修改

javac

编译器，这样我们就有了一个特殊的内部类型，它在内部调用了

MyType

，并且只有一个表达式

mexp

——这个类型的实例，它的“instance of”是所有引用类型。也就是说，我想添加

NullType

和

null

表达式的模拟。有关于这个的教程吗？但是我在源代码中找不到我们在哪里创建

null

表达式。而

NullType

的实现在哪里

此外，我还有一个问题

在包

javax.lang.model.type

中，我们有接口

NullType

的描述，它继承自接口

referencetype

---

问题据我所知，这是NullType是所有引用类型的子类型的原因。但是在包

javax.lang.model.type

中，我们有接口

WildcardType

的描述，它不是从

referenceType

继承的。因此，

WildcardType

不是

NullType

的父级。这让人困惑，因为在

列表中，您为什么要这样做？你不能把你的
MyType
变成一个单例对象吗？你在这里真正想做的是什么？为什么要这样做？@tobias_k我没有具体问题。这只是为了实验。在这种情况下，我想我们可以有把握地说，（可能）没有关于如何破解编译器以添加类似内容的教程。如果你这样做了，你修改过的javac实际上就不再是一个java编译器了（它将编译一个java的超集），因此它完全超出了java程序员通常会做的事情。若你们决定进行你们的实验，祝你们好运。@Ian McLaird也许你们可以回答我的问题：我不明白编译器在哪里创建了
null
表达式。我只能找到
NullType
接口的说明。