Java~是编译型语言还是解释型语言? 它是如何利用这一特性实现跨平台?