在Javac的源代码中，从类型到符号到其类型的遍历的目的是什么？

Question

在javac的源代码中，我看到了此形式的成语：

Type t = ...;

// Now let's say I want to, say, get its supertype. The idiom seems to be:
Object o = t.tsym.type.supertype_field;

// ...rather than:
Object o = t.supertype_field;

我知道某些type s and 符号 s s是循环依赖性。也就是说，例如，每个非编码> clasStype 具有classSymbol，每个非eRror classSymbol具有clasStype < /code>，即使从逻辑上类型的符号之前（在构造期间，所有内容都被扭曲以彼此指向）。

我还朦胧地理解，在编译过程中可能存在各种错误，因此给定的类型实际上可能是errortype，我想可能具有与之关联的不同信息。

通过说t.tsym.type.something而不仅仅是t.something，可以实现什么样的规范化？

如果（减少心理负载）我假装错误永远不存在（因此，clasStype s具有classSymbol s，反之亦然），什么时候有实质性的差异访问T.Something和t.tsym.type.something？

有一个具体示例共享/class/com/com/sun/tools/javac/code/types.java＃l2531“ rel =“ nofollow noreferrer”> supertype（type） method 。