如何找出Java中标识符的声明类型？

Question

我有一个简单的类Apple从另一个简单的类Fruit继承而来。

在运行时，我可以使用

Fruit fruit = new Apple();

fruit.getClass();

获取水果对象的实际类型，即Apple.class。

我还可以使用fruit instanceof Apple，并fruit instanceof Fruit验证该水果对象是否是Apple或Fruit的实例。这两个表达式都返回true，这是正常的。

但是，有没有一种方法可以精确地确定声明的fruit标识符类型？在这种情况下是哪个Fruit。

Answer 1

您实际上是在问有关变量声明的问题，fruit而不是对象的实际运行时类型（Apple在这种情况下为）。

我认为这通常是一个坏主意：您只是声明了变量，并告诉编译器它为a Fruit，那么为什么现在需要找出这个变量？

只是要使事情更加混乱，值得注意的是，您还可以具有多个具有不同声明类型的变量来引用同一对象（仍然是Apple）：

Fruit fruit = new Apple(); // fruit declared as Fruit, but refers to an Apple
Object thing = fruit;      // thing declared as Object, refers to the same Apple

如果您真的想找出已声明的类型，则可以选择以下几种方法：

• 创建fruit一个实例变量，并使用反射查询声明的类型。
• 对源代码进行一些处理以找到变量声明
• 对已编译的字节码进行一些处理以找到声明类型（尽管有可能激进的编译器甚至可以完全优化编译时间声明，例如，在意识到该代码中的结果只能是苹果之后）

我认为所有这些都很难看，所以我的一般建议是“不要这样做”。