java编译时类型和运行时类型该如何理解?
有这么一段代码:
使用这段代码用来解释运行时类型检查, 运行类型检查我倒是可以理解, 但是我在想为什么编译时没有报错呢?
但是上网查找了许多关于编译时类型和运行类型之后还是没有理解. 在main函数的第一行创建了一个Useful类型的数组, 但是编译时x[0]和x[1]都是什么类型呢?为什么最后一行在编译时没有报错呢?
展开
收起
1
条回答
写回答
写回答
-
我说我不帅他们就打我，还说我虚伪编译期只会检查实例声明的类型和强制转化的类型是否存在extend/implement关系，因为从声明变量类型，到强制转化变量的类型之间可能存在编译期无法解析的代码，虽然示例中只是一个简单的赋值，肉眼就可以判断实际类型，但是对于编译器来说是无法判断的，举个简单的例子：
public static void foo(boolean flag) { Useful xx = flag ? new Useful() : new MoreUseful(); ((MoreUseful)xx).g(); // 编译器如何判断此处是否有错误？ // flag=false的时候可以正常运行，就不能说这里有编译期错误 } public static void main(String[] args) { foo(true); foo(false); }2019-07-17 18:49:31赞同 展开评论 打赏
版权声明：本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
相关问答
问答排行榜
最热
最新
推荐问答
相关文章
相关电子书
更多
